Declarative Agent Languages and Technologies VIII: 8th International Workshop, DALT 2009, Toronto, Canada, May 10, 2010, Revised Selected and Invited Papers (Lecture Notes in Computer Science, 6619)

✍ Scribed by Andrea Omicini (editor), Sebastian Sardina (editor), Wamberto Vasconcelos (editor)

• Publisher: Springer
• Year: 2011
• Tongue: English
• Leaves: 214
• Category: Library

✦ Synopsis

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.

✦ Table of Contents

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