Skip to main content
SpringerLink
Log in
Book cover

Dynamics and Management of Reasoning Processes

  • Book
  • © 2001

Overview

Editors:
  1. John-Jules Ch. Meyer

    1. Utrecht University, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jan Treur

    1. Vrije Universiteit Amsterdam, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 chapters)

  1. Front Matter

    Pages i-vii
    Download chapter PDF

  2. Introduction

    • John-Jules Ch. Meyer, Jan Treur
    Pages 1-6

  3. Basic Concepts

    • J.-J. Ch. Meyer, J. Treur
    Pages 7-13

  4. Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning

    • Jan Treur
    Pages 15-39

  5. Formal Semantics of Temporal Epistemic Reflection

    • Wiebe van der Hoek, John-Jules Meyer, Jan Treur
    Pages 41-63

  6. Compositional Verification of Diagnostic Process Models

    • Frank Cornelissen, Catholijn M. Jonker, Jan Treur
    Pages 65-82

  7. Specification of Nonmonotonic Reasoning

    • Joeri Engelfriet, Jan Treur
    Pages 83-103

  8. An Interpretation of Default Logic in Minimal Temporal Epistemic Logic

    • Joeri Engelfriet, Jan Treur
    Pages 105-124

  9. The Dynamics of Default Reasoning

    • Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
    Pages 125-157

  10. Default Logic as Dynamic Doxastic Logic

    • Krister Segerberg
    Pages 159-176

  11. Temporalized Epistemic Default Logic

    • J.-J. Ch. Meyer, J. Treur, W. van der Hoek
    Pages 177-194

  12. Meta-Level Selection Techniques for the Control of Default Reasoning

    • Victor Allis, Yao-Hua Tan, Jan Treur
    Pages 195-215

  13. A New Semantics for Logic Programs

    • Fangzhen Lin, Ray Reiter
    Pages 217-248

  14. Context-Dependent Natural Deduction for Non-Monotonic Reasoning

    • Philippe Besnard, Yao-Hua Tan
    Pages 249-266

  15. Dynamic Normative Reasoning under Uncertainty: How to Distinguish between Obligations under Uncertainty and Prima Facie Obligations

    • Leendert van der Torre, Yao-Hua Tan
    Pages 267-297

  16. A Formal Analysis of Pro-Activeness and Reactiveness in Cooperative Information Gathering

    • Catholijn M. Jonker, Jan Treur
    Pages 299-338

  17. Modelling Internal Dynamic Behaviour of BDI Agents

    • Frances M. T. Brazier, Barbara Dunin-Keplicz, Jan Treur, Rineke Verbrugge
    Pages 339-361

  18. Deliberate Evolution in Multi-Agent Systems

    • F. M. T. Brazier, C. M. Jonker, J. Treur, N. J. E. Wijngaards
    Pages 363-380

  19. Back Matter

    Pages 381-385
    Download chapter PDF
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • Utrecht University, The Netherlands

    John-Jules Ch. Meyer

  • Vrije Universiteit Amsterdam, The Netherlands

    Jan Treur

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation