Preference-based belief revision for rule-based agents

Natasha Alechina, Mark Jago, Brian Logan*

*Corresponding author for this work

Research output: Contribution to journalArticle

7 Citations (Scopus)

Abstract

Agents which perform inferences on the basis of unreliable information need an ability to revise their beliefs if they discover an inconsistency. Such a belief revision algorithm ideally should be rational, should respect any preference ordering over the agent's beliefs (removing less preferred beliefs where possible) and should be fast. However, while standard approaches to rational belief revision for classical reasoners allow preferences to be taken into account, they typically have quite high complexity. In this paper, we consider belief revision for agents which reason in a simpler logic than full first-order logic, namely rule-based reasoners. We show that it is possible to define a contraction operation for rule-based reasoners, which we call McAllester contraction, which satisfies all the basic Alchourrón, Gärdenfors and Makinson (AGM) postulates for contraction (apart from the recovery postulate) and at the same time can be computed in polynomial time. We prove a representation theorem for McAllester contraction with respect to the basic AGM postulates (minus recovery), and two additional postulates. We then show that our contraction operation removes a set of beliefs which is least preferred, with respect to a natural interpretation of preference. Finally, we show how McAllester contraction can be used to define a revision operation which is also polynomial time, and prove a representation theorem for the revision operation.

Original languageEnglish
Pages (from-to)159-177
Number of pages19
JournalSynthese
Volume165
Issue number2
DOIs
Publication statusPublished - Nov 2008

Keywords

  • Belief revision
  • Preferences
  • Reason maintenance systems
  • Rule-based agents

Fingerprint Dive into the research topics of 'Preference-based belief revision for rule-based agents'. Together they form a unique fingerprint.

Cite this