Advertisement

Dynamics and Management of Reasoning Processes

  • John-Jules Ch. Meyer
  • Jan Treur

Table of contents

  1. Front Matter
    Pages i-vii
  2. John-Jules Ch. Meyer, Jan Treur
    Pages 1-6
  3. J.-J. Ch. Meyer, J. Treur
    Pages 7-13
  4. Wiebe van der Hoek, John-Jules Meyer, Jan Treur
    Pages 41-63
  5. Frank Cornelissen, Catholijn M. Jonker, Jan Treur
    Pages 65-82
  6. Joeri Engelfriet, Jan Treur
    Pages 83-103
  7. Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
    Pages 125-157
  8. Krister Segerberg
    Pages 159-176
  9. J.-J. Ch. Meyer, J. Treur, W. van der Hoek
    Pages 177-194
  10. Victor Allis, Yao-Hua Tan, Jan Treur
    Pages 195-215
  11. Fangzhen Lin, Ray Reiter
    Pages 217-248
  12. Philippe Besnard, Yao-Hua Tan
    Pages 249-266
  13. Frances M. T. Brazier, Barbara Dunin-Keplicz, Jan Treur, Rineke Verbrugge
    Pages 339-361
  14. F. M. T. Brazier, C. M. Jonker, J. Treur, N. J. E. Wijngaards
    Pages 363-380
  15. Back Matter
    Pages 381-385

About this book

Introduction

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.

Keywords

Analysis C programming language Natural logic multi-agent system nonmonotonic reasoning selection semantics uncertainty verification

Editors and affiliations

  • John-Jules Ch. Meyer
    • 1
  • Jan Treur
    • 2
  1. 1.Utrecht UniversityThe Netherlands
  2. 2.Vrije Universiteit AmsterdamThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/978-94-017-1743-4
  • Copyright Information Springer Science+Business Media Dordrecht 2001
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Print ISBN 978-90-481-5903-1
  • Online ISBN 978-94-017-1743-4
  • Buy this book on publisher's site
Industry Sectors
Telecommunications
Oil, Gas & Geosciences