A flexible framework for the resolution of FMS control problems is developed based on the definition of problemsolving nodes cooperating according to the opportunistic paradigm. This approach is unique in its node st...
详细信息
A flexible framework for the resolution of FMS control problems is developed based on the definition of problemsolving nodes cooperating according to the opportunistic paradigm. This approach is unique in its node structure constructed using Petri nets interpreted as objects in Prolog and the generic representation of Knowledge Sources. Further, our strategy facilitates the use of the token player in real-time situations by effectively reducing the compilation difficulties arising from its non-incrementality.
An approach to reduce the effect of problems related to inter-node communication in distributedproblem Solvers (DPS) is presented for the special case of real-time control of Computer Integrated Manufacturing Systems...
详细信息
An approach to reduce the effect of problems related to inter-node communication in distributedproblem Solvers (DPS) is presented for the special case of real-time control of Computer Integrated Manufacturing Systems (CIMS). Some techniques based on the distribution of control and VLSI implementations of control Petri nets were presented in (DEVAPRIYA, 91c; 92a). The present paper discusses the necessity for furnishing the system with a panoplie of diverse communication techniques and letting the system learn to use the best technique for a given situation. This permits a high degree of flexibility of the system without sacrificing unduely on communication efficiency while avoiding bottleneck situations in the DPS network.
The last few years have led to a series of discoveries that uncovered statistical properties that are common to a variety of diverse real-world social, information, biological, and technological networks. The goal of ...
详细信息
The last few years have led to a series of discoveries that uncovered statistical properties that are common to a variety of diverse real-world social, information, biological, and technological networks. The goal of the present paper is to investigate the statistical properties of networks of people engaged in distributed problem solving and discuss their significance. We show that problem-solving networks have properties (sparseness, small world, scaling regimes) that are like those displayed by information, biological, and technological networks. More importantly, we demonstrate a previously unreported difference between the distribution of incoming and outgoing links of directed networks. Specifically, the incoming link distributions have sharp cutoffs that are substantially lower than those of the outgoing link distributions (sometimes the outgoing cutoffs are not even present). This asymmetry can be explained by considering the dynamical interactions that take place in distributed problem solving and may be related to differences between each actor’s capacity to process information provided by others and the actor’s capacity to transmit information over the network. We conjecture that the asymmetric link distribution is likely to hold for other human or nonhuman directed networks when nodes represent information processing and using elements.
Max-sum is a version of belief propagation that was adapted for solvingdistributed constraint optimization problems. It has been studied theoretically and empirically, extended to versions that improve solution quali...
详细信息
Max-sum is a version of belief propagation that was adapted for solvingdistributed constraint optimization problems. It has been studied theoretically and empirically, extended to versions that improve solution quality and converge rapidly, and is applicable to multiple distributed applications. The algorithm was presented both as synchronous and asynchronous algorithms. However, neither the differences in the performance of the two execution versions nor the implications of imperfect communication (i.e., massage delay and message loss) on the two versions have been investigated to the best of our knowledge. We contribute to the body of knowledge on Max-sum by: (1) Establishing the theoretical differences between the two execution versions of the algorithm, focusing on the construction of beliefs;(2) Empirically evaluating the differences between the solutions generated by the two versions of the algorithm, with and without message delay or loss;and (3) Establishing both theoretically and empirically the positive effect of damping on reducing the differences between the two versions. Our results indicate that, in contrast to recent published results indicating that message latency has a drastic (positive) effect on the performance of distributed local search algorithms, the effect of imperfect communication on Damped Max-sum (DMS) is minor. The version of Max-sum that includes both damping and splitting of function nodes converges to high quality solutions very fast, even when a large percentage of the messages sent by agents do not arrive at their destinations. Moreover, the quality of solutions in the different versions of DMS is dependent of the number of messages that were received by the agents, regardless of the amount of time they were delayed or if these messages are only a portion of the total number of messages that was sent by the agents.
Cooperative problemsolving is concerned where intelligent actors are organized into a unique system to understand and solve the given problem. The approach followed here is based on the theory of activity from cognit...
详细信息
Cooperative problemsolving is concerned where intelligent actors are organized into a unique system to understand and solve the given problem. The approach followed here is based on the theory of activity from cognitive psychology and also on a parallel computation model. An appropriate descriptive language is given based on logic simulation (TS-PROLOG). A medical diagnosis and therapy problem is considered to illustrate the developed methodology of dealing with cooperative l-actors.
In this paper, we describe an approach for building a hybrid Bayesian network-based multi-agent system for drug crime knowledge management. We use distributed artificial intelligence architecture to create a multi-age...
详细信息
In this paper, we describe an approach for building a hybrid Bayesian network-based multi-agent system for drug crime knowledge management. We use distributed artificial intelligence architecture to create a multi-agent information system that integrates distributed knowledge sources and information to aid decision-making. Our comparison of the hybrid system with a previously developed stand-alone expert system Sherpa , which was in use at a large drug crime investigation facility, shows that the current system compares similar to the existing system in terms of efficiency and effectiveness of knowledge management. We illustrate how the proposed hybrid bayesian network-based can be implemented in the distributed computing network environment.
Large heterogeneous teams in a variety of applications must make joint decisions using large volumes of noisy and uncertain data. Often not all team members have access to a sensor, relying instead on information shar...
详细信息
ISBN:
(纸本)9780982657164
Large heterogeneous teams in a variety of applications must make joint decisions using large volumes of noisy and uncertain data. Often not all team members have access to a sensor, relying instead on information shared by peers to make decisions. These sensors can become permanently corrupted through hardware failure or as a result of the actions of a malicious adversary. Previous work showed that when the trust between agents was tuned to a specific value the resulting dynamics of the system had a property called scale invariance which led to agents reaching highly accurate conclusion with little communication. In this paper we show that these dynamics also leave the system vulnerable to most agents coming to incorrect conclusions as a result of small amounts of anomalous information maliciously injected in the system. We conduct an analysis that shows that the efficiency of scale invariant dynamics is due to the fact that large number of agents can come to correct conclusions when the difference between the percentage of agents holding conflicting opinions is relatively small. Although this allows the system to come to correct conclusions quickly, it also means that it would be easy for an attacker with specific knowledge to tip the balance. We explore different methods for selecting which agents are Byzantine and when attacks are launched informed by the analysis. Our study reveals global system properties that can be used to predict when and where in the network the system is most vulnerable to attack. We use the results of this study to design an algorithm used by agents to effectively attack the network, informed by local estimates of the global properties revealed by our investigation.
Autonomous agents transcend their individual capabilities by cooperating towards achieving shared goals. The different viewpoints agents have on the environment cause disagreements about the anticipated effects of pla...
详细信息
ISBN:
(纸本)9780982657119
Autonomous agents transcend their individual capabilities by cooperating towards achieving shared goals. The different viewpoints agents have on the environment cause disagreements about the anticipated effects of plans. Reaching agreement requires the resolution of such inconsistencies and the alignment of the agents' *** present a dialogue protocol that enables agents to discuss candidate plans and reach agreements. The dialogue is based on an argumentation process in the language of situation calculus. Agreement is reached through persuasion, thereby aligning the planning beliefs of the *** describe our abstract iterated dialogue protocol, and extend it for the specific problem of arguing about plans. We show that our method always terminates and produces sound results. Furthermore, we detail a set of extensions to simplify reasoning and reduce the exchanged information.
We present a fully distributed multi-agent planning algorithm. Our methodology uses distributed constraint satisfaction to coordinate between agents, and local planning to ensure the consistency of these coordination ...
详细信息
ISBN:
(纸本)9780982657119
We present a fully distributed multi-agent planning algorithm. Our methodology uses distributed constraint satisfaction to coordinate between agents, and local planning to ensure the consistency of these coordination points. To solve the distributed CSP efficiently, we must modify existing methods to take advantage of the structure of the underlying planning problem, m multi-agent planning domains with limited agent interaction, our algorithm empirically shows scalability beyond state of the art centralized solvers. Our work also provides a novel, real-world setting for testing and evaluating distributed constraint satisfaction algorithms in structured domains and illustrates how existing techniques can be altered to address such structure.
Evolutionary optimization is a generic population-based metaheuristic that can be adapted to solve a wide variety of optimization problems and has proven very effective for combinatorial optimization problems. However...
详细信息
ISBN:
(纸本)9781450375184
Evolutionary optimization is a generic population-based metaheuristic that can be adapted to solve a wide variety of optimization problems and has proven very effective for combinatorial optimization problems. However, the potential of this metaheuristic has not been utilized in distributed Constraint Optimization problems (DCOPs), a well-known class of combinatorial optimization problems prevalent in Multi-Agent Systems. In this paper, we present a novel population-based algorithm, Anytime Evolutionary DCOP (AED), that uses evolutionary optimization to solve DCOPs. In AED, the agents cooperatively construct an initial set of random solutions and gradually improve them through a new mechanism that considers an optimistic approximation of local benefits. Moreover, we present a new anytime update mechanism for AED that identifies the best among a distributed set of candidate solutions and notifies all the agents when a new best is found. In our theoretical analysis, we prove that AED is anytime. Finally, we present empirical results indicating AED outperforms the state-of-the-art DCOP algorithms in terms of solution quality.
暂无评论