Fr. 134.00

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

English · Hardback

Shipping usually within 2 to 3 weeks (title will be printed to order)

Description

Read more

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 to the topics Reasoning and Dynamics, covering both the topics of 'Dynamics of Rea soning', 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. This work has an emphasis on modelling and formal techniques in the investigation of the topic "Reasoning and Dynamics", but it is not mere theory that occupied us. Rather research was aimed at bridging the gap between theory and practice. Therefore also real-life applications of the modelling techniques were considered, and we hope this also shows in this volume, which is focused on the dynamics of reasoning processes. In order to give the book a broader perspective, we have invited a number of well-known researchers outside the project but working on similar topics to contribute as well. 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.

List 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.

Summary

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 to the topics Reasoning and Dynamics, covering both the topics of 'Dynamics of Rea­ soning', 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. This work has an emphasis on modelling and formal techniques in the investigation of the topic "Reasoning and Dynamics", but it is not mere theory that occupied us. Rather research was aimed at bridging the gap between theory and practice. Therefore also real-life applications of the modelling techniques were considered, and we hope this also shows in this volume, which is focused on the dynamics of reasoning processes. In order to give the book a broader perspective, we have invited a number of well-known researchers outside the project but working on similar topics to contribute as well. 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.

Product details

Assisted by John-Jule Ch Meyer (Editor), John-Jules Ch Meyer (Editor), John-Jules Meyer (Editor), John-Jules Ch. Meyer (Editor), Treur (Editor), Treur (Editor), Jan Treur (Editor)
Publisher Springer Netherlands
 
Languages English
Product format Hardback
Released 01.07.2009
 
EAN 9781402001932
ISBN 978-1-4020-0193-2
No. of pages 386
Weight 730 g
Illustrations VIII, 386 p.
Series Handbook of Defeasible Reasoning and Uncertainty Management Systems
Handbook of Defeasible Reasoning and Uncertainty Management Systems
Subjects Humanities, art, music > Philosophy > General, dictionaries
Natural sciences, medicine, IT, technology > Mathematics > Basic principles

Customer reviews

No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.

Write a review

Thumbs up or thumbs down? Write your own review.

For messages to CeDe.ch please use the contact form.

The input fields marked * are obligatory

By submitting this form you agree to our data privacy statement.