Overview

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.

Full Product Details

Author:   John-Jules Ch. Meyer ,  Jan Treur
Publisher:   Springer-Verlag New York Inc.
Imprint:   Springer-Verlag New York Inc.
Edition:   2002 ed.
Volume:   7
Dimensions:   Width: 15.60cm , Height: 2.60cm , Length: 23.40cm
Weight:   1.920kg
ISBN:  

9781402008344

ISBN 10:   1402008341
Pages:   479
Publication Date:   31 August 2002
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

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.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions