Minimal change

Relevance and recovery revisited

Márcio M. Ribeiro, Renata Wassermann, Giorgos Flouris, Grigoris Antoniou

Research output: Contribution to journalArticle

17 Citations (Scopus)

Abstract

The operation of contraction (referring to the removal of knowledge from a knowledge base) has been extensively studied in the research field of belief change, and different postulates (e.g., the AGM postulates with recovery, or relevance) have been proposed, as well as several constructions (e.g., partial meet) that allow the definition of contraction operators satisfying said postulates. Most of the related work has focused on classical logics, i.e., logics that satisfy certain intuitive assumptions; in such logics, several nice properties and equivalences related to the above postulates and constructions have been shown to hold. Unfortunately, previous work has shown that the postulatesÊ applicability and the related results generally fail for non-classical logics. Motivated by the fact that non-classical logics (like Description Logics or Horn logic) are increasingly being used in various applications, we study contraction for all monotonic logics, classical or not. In particular, we identify several sufficient conditions for the various postulates to be applicable, and show that, in practice, relevance is a more suitable (i.e., applicable) minimality criterion than recovery for non-classical logics. In addition, we revisit some important related results from the classical belief change literature and study conditions sufficient for them to hold for non-classical logics; the corresponding results for classical logics emerge as corollaries of our more general results. Our work is another step towards the aim of exploiting the rich belief change literature for addressing the evolution problem in a larger class of logics.

Original languageEnglish
Pages (from-to)59-80
Number of pages22
JournalArtificial Intelligence
Volume201
DOIs
Publication statusPublished - 1 Aug 2013

Fingerprint

logic
Recovery
practice relevance
study conditions
Non-classical Logics
Logic
equivalence
field research
Contraction
Classical Logic
Belief Change

Cite this

Ribeiro, Márcio M. ; Wassermann, Renata ; Flouris, Giorgos ; Antoniou, Grigoris. / Minimal change : Relevance and recovery revisited. In: Artificial Intelligence. 2013 ; Vol. 201. pp. 59-80.
@article{f15c2a22dad84317abcb7e1827f917ad,
title = "Minimal change: Relevance and recovery revisited",
abstract = "The operation of contraction (referring to the removal of knowledge from a knowledge base) has been extensively studied in the research field of belief change, and different postulates (e.g., the AGM postulates with recovery, or relevance) have been proposed, as well as several constructions (e.g., partial meet) that allow the definition of contraction operators satisfying said postulates. Most of the related work has focused on classical logics, i.e., logics that satisfy certain intuitive assumptions; in such logics, several nice properties and equivalences related to the above postulates and constructions have been shown to hold. Unfortunately, previous work has shown that the postulates{\^E} applicability and the related results generally fail for non-classical logics. Motivated by the fact that non-classical logics (like Description Logics or Horn logic) are increasingly being used in various applications, we study contraction for all monotonic logics, classical or not. In particular, we identify several sufficient conditions for the various postulates to be applicable, and show that, in practice, relevance is a more suitable (i.e., applicable) minimality criterion than recovery for non-classical logics. In addition, we revisit some important related results from the classical belief change literature and study conditions sufficient for them to hold for non-classical logics; the corresponding results for classical logics emerge as corollaries of our more general results. Our work is another step towards the aim of exploiting the rich belief change literature for addressing the evolution problem in a larger class of logics.",
keywords = "AGM theory, Belief change, Belief revision, Minimal change, Recovery, Relevance",
author = "Ribeiro, {M{\'a}rcio M.} and Renata Wassermann and Giorgos Flouris and Grigoris Antoniou",
year = "2013",
month = "8",
day = "1",
doi = "10.1016/j.artint.2013.06.001",
language = "English",
volume = "201",
pages = "59--80",
journal = "Artificial Intelligence",
issn = "0004-3702",
publisher = "Elsevier",

}

Minimal change : Relevance and recovery revisited. / Ribeiro, Márcio M.; Wassermann, Renata; Flouris, Giorgos; Antoniou, Grigoris.

In: Artificial Intelligence, Vol. 201, 01.08.2013, p. 59-80.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Minimal change

T2 - Relevance and recovery revisited

AU - Ribeiro, Márcio M.

AU - Wassermann, Renata

AU - Flouris, Giorgos

AU - Antoniou, Grigoris

PY - 2013/8/1

Y1 - 2013/8/1

N2 - The operation of contraction (referring to the removal of knowledge from a knowledge base) has been extensively studied in the research field of belief change, and different postulates (e.g., the AGM postulates with recovery, or relevance) have been proposed, as well as several constructions (e.g., partial meet) that allow the definition of contraction operators satisfying said postulates. Most of the related work has focused on classical logics, i.e., logics that satisfy certain intuitive assumptions; in such logics, several nice properties and equivalences related to the above postulates and constructions have been shown to hold. Unfortunately, previous work has shown that the postulatesÊ applicability and the related results generally fail for non-classical logics. Motivated by the fact that non-classical logics (like Description Logics or Horn logic) are increasingly being used in various applications, we study contraction for all monotonic logics, classical or not. In particular, we identify several sufficient conditions for the various postulates to be applicable, and show that, in practice, relevance is a more suitable (i.e., applicable) minimality criterion than recovery for non-classical logics. In addition, we revisit some important related results from the classical belief change literature and study conditions sufficient for them to hold for non-classical logics; the corresponding results for classical logics emerge as corollaries of our more general results. Our work is another step towards the aim of exploiting the rich belief change literature for addressing the evolution problem in a larger class of logics.

AB - The operation of contraction (referring to the removal of knowledge from a knowledge base) has been extensively studied in the research field of belief change, and different postulates (e.g., the AGM postulates with recovery, or relevance) have been proposed, as well as several constructions (e.g., partial meet) that allow the definition of contraction operators satisfying said postulates. Most of the related work has focused on classical logics, i.e., logics that satisfy certain intuitive assumptions; in such logics, several nice properties and equivalences related to the above postulates and constructions have been shown to hold. Unfortunately, previous work has shown that the postulatesÊ applicability and the related results generally fail for non-classical logics. Motivated by the fact that non-classical logics (like Description Logics or Horn logic) are increasingly being used in various applications, we study contraction for all monotonic logics, classical or not. In particular, we identify several sufficient conditions for the various postulates to be applicable, and show that, in practice, relevance is a more suitable (i.e., applicable) minimality criterion than recovery for non-classical logics. In addition, we revisit some important related results from the classical belief change literature and study conditions sufficient for them to hold for non-classical logics; the corresponding results for classical logics emerge as corollaries of our more general results. Our work is another step towards the aim of exploiting the rich belief change literature for addressing the evolution problem in a larger class of logics.

KW - AGM theory

KW - Belief change

KW - Belief revision

KW - Minimal change

KW - Recovery

KW - Relevance

UR - http://www.scopus.com/inward/record.url?scp=84879338792&partnerID=8YFLogxK

U2 - 10.1016/j.artint.2013.06.001

DO - 10.1016/j.artint.2013.06.001

M3 - Article

VL - 201

SP - 59

EP - 80

JO - Artificial Intelligence

JF - Artificial Intelligence

SN - 0004-3702

ER -