Rational Defeasible Belief Change

Casini, Giovanni and Meyer, Thomas and Varzinczak, Ivan (2020) Rational Defeasible Belief Change, Proceedings of Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 12-18 September, Online, 213-222, IJCAI Organization.

Text kr2020-0022-casini-et-al.pdf Download (196kB)

Abstract

We present a formal framework for modelling belief change within a non-monotonic reasoning system. Belief change and non-monotonic reasoning are two areas that are formally closely related, with recent attention being paid towards the analysis of belief change within a non-monotonic environ- ment. In this paper we consider the classical AGM belief change operators, contraction and revision, applied to a de- feasible setting in the style of Kraus, Lehmann, and Magidor. The investigation leads us to the formal characterisation of a number of classes of defeasible belief change operators. For the most interesting classes we need to consider the problem of iterated belief change, generalising the classical work of Darwiche and Pearl in the process. Our work involves be- lief change operators aimed at ensuring logical consistency, as well as the characterisation of analogous operators aimed at obtaining coherence—an important notion within the field of logic-based ontologies.

Item Type:	Conference paper
Subjects:	Computing methodologies > Artificial intelligence > Knowledge representation and reasoning
Alternate Locations:	https://proceedings.kr.org/2020/22/kr2020-0022-casini-et-al.pdf
Date Deposited:	01 Sep 2021 09:58
Last Modified:	01 Sep 2021 09:58
URI:	http://pubs.cs.uct.ac.za/id/eprint/1423

Actions (login required)

View Item