Cover Image

The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989, proceedings /

Show other versions (1)

The logic of theory change, or the theory of belief revision, is a growing area of research in artificial intelligence. The papers in this volume, mostly arising from a workshop held in Konstanz in October 1989, chart out the current state of research in this area and indicate the directions of futu...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Fuhrmann, A. (André), 1958-, Morreau, M. (Michael)
Format: eBook
Language:English
Published: Berlin ; New York : Springer-Verlag, [1991]
Series:Lecture notes in computer science ; 465.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:
Computer science > Congresses.
Logic, Symbolic and mathematical > Congresses.
extension.
reformulation.
théorie Ramsey.
raisonnement non monotone.
représentation connaissance.
croyance.
épistémologie.
raisonnement.
Informatique > Congrès.
Logique symbolique et mathématique > Congrès.
Künstliche Intelligenz.
Mathematische Logik.
Konstanz <1989>.
Computer science.
Logic, Symbolic and mathematical.
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book
Description
Summary:The logic of theory change, or the theory of belief revision, is a growing area of research in artificial intelligence. The papers in this volume, mostly arising from a workshop held in Konstanz in October 1989, chart out the current state of research in this area and indicate the directions of future research. Connections to other areas of AI research are emphasized throughout the book. All the contributions are original research papers and most of them are self-contained, so that the collection will be of interest not only to researchers but also to all those who seek an introduction to the state of the art in this area. The fourteen contributions are organized into five sections: - Foundations - Models of theory change - The Ramsey test for conditionals - Theory change and nonmonotonic reasoning - Reformulations and extensions.
Item Description:Electronic resource.
Physical Description:1 online resource (x, 334 pages) : illustrations.
Format:Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Bibliography:Includes bibliographical references.
ISBN:9783540468172 (electronic bk.)
354046817X (electronic bk.)