Dynamics and Management of Reasoning Processes

This volume, the 6th volume in the DRUMS Handbook series, is part of the after­ math of the successful ESPRIT project DRUMS (Defeasible Reasoning and Un­ certainty Management Systems) which took place in two stages from 1989-1996. In the second stage (1993-1996) a work package was introduced devoted...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Meyer, John-Jules Ch (Editor), Treur, Jan (Editor)
Format: eBook
Language:English
Published: Dordrecht Springer Netherlands 2001, 2001
Edition:1st ed. 2001
Series:Handbook of Defeasible Reasoning and Uncertainty Management Systems
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
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