000 03475nam a22005055i 4500
001 978-3-540-46817-2
003 DE-He213
005 20160624102018.0
007 cr nn 008mamaa
008 121227s1991 gw | s |||| 0|eng d
020 _a9783540468172
_9978-3-540-46817-2
024 7 _a10.1007/BFb0018413
_2doi
050 4 _aQ334-342
050 4 _aTJ210.2-211.495
072 7 _aUYQ
_2bicssc
072 7 _aTJFM1
_2bicssc
072 7 _aCOM004000
_2bisacsh
082 0 4 _a006.3
_223
245 1 4 _aThe Logic of Theory Change
_h[electronic resource] :
_bWorkshop, Konstanz, FRG, October 13–15, 1989 Proceedings /
_cedited by André Fuhrmann, Michael Morreau.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1991.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c1991.
300 _aXII, 340 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science, Lecture Notes in Artificial Intelligence,
_x0302-9743 ;
_v465
505 0 _aInquiry, argumentation and knowledge -- Rational control of reasoning in artificial intelligence -- Computational issues in belief revision -- Some results on theory revision -- Epistemic entrenchment with incomparabilities and relational belief revision -- The negative Ramsey test: Another triviality result -- A nonmonotonic conditional logic for belief revision -- Relations between the logic of theory change and nonmonotonic logic -- Belief revision in a framework for default reasoning -- Preferential cumulative reasoning and nonmonotonic semantic nets -- Propositional logic based on the dynamics of disbelief -- On the modal logic of theory change -- Discourse representation theory and belief dynamics -- Multiple contraction a further case against gärdenfors' principle of recovery.
520 _aThe 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.
650 0 _aComputer science.
650 0 _aArtificial intelligence.
650 1 4 _aComputer Science.
650 2 4 _aArtificial Intelligence (incl. Robotics).
650 2 4 _aModels and Principles.
700 1 _aFuhrmann, André.
_eeditor.
700 1 _aMorreau, Michael.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540535676
786 _dSpringer
830 0 _aLecture Notes in Computer Science, Lecture Notes in Artificial Intelligence,
_x0302-9743 ;
_v465
856 4 0 _uhttp://dx.doi.org/10.1007/BFb0018413
942 _2EBK5911
_cEBK
999 _c35205
_d35205