Agent-Based Defeasible Control in Dynamic Environments
By: edited by John-Jules Ch. Meyer, Jan Treur
Contributors: Treur, Jan
Series: Handbook of Defeasible Reasoning and Uncertainty Management Systems -- 7; Handbook of Defeasible Reasoning and Uncertainty Management Systems -- 7
Publisher: Springer Netherlands
Published: 2002
Place of publication: Dordrecht
Language: eng
Format: [electronic resource] /
Number of pages: 479
ISBN-13: 9789048161096; 9789401717410
Subjects: Philosophy (General); Symbolic and mathematical Logic; Artificial intelligence; Logic
Description: This last volume of the Handbook of Defeasible Reasoning and Uncertainty Management Systems 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. The present volume presents work done in this context and 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 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 are considered.
Notes: Online full text is restricted to subscribers.

Also available in print.

Mode of access: World Wide Web.
Table of contents: title: From the contents: Preface; title: Part I: Introduction and Basic Concepts. Introduction; title: Part II: Modelling Frameworks and Generic Agent Models; title: Part IIIA: Formal Analysis: General Approaches; title: Part IIIB: Formal Analysis: Logics for Agents; title: Part IIIC: Formal Analysis: Reasoning about Dynamics; title: Index.