Skip to main content
SpringerLink
Log in
Book cover

Agent-Based Defeasible Control in Dynamic Environments

  • Book
  • © 2002

Overview

Editors:
  1. John-Jules Ch. Meyer

    1. Utrecht University, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jan Treur

    1. Free University, Amsterdam, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Is - together with Volume 6 - devoted to the topics Reasoning and Dynamics, covering both the topics of "Dynamics of Reasoning", where reasoning is viewed as a process, and "Reasoning about Dynamics", which must be understood as pertaining to how both designers of, and agents within dynamic systems may reason about these systems

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (18 chapters)

  1. Front Matter

    Pages i-ix
    Download chapter PDF

  2. Introduction and Basic Concepts

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Introduction

      • John-Jules Ch. Meyer, Jan Treur
      Pages 3-8

    3. Basic Concepts

      • J.-J. Ch. Meyer, J. Treur
      Pages 9-16

  3. Modelling Frameworks and Generic Agent Models

    1. Front Matter

      Pages 17-17
      Download chapter PDF

    2. Compositional Design of Multi-Agent Systems: Modelling Dynamics and Control

      • Frances M. T. Brazier, Catholijn M. Jonker, Jan Treur
      Pages 19-63

    3. Control Techniques for Complex Reasoning: The Case of Milord II

      • Lluís Godo, Josep Puyol-Gruart, Carles Sierra
      Pages 65-97

    4. Coordinating Heterogeneous Components Using Executable Temporal Logic

      • Adam Kellett, Michael Fisher
      Pages 99-112

    5. Compositional Design and Reuse of a Generic Agent Model

      • Frances M. T. Brazier, Catholijn M. Jonker, Jan Treur
      Pages 113-163

  4. Formal Analysis: General Approaches

    1. Front Matter

      Pages 165-165
      Download chapter PDF

    2. Semantic Formalisation of Emerging Dynamics of Compositional Agent Systems

      • Frances Brazier, Pascal Van Eck, Jan Treur
      Pages 167-196

    3. Descriptive Dynamic Logic and Its Application to Reflective Architectures

      • Carles Sierra, Lluís Godo, Ramon Lopez De Mántaras, Maria Manzano
      Pages 197-220

    4. Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic

      • Joeri Engelfriet, Catholijn M. Jonker, Jan Treur
      Pages 221-250

  5. Formal Analysis: Logics for Agents

    1. Front Matter

      Pages 251-251
      Download chapter PDF

    2. Formalising Abilities and Opportunities of Agents

      • Bernd van Linder, Wiebe van der Hoek, John-Jules CH. Meyer
      Pages 253-307

    3. Seeing is Believing and So are Hearing and Jumping

      • Wiebe van der Hoek, John-Jules Ch. Meyer, Bernd van Linder
      Pages 309-339

    4. Motivational Attitudes in the Karo Framework

      • J.-J. Ch. Meyer, W. van der Hoek, B. van Linder
      Pages 341-356

    5. Modelling Social Agents: Towards Deliberate Communication

      • Frank Dignum, Bernd van Linder
      Pages 357-380

  6. Formal Analysis: Reasoning about Dynamics

    1. Front Matter

      Pages 381-381
      Download chapter PDF

    2. Reasoning about Action and Change Using Dijkstra’s Semantics for Programming Languages

      • Witold Łukaszewicz, Ewa Madalińska-Bugaj
      Pages 383-398
Back to top

Keywords

About this book

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 the topics Reasoning and Dynamics, covering both the topics of "Dynamics of Reasoning", where reasoning is viewed as a process, and "Reasoning about Dynamics", which must be understood as pertaining to how both designers of and agents within dynamic systems may reason about these systems. The present volume presents work done in this context extended with some work done by outstanding researchers outside the project on related issues. While the previous volume in this series had its focus on the dynamics of reasoning pro­ cesses, the present volume is more focused on "reasoning about dynamics', viz. how (human and artificial) agents reason about (systems in) dynamic environments in order to control them. In particular we consider modelling frameworks and generic agent models for modelling these dynamic systems and formal approaches to these systems such as logics for agents and formal means to reason about agent­ based and compositional systems, and action & change more in general. We take this opportunity to mention that we have very pleasant recollections of the project, with its lively workshops and other meetings, with the many sites and researchers involved, both within and outside our own work package.

Editors and Affiliations

  • Utrecht University, The Netherlands

    John-Jules Ch. Meyer

  • Free University, Amsterdam, The Netherlands

    Jan Treur

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation