Solving conflicts in information merging by a flexible interpretation of atomic propositions

Schockaert, Steven ORCID: https://orcid.org/0000-0002-9256-2881 and Prade, Henri 2011. Solving conflicts in information merging by a flexible interpretation of atomic propositions. Artificial Intelligence 175 (11) , pp. 1815-1855. 10.1016/j.artint.2011.04.001

Full text not available from this repository.

Abstract

Although many techniques for merging conflicting propositional knowledge bases have already been proposed, most existing work is based on the idea that inconsistency results from the presence of incorrect pieces of information, which should be identified and removed. In contrast, we take the view in this paper that conflicts are often caused by statements that are inaccurate rather than completely false, suggesting to restore consistency by interpreting certain statements in a flexible way, rather than ignoring them completely. In accordance with this view, we propose a novel approach to merging which exploits extra-logical background information about the semantic relatedness of atomic propositions. Several merging operators are presented, which are based on different formalizations of this background knowledge, ranging from purely qualitative approaches, related to possibilistic logic, to quantitative approaches with a probabilistic flavor. Both syntactic and semantic characterizations are provided for each merging operator, and the computational complexity is analyzed.

Item Type:	Article
Date Type:	Publication
Status:	Published
Schools:	Computer Science & Informatics
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Uncontrolled Keywords:	Information fusion; Similarity-based reasoning; Prioritized knowledge bases; Possibilistic logic; Penalty logic
Publisher:	Elsevier
ISSN:	0004-3702
Last Modified:	18 Oct 2022 13:30
URI:	https://orca.cardiff.ac.uk/id/eprint/14152

Citation Data

Cited 17 times in Scopus. View in Scopus. Powered By Scopus® Data

Actions (repository staff only)

Edit Item