الصفحة 1
الصفحة 1
Multi-Agent Programming : Languages, Platforms and Applications
Part I describes four approaches that are based on computational logic or process algebra--Jason, 3APL, IMPACT, and CLAIM/SyMPA. These programming languages have formal semantics and use heavy machinery based on formal methods, but also provide working platforms for the development of multi-agent systems. Part II presents agent languages and platforms that extend or are based on Java--JADE, Jadex, and JACKTM. Although these have no formal semantics, the languages are well documented and the platforms provide a variety of tools that have been extensively used in practice. Part III provides two significant industry specific applications--The DEFACTO System for coordinating human-agent teams for the future of disaster response, and the ARTIMIS rational dialogue agent technology. The book also features seven appendices, summarising each of the agent programming languages, hence facilitating comparison of the approaches. In particular, Appendix A describes the criteria used for comparing the agent languages and platforms.
Foundations of information and knowledge systems ; 4th International Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings
This book constitutes the refereed proceedings of the 4th International Symposium on Foundations of Information and Knowledge Systems, held in February 2006. The 14 revised full papers presented together with three revised short papers and one invited paper were carefully reviewed and selected from 54 submissions. Among the topics covered are the theoretical foundations of information and knowledge systems, as well as mathematical fields such as discrete mathematics, combinatorics, logics and finite model theory, and applications thereof for research on database and knowledge base theory.
Computational logic in multi-agent systems ; 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers
Though multiagent systems (MASs) are being increasingly used, few methods exist to ensure survivability of MASs. All existing methods suffer from two flaws. First, a centralized survivability algorithm (CSA) ensures survivability of the MAS – unfortunately, if the node on which the CSA exists goes down, the survivability of the MAS is questionable. Second, no mechanism exists to change how the MAS is deployed when external factors trigger a re-evaluation of the survivability of the MAS. In this paper, we present three algorithms to address these two important problems. Our algorithms can be built on top of any CSA. Our algorithms are completely distributed and can handle external triggers to compute a new deployment. We report on experiments assessing the efficiency of these algorithms.
