Actions and Belief Revision : A Computational Approach

Authors Yi Jin, Michael Thielscher



PDF
Thumbnail PDF

File

DagSemProc.05321.5.pdf
  • Filesize: 276 kB
  • 25 pages

Document Identifiers

Author Details

Yi Jin
Michael Thielscher

Cite AsGet BibTex

Yi Jin and Michael Thielscher. Actions and Belief Revision : A Computational Approach. In Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics. Dagstuhl Seminar Proceedings, Volume 5321, pp. 1-25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
https://doi.org/10.4230/DagSemProc.05321.5

Abstract

The classic AGM theory studies mathematically idealized models of belief revision in two aspects: the properties (i.e., the AGM postulates) a rational revision operator should satisfy; and how to mathematically construct concrete revision operators. In scenarios where new information arrives in sequence, rational revision operators should also respect postulates for iterated revision (e.g., the DP postulates). When applications are concerned, the idealization of the AGM theory has to be lifted, in particular, beliefs of an agent should be represented by a finite belief base. In this talk, we present a computational base revision operator, which satisfies the AGM postulates and some nice postulates for iterated revision. We will also give a formal assessment of the base revision operator in terms of its computational complexity and degree of syntax irrelevance.
Keywords
  • Iterated Belief Revision
  • Belief Base Revision
  • Computational Complexity

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail