Reasoning in inconsistent prioritized knowledge bases: an argumentative approach
نویسندگان
چکیده
<p>A study of query answering in prioritized ontological knowledge bases (KBs) has received attention recent years. While several semantics have been proposed and their complexity is rather well-understood, the problem explaining inconsistency-tolerant answers paid less attention. Explaining permits users to understand not only what entailed or by an inconsistent DL-LiteR KBs presence priority, but also why. We, therefore, concern with use argumentation frameworks allow better explanation techniques querying over priority. More specifically, we propose a new variant Dung’s frameworks, which corresponds given KB. We clarify close relation between preferred subtheories adopted such setting acceptable corresponding framework. The significant result paves way for applying algorithms proof theories establish inferences KBs.</p>
منابع مشابه
Combining individually inconsistent prioritized knowledge bases
It is well accepted that inconsistency may exist in a database system or an intelligent information system (Benferhat et al. 1993a; 1993b; 1997b; 1998; Benferhat & Kaci 2003; Elvang-Gøransson & Hunter 1995; Gabbay & Hunter 1991; Lin 1994; Priest et al. 1989; Priest 2001). Inconsistency can either appear in the given knowledge bases or as a result of combination or revision. In this paper, we wi...
متن کاملArgumentative inference in uncertain and inconsistent knowledge bases
This paper presents and discusses several methods for reasoning from inconsistent knowledge bases. A so-called argumentative-consequence relation, taking into account the existence of consistent arguments in favor of a conclusion and the absence of consistent arguments in favor of its contrary, is particularly investigated. Flat knowledge bases, i.e. without any priority between their elements,...
متن کاملAn Argumentative Approach to Reasoning with Inconsistent Ontologies
Standard approaches to reasoning with Description Logics (DL) ontologies require them to be consistent. However, as ontologies are complex entities and sometimes built upon other imported ontologies, inconsistencies can arise. In this paper, we present a framework for reasoning with inconsistent DL ontologies. Our proposal involves expressing DL ontologies as Defeasible Logic Programs (DeLP). G...
متن کاملReasoning in Inconsistent Stratified Knowledge Bases
This paper proposes a discussion of inconsistency-tolerant consequence relations in prioritized knowledge bases. These inference techniques extend methods for reasoning from inconsistent, non-stratified, knowledge bases to the case where priorities between formulas are available. Priorities between formulas are handled in the framework of possibility theory and allow for the use of pieces of in...
متن کاملExplanatory dialogues with argumentative faculties over inconsistent knowledge bases
We introduce a formal model of explanatory dialogue called EDS. We extend this model by including argumentation capacities to facilitate knowledge acquisition in inconsistent knowledge bases. To prove the relevance of such model we provide the dalek (DiALectical Explanation in Knowledge-bases) framework that implements this model. We show the usefulness of the framework on a real-world applicat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Power Electronics and Drive Systems
سال: 2022
ISSN: ['2722-2578', '2722-256X']
DOI: https://doi.org/10.11591/ijece.v12i3.pp2944-2954