AGM 25 years: Twenty-five years of research in belief change

E Fermé, SO Hansson - Journal of philosophical logic, 2011 - Springer
Abstract The 1985 paper by Carlos Alchourrón (1931–1996), Peter Gärdenfors, and David
Makinson (AGM),“On the Logic of Theory Change: Partial Meet Contraction and Revision …

Belief revision

P Peppas - Foundations of Artificial Intelligence, 2008 - Elsevier
Publisher Summary The study of the process of belief revision, which gave rise to an exciting
research area with the same name, can be traced back to the early 1980s. The framework …

[图书][B] Knowledge representation and reasoning

R Brachman, H Levesque - 2004 - books.google.com
A concise and lucid exposition of the major topics in knowledge representation, from two of
the leading authorities in the field.-Stuart Russell, UC Berkeley The information is valuable …

[图书][B] Reasoning about uncertainty

JY Halpern - 2017 - books.google.com
Formal ways of representing uncertainty and various logics for reasoning about it; updated
with new material on weighted probability measures, complexity-theoretic considerations …

Propositional knowledge base revision and minimal change

H Katsuno, AO Mendelzon - Artificial Intelligence, 1991 - Elsevier
The semantics of revising knowledge bases represented by sets of propositional sentences
is analyzed from a model-theoretic point of view. A characterization of all revision schemes …

[图书][B] Handbook of knowledge representation

F Van Harmelen, V Lifschitz, B Porter - 2008 - books.google.com
Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

[图书][B] Abductive reasoning

A Aliseda - 2006 - Springer
The general purpose of this chapter is to provide a critical analysis on the controversial
enterprise of 'logics of discovery'. It is naturally divided into six parts. After this introduction, in …

[PDF][PDF] Preferred Subtheories: An Extended Logical Framework for Default Reasoning.

G Brewka - IJCAI, 1989 - Citeseer
We present a general framework for defining nonmonotonic systems based on the notion of
preferred maximal consistent subsets of the premises. This framework subsumes David …

[图书][B] Belief revision

P Gärdenfors - 2003 - books.google.com
Belief revision is a topic of much interest in theoretical computer science and logic, and it
forms a central problem in research into artificial intelligence. In simple terms: how do you …

[图书][B] The fixation of belief and its undoing: Changing beliefs through inquiry

I Levi - 1991 - books.google.com
Isaac Levi's new book is concerned with how one can justify changing one's beliefs. The
discussion is deeply informed by the belief-doubt model advocated by CS Peirce and John …