Multi-agent systems are communities of problem-solving entities that can exhibit varying degrees of intelligence. They can perceive and react to their environment, they can have individual or joint goals, for which they can plan and execute actions. Work on such systems integrates many technologies and concepts in - ti?cial intelligence and other areas of computing as well as other disciplines. The agent paradigm has become widely popular and widely used in recent years, due to its applicability to a large range of domains, from search engines to edu- tional aids to electronic commerce and trade, e-procurement, recommendation systems, simulation and routing, and ambient intelligence, to cite only some. Computational logic provides a well-de?ned, general, and rigorous framework for studying syntax, semantics, and procedures for various capabilities and fu- tionalities of individual agents, as well as interaction amongst agents in multi-agent systems. It also provides a well-de?ned and rigorous framework for implemen- tions, environments, tools, and standards, and for linking together speci?cation and veri?cation of properties of individual agents and multi-agent systems. The CLIMA workshop series was founded to provide a forum for discussing, presenting, and promoting computational logic-based approaches in the design, development, analysis, and application of multi-agent systems.
Les mer
Computational logic provides a well-de?ned, general, and rigorous framework for studying syntax, semantics, and procedures for various capabilities and fu- tionalities of individual agents, as well as interaction amongst agents in multi-agent systems.
Les mer
Invited Paper.- Plan-Coordination Mechanisms and the Price of Autonomy.- Regular Papers.- Actions with Failures in Interval Temporal Logic.- A Logic for Reasoning about Rational Agents.- Formal Modelling of Emotions in BDI Agents.- ‘What I Fail to Do Today, I Have to Do Tomorrow’: A Logical Study of the Propagation of Obligations.- Proof Theory for Distributed Knowledge.- EVOLP: Tranformation-Based Semantics.- Language Constructs for Multi-agent Programming.- -Tropos.- A Heuristic Approach to P2P Negotiation.- Towards Context Sensitive Defeasible Rules.- Fuzzy Argumentation for Trust.- Assumption-Based Argumentation for Selection and Composition of Services.- A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems.- Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs.- System Description Paper.- EVOLP: An Implementation.
Les mer
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VIII, held in Porto, Portugal, in September 2007 - co-located with ICLP 2008, the International Conference on Logic Programming.
The 14 revised full technical papers and 1 system description paper presented together with 1 invited paper were carefully selected from 33 submissions and went through at least two rounds of reviewing and improvement. The regular papers address topics such as interdependencies and co-ordination of task-based planning in multi-agent systems, interval temporal logic, game theoretic concepts for reasoning about rational agents, proof theory for multi-agent epistemic logic, transformational semantics for evolving logic programs (EVOLP), programming languages based on BDI models, agent oriented early requirements engineering framework, heuristic algorithms for agent negotiation, as well as argumentation.
Les mer
GPSR Compliance
The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this.
If you have any concerns about our products you can contact us on ProductSafety@springernature.com.
In case Publisher is established outside the EU, the EU authorized representative is:
Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg, Germany
ProductSafety@springernature.com
Les mer
Produktdetaljer
ISBN
9783540888321
Publisert
2008-10-23
Utgiver
Vendor
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Research, P, 06
Språk
Product language
Engelsk
Format
Product format
Heftet