---
title: "Characterizability in Belief Revision"
authors:
  - "György Turán"
  - "Jon Yaggie"
doi: ""
url: "https://ijcai.org/proceedings/2015/456"
pdf: "https://ijcai.org/proceedings/2015/0456.pdf"
venue: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence"
year: 2015
pages: "3236-3241"
track: "Special Track on Knowledge Representation and Reasoning"
keywords:
---

# Characterizability in Belief Revision

György Turán, Jon Yaggie

*Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence*, pages 3236-3241.

## Abstract

A formal framework is given for the postulate characterizability of a class of belief revision operators, obtained from a class of partial preorders using minimization. It is shown that for classes of posets characterizability is equivalent to a special kind of definability in monadic second-order logic, which turns out to be incomparable to first-order definability. Several examples are given of characterizable and non-characterizable classes. For example, it is shown that the class of revision operators obtained from posets which are not total is not characterizable.