Agent-Based Defeasible Control in Dynamic Environments

  • John-Jules Ch. Meyer
  • Jan Treur

Table of contents

  1. Front Matter
    Pages i-ix
  2. Introduction and Basic Concepts

    1. Front Matter
      Pages 1-1
    2. John-Jules Ch. Meyer, Jan Treur
      Pages 3-8
    3. J.-J. Ch. Meyer, J. Treur
      Pages 9-16
  3. Modelling Frameworks and Generic Agent Models

    1. Front Matter
      Pages 17-17
    2. Frances M. T. Brazier, Catholijn M. Jonker, Jan Treur
      Pages 19-63
    3. Lluís Godo, Josep Puyol-Gruart, Carles Sierra
      Pages 65-97
    4. Frances M. T. Brazier, Catholijn M. Jonker, Jan Treur
      Pages 113-163
  4. Formal Analysis: General Approaches

    1. Front Matter
      Pages 165-165
    2. Frances Brazier, Pascal Van Eck, Jan Treur
      Pages 167-196
    3. Carles Sierra, Lluís Godo, Ramon Lopez De Mántaras, Maria Manzano
      Pages 197-220
    4. Joeri Engelfriet, Catholijn M. Jonker, Jan Treur
      Pages 221-250
  5. Formal Analysis: Logics for Agents

    1. Front Matter
      Pages 251-251
    2. Bernd van Linder, Wiebe van der Hoek, John-Jules CH. Meyer
      Pages 253-307
    3. Wiebe van der Hoek, John-Jules Ch. Meyer, Bernd van Linder
      Pages 309-339
    4. J.-J. Ch. Meyer, W. van der Hoek, B. van Linder
      Pages 341-356
    5. Frank Dignum, Bernd van Linder
      Pages 357-380
  6. Formal Analysis: Reasoning about Dynamics

    1. Front Matter
      Pages 381-381
    2. Witold Łukaszewicz, Ewa Madalińska-Bugaj
      Pages 383-398

About this book

Introduction

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.

Keywords

Analysis communication logic multi-agent system programming programming language semantics uncertainty verification

Editors and affiliations

  • John-Jules Ch. Meyer
    • 1
  • Jan Treur
    • 2
  1. 1.Utrecht UniversityThe Netherlands
  2. 2.Free UniversityAmsterdamThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/978-94-017-1741-0
  • Copyright Information Springer Science+Business Media B.V. 2002
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Print ISBN 978-90-481-6109-6
  • Online ISBN 978-94-017-1741-0
  • About this book
Industry Sectors
Telecommunications
Oil, Gas & Geosciences