
Declarative Agent Languages and Technologies VIII
Description
Alles über E-Books | Antworten auf Fragen rund um E-Books, Kopierschutz und Dateiformate finden Sie in unserem Info- & Hilfebereich.
More details
Other editions
Additional editions

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
System requirements
File format: PDF
Copy protection: Watermark-DRM (Digital Rights Management)
System requirements:
- Computer (Windows; MacOS X; Linux): Use the free software Adobe Reader, Adobe Digital Editions, or any other PDF viewer of your choice (see eBook Help).
- Tablet/Smartphone (Android; iOS): Install the free app Adobe Digital Editions or another reading app for eBooks, e.g., PocketBook (see eBook Help).
- E-reader: Bookeen, Kobo, Pocketbook, Sony, Tolino and many more (only limited: Kindle).
The file format PDF always displays a book page identically on any hardware. This makes PDF suitable for complex layouts such as those used in textbooks and reference books (images, tables, columns, footnotes). Unfortunately, on the small screens of e-readers or smartphones, PDFs are rather annoying, requiring too much scrolling.
This eBook uses Watermark-DRM, a „soft” copy protection. This means that there are no technical restrictions to prevent illegal distribution. However, there is a personalised watermark embedded in the eBook that can be used to identify the purchaser of the eBook in the event of misuse and to provide evidence for legal purposes.
For more information, see our eBook Help page.