Declarative Agent Languages and Technologies VIII
8th International Workshop, DALT 2009, Toronto, Canada, May 10, 2010, Revised Selected and Invited Papers
Published on 8. April 2011
X, 205 pages
978-3-642-20715-0 (ISBN)
Description
This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Declarative Agent Languages and Technologies, DALT 2010, held in Toronto, Canada, on May 10, 2010, as a satellite workshop of the 9th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2010.
The 7 revised full papers presented together with 4 invited lectures were carefully selected during two rounds of reviewing and improvement from 24 initial submissions. DALT aims to make formal methods and declarative technologies and approaches available to and understood by a broader segment of the multi-agent research community; the papers are organized in topical sections on BDI rational agents, communication, coordination and negotiation, as well as social aspects and control systems.
More details
Other editions
Additional editions
Andrea Omicini | Sebastian Sardina | Wamberto Vasconcelos
Declarative Agent Languages and Technologies VIII
8th International Workshop, DALT 2009, Toronto, Canada, May 10, 2010, Revised Selected and Invited Papers
Book
04/2011
1st Edition
Springer
€53.49
Shipment within 7-9 days
Content
- Title
- Preface
- Organization
- Table of Contents
- BDI Rational Agents
- Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems
- Introduction
- Goal Types and Their Abstract States
- Abstract Goal States and Transitions
- Transitions between Goal States
- Towards a Formal Semantics
- Introduction to Can Rules
- Designing Can Rules
- Worked Example
- Implementation
- Related Work
- Conclusion and Further Work
- BDI Agents with Objectives and Preferences
- Introduction
- Background
- BDI Languages
- Hard and Soft Constraints
- Using Constraints in BDI Languages
- BAOP: A Reactive BDI Language
- Belief Base ()
- Set of Plans (P)
- Set of Objective Functions ()
- Set of User Preferences ()
- Set of Events (E)
- Set of Intentions (I)
- Objective Store(OS))
- Preference Store (PS)
- Event Selection Function (SE)
- Option Selection Function (SO)
- Intention Selection Function (SI)
- Differences with AgentSpeak(L)
- BAOP Interpreter
- Representing Beliefs and Plans
- BAOP: Operational Semantics
- Experiment and Results
- Related Work
- Conclusion
- Communication, Coordination and Negotiation
- Query-Driven Coordination of Multiple Answer Sets
- Introduction
- Coordinating Answer Sets
- Preliminaries
- Beliefs Coordination Semantics
- Extension to n Agents
- Mixed Combinations
- Conditional Combinations
- Computing Conditional Answer Sets
- Protocols
- Illocutions
- Roles in the Protocol
- Basic Coordination Protocol
- Group Protocol
- Applications
- Voting
- Preference Management
- Individual Plans with Consensus
- Other Applications
- Discussion
- Conclusion
- Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS
- Introduction
- Commitment-Based Protocols
- Design of Commitment-Based Protocols
- Violation of Constraints and of Commitments
- An Example: The Net Bill Protocol
- Correctness Properties of MAS
- Agent Interoperability and Protocol Interoperability
- Conformance and Substitutability
- Protocol Generalizations/Refinements
- Conclusion and Related Works
- A Deduction System for Meaning Negotiation
- Introduction: Context and Contributions
- A Formalization of Negotiating Agents
- The Knowledge of Negotiating Agents
- The Language of Negotiating Agents
- The MN Process
- MN Language
- MN Rules
- Conclusions
- Social Aspects and Control Systems
- Declarative Abstractions for Agent Based Hybrid Control Systems
- Introduction
- Background
- Control Systems
- BDI Agents
- The Problem of Abstraction
- Architecture
- Semantics of Interaction
- Abstraction and Reification
- Internal Transitions
- Perception
- Operating on Shared Beliefs
- Calculation
- Performing Tasks
- Implementation
- Case Study: Geostationary Orbit
- Scenario
- The Abstraction Engine
- The Reasoning Engine
- Conclusions
- Future Work
- Executing Specifications of Social Reasoning Agents
- Introduction
- The ESB Framework
- The Operation of an ESB Agent
- An ESB Reasoner
- Expectations
- Strategies
- Behaviours
- Evaluation
- Joint Intentions in ESB-RS
- Extended Example
- Further Implementations
- Conclusion
- Invited Papers
- Logic of Information Flow on Communication Channels
- Introduction
- Logic LI,M
- Language
- Semantics
- Communicative Actions
- Comparison with IS and DEL
- Applications
- Common Knowledge
- Telephone Calls
- Conclusions and Future Work
- Distributed Abductive Reasoning with Constraints
- Introduction
- Related Work
- Preliminary
- Distributed Abductive Framework
- Example
- Distributed Abductive Proof Procedure
- Inference Rules
- Example Trace
- Soundness and Completeness
- Discussions
- Implementation
- Conclusion and Future Work
- Understanding Permissions through Graphical Norms
- Introduction
- Permissions and the Normative Model
- Representing Norms as Conceptual Graphs
- Conceptual Graphs
- From Norms to Conceptual Graphs
- Example
- Permissions in Conceptual Graph Norms
- Projections on CG Norms
- Computing Violation with Permissions
- Case Study
- Conclusions
- Symbolic Model Checking Commitment Protocols Using Reduction
- Introduction
- Preliminaries
- Commitments and Associated Actions
- Interpreted Systems and CTLC Logic
- Model Checking Using MCMAS and NuSMV
- Model Checking CTLC
- CTLK Logic
- Reducing CTLC to CTLK
- Reducing CTLC to ARCTL
- Commitment Protocols
- Translating Commitment Protocols
- Protocol Properties
- Experimental Results
- Related Work
- Conclusion and Future Work
- Author Index
