Dynamics and Management of Reasoning Processes: Volume 6: Dynamics and Management of Reasoning Processes by John-Jules MeyerDynamics and Management of Reasoning Processes: Volume 6: Dynamics and Management of Reasoning Processes by John-Jules Meyer

Dynamics and Management of Reasoning Processes: Volume 6: Dynamics and Management of Reasoning…

EditorJohn-Jules Meyer, Jan Treur

Paperback | December 15, 2010

Pricing and Purchase Info

$162.94 online 
$180.95 list price save 9%
Earn 815 plum® points
Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:Dynamics and Management of Reasoning Processes: Volume 6: Dynamics and Management of Reasoning…Format:PaperbackDimensions:392 pages, 10.98 × 8.27 × 0.07 inPublished:December 15, 2010Publisher:Springer NetherlandsLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:9048159032

ISBN - 13:9789048159031

Look for similar items by category:

Reviews

Table of Contents

Preface. Introduction; J.-J.Ch. Meyer, J. Treur. Basic Concepts; J.-J.Ch. Meyer, J. Treur. Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning; J. Treur. Formal Semantics of Temporal Epistemic Reflection; W. van der Hoek, et al. Compositional Verification of Diagnostic Process Models; F. Cornelissen, et al. Specification of Nonmonotonic Reasoning; J. Engelfriet, J. Treur. An Interpretation of Default Logic in Minimal Temporal Epistemic Logic; J. Engelfriet, J. Treur. The Dynamics of Default Reasoning; B. van Linder, et al. Default Logic as Dynamic Doxastic Logic; K. Segerberg. Temporalized Epistemic Default Logic; W. van der Hoek, et al. Meta-level Selection Techniques for the Control of Default Reasoning; V. Allis, et al. A New Semantics for Logic Programs; F. Lin, R. Reiter. Context-Dependent Natural Deduction for Non-Monotonic Reasoning; P. Besnard, Y.-H. Tan. Dynamic Normative Reasoning Under Uncertainty; L. van der Torre, Y.-H. Tan. A Formal Analysis of Pro-activenes and Reactiveness in Cooperative Information Gathering; C.M. Jonker, J. Treur. Modelling Internal Dynamic Behaviour of BDI Agents; F.M.T. Brazier, et al. Deliberate Evolution in Multi-Agent Systems; F.M.T. Brazier, et al. Index.