Warehouse Stock Clearance Sale

Grab a bargain today!


Sign Up for Fishpond's Best Deals Delivered to You Every Day
Go
Handbook of Defeasible ­Reasoning and Uncertainty ­Management Systems
v. 7: Agent-Based Defeasible Control in Dynamic Environments (Handbook of Defeasible Reasoning & Uncertainty Management Systems)
By John-Jules Ch. Meyer (Edited by), Jan Treur (Edited by)

Rating
Format
Hardback, 479 pages
Other Formats Available

Paperback : HK$1,760.00

Published
United States, 1 August 2002

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.

Show more

Our Price
HK$1,900
Ships from Australia Estimated delivery date: 25th Apr - 5th May from Australia
Free Shipping Worldwide

Buy Together
+
Buy together with Dynamics and Management of Reasoning Processes at a great price!
Buy Together
HK$2,883

Product Description

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.

Show more
Product Details
EAN
9781402008344
ISBN
1402008341
Other Information
Illustrated
Dimensions
23.4 x 15.6 x 2.7 centimeters (1.92 kg)

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.

Show more
Review this Product
Ask a Question About this Product More...
 
Look for similar items by category
People also searched for
Item ships from and is sold by Fishpond Retail Limited.

Back to top