Document - Rational defeasible belief change

2020

Conference article Open Access

Rational defeasible belief change

Casini G., Meyer T., Varzinczak I.

Non-monotonic logic Knowledge representation Belief revision and update Conditional logic Artificial intelligence

We present a formal framework for modelling belief change within a nonmonotonic 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 environment. In this paper we consider the classical AGM belief change operators, contraction and revision, applied to a defeasible setting in the style of Kraus, Lehmann, and Magidor. The investigation leads us to the consideration of the problem of iterated change, generalising the classical work of Darwiche and Pearl. We characterise a family of operators for iterated revision, followed by an analogous characterisation of operators for iterated contraction. We start considering belief change operators aimed at preserving logical consistency, and then characterise analogous operators aimed at the preservation of coherence--an important notion within the field of logic-based ontologies.

Source: 17th International Conference on Principles of Knowledge Representation and Reasoning (KR2020), pp. 213–222, Online conference, 12-18/09/2020

Metrics

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:it.cnr:prodotti:433167,
	title = {Rational defeasible belief change},
	author = {Casini G. and Meyer T. and Varzinczak I.},
	doi = {10.24963/kr.2020/22},
	booktitle = {17th International Conference on Principles of Knowledge Representation and Reasoning (KR2020), pp. 213–222, Online conference, 12-18/09/2020},
	year = {2020}
}