Agent-Based Defeasible Control in Dynamic Environments

This volume, the 7th volume in the DRUMS Handbook series, is part of the aftermath of the successful ESPRIT project DRUMS (Defeasible Reasoning and Uncertainty Management Systems) which took place in two stages from 1989- 1996. In the second stage (1993-1996) a work package was introduced devoted to...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Meyer, John-Jules Ch (Editor), Treur, Jan (Editor)
Format: eBook
Published: Dordrecht Springer Netherlands 2002, 2002
Edition:1st ed. 2002
Series:Handbook of Defeasible Reasoning and Uncertainty Management Systems
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Table of Contents:
  • I: Introduction and Basic Concepts
  • Basic Concepts
  • II: Modelling Frameworks and Generic Agent Models
  • Compositional Design of Multi-Agent Systems: Modelling Dynamics and Control
  • Control Techniques for Complex Reasoning: The Case of Milord II
  • Coordinating Heterogeneous Components Using Executable Temporal Logic
  • Compositional Design and Reuse of a Generic Agent Model
  • IIIA: Formal Analyis: General Approaches
  • Semantic Formalisation of Emerging Dynamics of Compositional Agent Systems
  • A Descriptive Dynamic Logic and its Application to Reflective Architectures
  • Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic
  • IIIB: Formal Analysis: Logics for Agents
  • Formalising Abilities and Opportunities of Agents
  • Seeing is Believing (And so are Hearing and Jumping)
  • Motivational Attitudes in the KARO Framework
  • Modelling Social Agents: Towards Deliberate Communication
  • IIIC: Formal Analysis: Reasoning about Dynamics
  • Reasoning about Action and Change Using Dijkstra’s Semantics for Programming Languages
  • Reasoning about Action and Change: Actions with Abnormal Effects
  • Preferential Action Semantics
  • Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments
  • Compositional Verification of a Multi-Agent System for One-to-Many Negotiation