chapter

Belief revision

Authors:

Peter Gärdenfors,

Hans RottAuthors Info & Claims

Handbook of logic in artificial intelligence and logic programming (Vol. 4): epistemic and temporal reasoning

June 1995

Pages 35 - 132

Published: 15 June 1995 Publication History

Abstract

No abstract available.

Cited By

View all

Heyninck JStraßer CElkind EVeloso MAgmon NTaylor M(2019)A Fully Rational Argumentation System for Preordered Defeasible RulesProceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems10.5555/3306127.3331901(1704-1712)Online publication date: 8-May-2019
https://dl.acm.org/doi/10.5555/3306127.3331901
Baioletti MCapotorti A(2019)A L1 based probabilistic merging algorithm and its application to statistical matchingApplied Intelligence10.1007/s10489-018-1233-z49:1(112-124)Online publication date: 1-Jan-2019
https://dl.acm.org/doi/10.1007/s10489-018-1233-z
Koehler HLink SMukhopadhyay SZhai CBertino ECrestani FMostafa JTang JSi LZhou XChang YLi YSondhi P(2016)Qualitative Cleaning of Uncertain DataProceedings of the 25th ACM International on Conference on Information and Knowledge Management10.1145/2983323.2983679(2269-2274)Online publication date: 24-Oct-2016
https://dl.acm.org/doi/10.1145/2983323.2983679
Show More Cited By

Index Terms

Belief revision
1. Computing methodologies
  1. Artificial intelligence
    1. Knowledge representation and reasoning
      1. Nonmonotonic, default reasoning and belief revision
2. Theory of computation
  1. Logic
  2. Models of computation
    1. Computability

Recommendations

Parallel belief revision: Revising by sets of formulas

The area of belief revision studies how a rational agent may incorporate new information about a domain into its belief corpus. An agent is characterised by a belief state K, and receives a new item of information @a which is to be included among its ...
Belief revision, revised
IJCAI'95: Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2

This paper studies properties of iterated revisions. First rationality result shows that in the AGM original framework the only revision operation that satisfies two resonable properties is the trivial revision. Then an altenative to the AGM framework ...
Revocable Belief Revision

Krister Segerberg proposed irrevocable belief revision, to be contrasted with standard belief revision, in a setting wherein belief of propositional formulas is modelled explicitly. This suggests that in standard belief revision is revocable: one should ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Handbook of logic in artificial intelligence and logic programming (Vol. 4): epistemic and temporal reasoning

June 1995

593 pages

ISBN:0198537913

Editors:
Dov M. Gabbay
Imperial College of Science, Technology and Medicine, London, UK
,
C. J. Hogger
Imperial College of Science, Technology and Medicine, London, UK
,
J. A. Robinson
Syracuse Univ., New York, NY

Publisher

Oxford University Press, Inc.

United States

Publication History

Published: 15 June 1995

Qualifiers

Chapter

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

43
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 27 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Heyninck JStraßer CElkind EVeloso MAgmon NTaylor M(2019)A Fully Rational Argumentation System for Preordered Defeasible RulesProceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems10.5555/3306127.3331901(1704-1712)Online publication date: 8-May-2019
https://dl.acm.org/doi/10.5555/3306127.3331901
Baioletti MCapotorti A(2019)A L1 based probabilistic merging algorithm and its application to statistical matchingApplied Intelligence10.1007/s10489-018-1233-z49:1(112-124)Online publication date: 1-Jan-2019
https://dl.acm.org/doi/10.1007/s10489-018-1233-z
Koehler HLink SMukhopadhyay SZhai CBertino ECrestani FMostafa JTang JSi LZhou XChang YLi YSondhi P(2016)Qualitative Cleaning of Uncertain DataProceedings of the 25th ACM International on Conference on Information and Knowledge Management10.1145/2983323.2983679(2269-2274)Online publication date: 24-Oct-2016
https://dl.acm.org/doi/10.1145/2983323.2983679
Raidl E(2016)Updating a progicJournal of Applied Logic10.1016/j.jal.2015.09.01314:C(65-94)Online publication date: 1-Mar-2016
https://dl.acm.org/doi/10.1016/j.jal.2015.09.013
Eiter TFink MStepanova D(2016)Data repair of inconsistent nonmonotonic description logic programsArtificial Intelligence10.1016/j.artint.2016.06.003239:C(7-53)Online publication date: 1-Oct-2016
https://dl.acm.org/doi/10.1016/j.artint.2016.06.003
Booth RMeyer TVarzinczak IWassermann R(2011)On the link between partial meet, kernel, and infra contraction and its application to Horn logicJournal of Artificial Intelligence Research10.5555/2208436.220843842:1(31-53)Online publication date: 1-Sep-2011
https://dl.acm.org/doi/10.5555/2208436.2208438
Lembo DLenzerini MRosati RRuzzi MSavo D(2011)Query rewriting for inconsistent DL-lite ontologiesProceedings of the 5th international conference on Web reasoning and rule systems10.5555/2036949.2036961(155-169)Online publication date: 29-Aug-2011
https://dl.acm.org/doi/10.5555/2036949.2036961
Flesca SFurfaro FParisi F(2010)Querying and repairing inconsistent numerical databasesACM Transactions on Database Systems10.1145/1735886.173589335:2(1-50)Online publication date: 3-May-2010
https://dl.acm.org/doi/10.1145/1735886.1735893
Doder DRašković MMarković ZOgnjanović Z(2010)Measures of inconsistency and defaultsInternational Journal of Approximate Reasoning10.1016/j.ijar.2010.05.00751:7(832-845)Online publication date: 1-Sep-2010
https://dl.acm.org/doi/10.1016/j.ijar.2010.05.007
Krümpelmann PThimm MRitterskamp MKern-Isberner GPadgham LParkes D(2008)Belief operations for motivated BDI agentsProceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 110.5555/1402383.1402445(421-428)Online publication date: 12-May-2008
https://dl.acm.org/doi/10.5555/1402383.1402445
Show More Cited By

View Options

View options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Index Terms

Recommendations

Parallel belief revision: Revising by sets of formulas

Belief revision, revised

Revocable Belief Revision

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations