Overview

This volume is focused on the dynamics of reasoning processes. It covers both the topics of the 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. In this volume real-life applications of the modelling techniques are also considered, as the research during the DRUMS (Defeasible Reasoning and Uncertainty Management Systems) project was aimed at bridging the gap between theory and practice. In order to give the book a broader perspective, a number of well-known researchers outside the project but working on similar topics, have been invited to contribute.

Full Product Details

Author:   John-Jules Ch. Meyer ,  Jan Treur ,  J.-J Ch. Meyer ,  Jan Treur
Publisher:   Springer-Verlag New York Inc.
Imprint:   Springer-Verlag New York Inc.
Edition:   2002 ed.
Volume:   6
Dimensions:   Width: 15.50cm , Height: 2.20cm , Length: 23.50cm
Weight:   1.610kg
ISBN:  

9781402001932

ISBN 10:   1402001932
Pages:   386
Publication Date:   31 December 2001
Audience:   College/higher education ,  Professional and scholarly ,  Undergraduate ,  Postgraduate, Research & Scholarly
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

Basic Concepts.- Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning.- Formal Semantics of Temporal Epistemic Reflection.- Compositional Verification of Diagnostic Process Models.- Specification of Nonmonotonic Reasoning.- An Interpretation of Default Logic in Minimal Temporal Epistemic Logic.- The Dynamics of Default Reasoning.- Default Logic as Dynamic Doxastic Logic.- Temporalized Epistemic Default Logic.- Meta-level Selection Techniques for the Control of Default Reasoning.- A New Semantics for Logic Programs.- Context-Dependent Natural Deduction for Non-Monotonic Reasoning.- Dynamic Normative Reasoning Under Uncertainty.- A Formal Analysis of Pro-activenes and Reactiveness in Cooperative Information Gathering.- Modelling Internal Dynamic Behaviour of BDI Agents.- Deliberate Evolution in Multi-Agent Systems.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions