Knowledge Representation for Agents and Multi-Agent Systems: First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers

ISBN-13: 9783642053009 / Angielski / Miękka / 2009 / 162 str.

John-Jules Meyer;Jan M. Broersen

Opis

This book comprises the formal proceedings of KRAMAS 2008, a workshop on Knowledge Representation for Agents and Multi-Agent Systems, held at KR 2008, Sydney, Australia, September 17, 2008. The initiative for KRAMAS 2008 wastakenbylastyear'sKRChairstoenhancecross-fertilizationbetweentheKR (KnowledgeRepresentationandReasoning)andagentcommunities. Topromote participation in the KR schedule, the workshop was conveniently 'sandwiched' between days with regular KR sessions. The topics solicited included: - Knowledge representation and reasoning aspects of agent systems (lang- ges, ontologies, techniques) - Reasoning about (actions of) agents - Reasoning methods (such asnon-monotonic reasoning, abduction, argum- tation, diagnosis, planning, decision making under uncertainty, reasoning about preference, . . . ) applied to agents and multi-agent systems (MAS) - Theory of negotiation, communication, cooperation, group decision making, game theory for MAS - Cognitive robotics - Representations of other agents / opponent models - Logics for intelligent agents and MAS - Speci?cation and veri?cation techniques for agents - Automated reasoning techniques for agent-based systems - Logicalfoundationsofagent-basedsystems, normativeMASande-institutions - Formal semantics of agent programming languages - Formal techniques for agent-oriented programming and agent-oriented so- ware engineering We originally received 14 papers. There were two review rounds: the ?rst one deciding on acceptance for presentation at the workshop, and the second one deciding on inclusion of revised, extended and resubmitted versions of the presented papers in these proceedings. Of the original14, 10 papers made it into these proceedings. The workshop was a success and proved that there is indeed muchinterestinthe problemsandissuesarisingatthe junctionofKRandMAS.

Spis treści

Reasoning about Other Agents’ Beliefs under Bounded Resources.- Normative Multi-agent Programs and Their Logics.- Modal Logics for Preferences and Cooperation: Expressivity and Complexity.- Simulation and Information: Quantifying over Epistemic Events.- On the Dynamics of Institutional Agreements.- From Trust in Information Sources to Trust in Communication Systems:An Analysis in Modal Logic.- Pre-processing Techniques for Anytime Coalition Structure Generation Algorithms.- Cognitive Use of Artifacts: Exploiting Relevant Information Residing in MAS Environments.- Information-Based Argumentation.- Mediation = Information Revelation + Analogical Reasoning.

Blurb

This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Knowledge Representation for Agents and Multi-Agent Systems, KRAMAS 2008, held in Sydney, Australia, in September 2008 as a satellite event of KR 2008, the 11th International Conference on Principles of Knowledge Representation and Reasoning.

The 10 revised full papers presented were carefully reviewed and selected from 14 submissions. The papers foster the cross-fertilization between the KR (knowledge representation and reasoning) and agent communities, by discussing knowledge representation theories and techniques for agent-based systems.