In many applications, selfish, dishonest or malicious agents may find an interest in manipulating others. While many works deal with designing robust systems, few works deal withlogical reasoning about manipulation. ...
详细信息
ISBN:
(纸本)9781450375184
In many applications, selfish, dishonest or malicious agents may find an interest in manipulating others. While many works deal with designing robust systems, few works deal withlogical reasoning about manipulation. Based on social science literature, we propose a new logical framework to express and reason about manipulation, defined as a deliberate effect to instrumentalize a victim while making sure to conceal that instrumentalization. Since manipulation relies on deliberate effects of a manipulator, we propose a new BIAT operator to catch deliberate effects. We first prove that this logical framework is sound and complete. then we formally define manipulation and we show our logical framework also expresses related notions such as coercion, persuasion, or deception.
Restricted domains have been extensively studied within computational social choice, initially for voters' preferences that are total orders over the set of alternatives and subsequently for preferences that are d...
详细信息
ISBN:
(纸本)9781450375184
Restricted domains have been extensively studied within computational social choice, initially for voters' preferences that are total orders over the set of alternatives and subsequently for preferences that are dichotomous---i.e., that correspond to approved and disapproved alternatives. We contribute to the latter stream of work. We obtain forbidden subprofile characterisations for various important dichotomous domains, and we also study profiles with incomplete information about the voters' preferences. Specifically, we design polynomial algorithms to determine whether such incomplete profiles admit completions within certain restricted domains.
Modeling approaches are based on various paradigms, e.g., aspect-oriented, feature-oriented, object-oriented, and logic-based. Modeling approaches may cover requirements models to low-level design models, are develope...
详细信息
the term Participatory Guarantee Systems (PGS) refers to quality certification systems based on the active participation of stakeholders, i.e., producers, consumers, and experts. Unlike to the more common third Party ...
详细信息
ISBN:
(纸本)9781450375184
the term Participatory Guarantee Systems (PGS) refers to quality certification systems based on the active participation of stakeholders, i.e., producers, consumers, and experts. Unlike to the more common third Party Certification system, quality standards are guaranteed by peer review: visits of production sites by producers themselves. A critical issue in PGS is the assignment of the peers carrying each review visit, in a way that incentivizes participation. this paper explores algorithmic aspects of this peer assignment, so as to better address challenges faced by PGS. First, we propose a mathematical model of this task that can express diverse local PGS situations, as well as possible extensions. then, we show that this model leads to computationally challenging problems and identify restrictions that are easy to handle. Finally, we develop an encoding of the model in Answer Set programming and use it to solve realistic scenarios of PGS.
In this paper, the operation of a multi- product and multi-period supply chain involving one producer and one supplier with uncertain market demands and raw material price is considered. With variations in the market ...
详细信息
In this paper, the operation of a multi- product and multi-period supply chain involving one producer and one supplier with uncertain market demands and raw material price is considered. With variations in the market demands and raw material price described by using an interval uncertainty method, a multi-objective robust optimization model is established using a robust linear programming approach. A numerical example is used to verify the proposed model, and the optimum robust operating strategy is determined for worst case supply chain conditions during an uncertain market demands and raw material price. When robust measures are adopted in the objectives of supply chain coordination and profit was maximized for all participants, the effect of market demands and raw material price uncertainty on objective values decreased significantly.
this problem is to optimize the layout design of blocks in new container yard. the yard cranes have restrictions on the width of blocks, and the layout of blocks and berths also have important impact on the driving ro...
详细信息
this problem is to optimize the layout design of blocks in new container yard. the yard cranes have restrictions on the width of blocks, and the layout of blocks and berths also have important impact on the driving route of yard trucks. Making use of bays, the lengths of blocks are discretized. An integer programming model is proposed for this problem, whose objective is to maximize the efficiency of trucks and the number of bays. In this model, there is also a lower bound on the minimum number of bays. Based on the characteristics of this model, a Filter-and-Fan algorithm is developed to solve this problem. the experimental results show the effectiveness of algorithm.
Production capacity is evaluated through analysis on production course in this paper. Firstly in order to simplify and describe the production line with complicated property, the manufacturing resources with close rel...
详细信息
Production capacity is evaluated through analysis on production course in this paper. Firstly in order to simplify and describe the production line with complicated property, the manufacturing resources with close relations are accumulated into a manufacturing vertex. Consequently the directed network model is constructed. Secondly through analysis on the production course and performance state of manufacturing resources, the affecting factors and parametric definitions are given. then the linear evaluation model of production capacity is built by means of defining the available capacity and load of manufacturing vertex. Finally the capacity evaluation constrained by limited manufacturing resources is solved by linear programming. And an actual aero-engine blade production line is regard as an example to validate the algorithms in this paper.
By analyzing the characteristics of NC codes, a method of interpreting NC part program for Embedded Control system is introduced in this paper. A NC code parsing program module written with C language has been designe...
详细信息
By analyzing the characteristics of NC codes, a method of interpreting NC part program for Embedded Control system is introduced in this paper. A NC code parsing program module written with C language has been designed. the main functions of the program are to check G code expressions and to extract the messages of all addresses and numbers included in NC blocks. Withthe features of direct frame, ordered statements, and high running efficiency, the program module can be referenced in developing embedded NC software.
the traffic flow of periphery area between freeway and urban expressway needs scientific and accurate control. We should establish reasonable policies and measures to control the traffic;guide travel by economic measu...
详细信息
the traffic flow of periphery area between freeway and urban expressway needs scientific and accurate control. We should establish reasonable policies and measures to control the traffic;guide travel by economic measures, and reduce traffic congestion. the adaptability of existing congestion charging and traffic growth is different. this article summarizes the periphery freeway congestion mechanism by supply and demand theory, resource scarcity theory. Based on the comparison between the charging models at home and abroad, it builds the bi-level programming model for periphery freeway congestion, turns the traditional toll mode into congestion charging, and takes freeway G2 as an example. Practice proves that the methods are feasible and efficient and it could provide the foundation for alleviating traffic congestion of periphery area.
作者：
Oleksandra BulgakovaViacheslav ZosimovAutomation
Robotics and Computer Programming P.M Platonov Educational and Scientific Institute of Computer Engineering Odesa National University of Technology Odesa Ukraine
this paper presents the impact of external factors on consumer purchasing behavior in e-commerce. It examines how variables such as time of day, weather conditions, economic fluctuations, social influences, cultural t...
详细信息
ISBN:
(数字)9798331542634
ISBN:
(纸本)9798331542641
this paper presents the impact of external factors on consumer purchasing behavior in e-commerce. It examines how variables such as time of day, weather conditions, economic fluctuations, social influences, cultural trends, seasonal events, and others can influence online purchasing decisions. Using data from an e-commerce website, a model was built using GIA GMDH to analyze the impact of these factors on consumer purchasing behavior. the study found significant correlations between seemingly minor external factors and consumer behavior, highlighting the importance of holistic analysis for companies to adapt their strategies and improve e-commerce performance.
暂无评论