Javascript must be enabled to continue!

Preferential vs Rational Description Logics: which one for Reasoning About Typicality?

View through CrossRef

Extensions of Description Logics (DLs) to reason about typicality and defeasible inheritance have been largely investigated. In this paper, we consider two such extensions, namely (i) the extension of DLs with a typicality operator T, having the properties of Preferential nonmonotonic entailment P, and (ii) its variant with a typicality operator having the properties of the stronger Rational entailment R. The first one has been proposed in [6]. Here, we investigate the second one and we show, by a representation theorem, that it is equivalent to the approach to preferential subsumption proposed in [3]. We compare the two extensions, preferential and rational, and argue that the first one is more suitable than the second one to reason about typicality, as the latter leads to very unintuitive inferences.

IOS Press

Giordano Laura Gliozzi Valentina Olivetti Nicola Pozzato Gian Luca

Frontiers in Artificial Intelligence and Applications

Title: Preferential vs Rational Description Logics: which one for Reasoning About Typicality?

Description:

Extensions of Description Logics (DLs) to reason about typicality and defeasible inheritance have been largely investigated.

In this paper, we consider two such extensions, namely (i) the extension of DLs with a typicality operator T, having the properties of Preferential nonmonotonic entailment P, and (ii) its variant with a typicality operator having the properties of the stronger Rational entailment R.

The first one has been proposed in [6].

Here, we investigate the second one and we show, by a representation theorem, that it is equivalent to the approach to preferential subsumption proposed in [3].

We compare the two extensions, preferential and rational, and argue that the first one is more suitable than the second one to reason about typicality, as the latter leads to very unintuitive inferences.

Related Results

Effect of Working Memory Load and Typicality on Semantic Processing in Aphasia

Purpose: This study evaluated the effects of a linguistic characteristic, typicality, and a processing variable, working memory on the abilities of people with aphasia ...

Characteristics and processes of registered nurses’ clinical reasoning and factors relating to the use of clinical reasoning in practice: a scoping review

Objective: The objective of this review was to examine the characteristics and processes of clinical reasoning used by registered nurses in clinical practice, and to id...

Self-Typicality and Group Identification: Evidence for their Separateness

Two studies demonstrated group identification (affective-evaluative response to in-group membership) and self-typicality (perceived typicality of the self as an in-group member) to...

Practical Defeasible Reasoning for Description Logics

The preferential approach to nonmonotonic reasoning was consolidated in depth by Krause, Lehmann and Magidor (KLM) for propositional logic in the early 90's. In recent years, there...

Two‐Sided Effect of Preferential Rules of Origin on Export Resilience of Firms

ABSTRACTThe current international political and economic landscape is increasingly complex and volatile, posing significant challenges to firms' export activities. Against this bac...

Practical Reasoning for Defeasible Description Logics

Description Logics (DLs) are a family of logic-based languages for formalisingontologies. They have useful computational properties allowing the developmentof automated reasoning e...

Pet Euthanasia and Human Euthanasia

Photo ID 213552852 © Yuryz | Dreamstime.com Abstract A criticism of assisted death is that it’s contrary to the Hippocratic Oath. This opposition to assisted death assumes that dea...

Overinterpreting Logics

Paraconsistent logics, minimally, are not explosive; that is, on these logics, not everything follows from a contradiction of the form ‘A and not-A’. Dialetheists, who argue that s...