Dynamics and Management of Reasoning Processes

by Meyer, John-Jules Ch; Treur, Jan

• ISBN13: 9781402001932
• ISBN10: 1402001932
• Format: Hardcover
• Copyright: 2002-02-01
• Publisher: Kluwer Academic Pub

Summary

This volume is focused on the dynamics of reasoning processes. It covers 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. 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 as well.

Table of Contents

Preface	vii
Introduction	1	(6)
J.-J. Ch. Meyer
J. Treur
Basic Concepts	7	(8)
J.-J. Ch. Meyer
J. Treur
Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning	15	(26)
J. Treur
Formal Semantics of Temporal Epistemic Reflection	41	(24)
W. van der Hoek
J.-J. Meyer
J. Treur
Compositional Verification of Diagnostic Process Models	65	(18)
F. Cornelissen
C.M. Jonker
J. Treur
Specification of Nonmonotonic Reasoning	83	(22)
J. Engelfriet
J. Treur
An Interpretation of Default Logic in Minimal Temporal Epistemic Logic	105	(20)
J. Engelfriet
J. Treur
The Dynamics of Default Reasoning	125	(34)
B. van Linder
W. van der Hoek
J.-J. Ch. Meyer
Default Logic as Dynamic Doxastic Logic	159	(18)
K. Segerberg
Temporalized Epistemic Default Logic	177	(18)
W. van der Hoek
J.-J. Ch. Meyer
J. Treur
Meta-level Selection Techniques for the Control of Default Reasoning	195	(22)
V. Allis
Y.-H. Tan
J. Treur
A New Semantics for Logic Programs	217	(32)
F. Lin
R. Reiter
Context-Dependent Natural Deduction for Non-Monotonic Reasoning	249	(18)
P. Besnard
Y.-H. Tan
Dynamic Normative Reasoning Under Uncertainty	267	(32)
L. van der Torre
Y.-H. Tan
A Formal Analysis of Pro-activenes and Reactiveness in Cooperative Information Gathering	299	(40)
C. M. Jonker
J. Treur
Modelling Internal Dynamic Behavior of BDI Agents	339	(24)
F. M. T. Brazier
B. Dunin-Keplicz
J. Treur
R. Verbrugge
Deliberate Evolution in Multi-Agent Systems	363	(18)
F. M. T. Brazier
C. M. Jonker
J. Treur
N. J. E. Wijngaards
Index	381