Agents and Multi-Agent Systems Formalisms, Methodologies, by Steven Shapiro, Yves Lespérance (auth.), Wayne Wobcke,

By Steven Shapiro, Yves Lespérance (auth.), Wayne Wobcke, Maurice Pagnucco, Chengqi Zhang (eds.)

This publication constitutes the completely refereed post-workshop lawsuits of 3 workshops held along side the tenth Australian Joint convention on man made Intelligence in Perth, Australia, in December 1997.
The 17 revised complete papers awarded have been rigorously reviewed for inclusion within the e-book. The publication is split into sections on formal equipment of employer, reasoning brokers, communique and coordination, social interplay, and sensible concerns for allotted man made intelligence systems.

Show description

Read or Download Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications: Based on the AI'97 Workshop on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence Perth, Australia, December 1, 1997 PDF

Similar nonfiction_7 books

Drugs, Crime, and Other Deviant Adaptations: Longitudinal Studies

This quantity brings jointly a pattern of the easiest of the stories that illustrate fresh tendencies in study on deviant habit. the 1st of those developments is the research of deviant habit in longitudinal standpoint. Panels of topics are over lengthy classes of time to set up temporal relationships be­ tween deviant habit and the antecedents and outcomes of deviant behav­ ior.

A Neural Network Approach to Fluid Quantity Measurement in Dynamic Environments

Sloshing motives liquid to range, making exact point readings tough to procure in dynamic environments. The dimension approach defined makes use of a single-tube capacitive sensor to procure a right away point examining of the fluid floor, thereby properly settling on the fluid volume within the presence of slosh.

Extra resources for Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications: Based on the AI'97 Workshop on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence Perth, Australia, December 1, 1997

Example text

Reasoning About Knowledge. The MIT Press: Cambridge, MA, 1995. 11. R. E. Fikes and N. Nilsson. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 5(2): 189-208, 1971. 12. J. R. Galliers. A Theoretical Framework for Computer Models of Cooperative Dialogue, Acknowledging Multi-Agent Conflict. PhD thesis, Open University, UK, 1988. 13. M. P. Georgeff and F. F. Ingrand. Decision-making in an embedded reasoning system. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI89), pages 972-978, Detroit, MI, 1989.

First, we note that the layered approach, pioneered by Cohen and Levesque [5], which we have adopted in this 28 paper, allows us to present the formal model with comparative ease. Another obvious point to make is that presenting an agent's plan directly as a "procedure" by using a dynamic logic-style program logic, and combining this with a BDI logic, allows a number of complex ideas to be succinctly represented. However, there are a number of points at which the formalisation is weak, and, it could be argued, inadequate.

This complexity is likely to prevent complete attempts at formalisation for the foreseeable future. So, rather than attempting to present a complete formalisation, we have selected a simple, stylized, but, we argue, plausible subset of the phenomenon, which we make tractable by the use of some limiting assumptions. Obviously, it is important that these assumptions should strike a balance between being too strong and being too weak. Too strong, and the model becomes trivial; too weak, and it becomes too complex.

Download PDF sample

Rated 4.25 of 5 – based on 19 votes