In this work we focus on extensions of Description Logics (DLs) of typicality by means of probabilities. We introduce a novel extension of the logic of typicality ALC + TR, able to represent and reason about typical properties and defeasible inheritance in DLs. The novel logic (ALCTP: Typical ALC with Probabilities as Proportions) allows inclusions of the form T(C) p D, with probability p representing a proportion, meaning that “all the typical Cs are Ds, and the probability that a C element is not a D element is 1 − p”. We also compare and confront this novel logic with a similar one already presented in the literature (TCL, introduced in Lieto and Pozzato (2020, J. Exp. Theor. Artif. Intell., 32, 769–804)), inspired by the DISPONTE semantics and that allows inclusions of the form p : T(C) D with probability p, where p represents a degree of belief, whose meaning is that “we believe with a degree p that typical Cs’ are also Ds.”. We then show that the proposed ALCTP extension (like the previous TCL) can be applied in order to tackle a specific and challenging problem in the field of common-sense reasoning, namely the combination of prototypical concepts, that have been shown to be problematic to model for other symbolic approaches like fuzzy logic. We show that, for the proposed extension, the complexity of reasoning remains EXPTIME-complete as for the underlying standard monotonic DL ALC.
Two semantic interpretations of probabilities in description logics of typicality
Antonio Lieto
;
2024-01-01
Abstract
In this work we focus on extensions of Description Logics (DLs) of typicality by means of probabilities. We introduce a novel extension of the logic of typicality ALC + TR, able to represent and reason about typical properties and defeasible inheritance in DLs. The novel logic (ALCTP: Typical ALC with Probabilities as Proportions) allows inclusions of the form T(C) p D, with probability p representing a proportion, meaning that “all the typical Cs are Ds, and the probability that a C element is not a D element is 1 − p”. We also compare and confront this novel logic with a similar one already presented in the literature (TCL, introduced in Lieto and Pozzato (2020, J. Exp. Theor. Artif. Intell., 32, 769–804)), inspired by the DISPONTE semantics and that allows inclusions of the form p : T(C) D with probability p, where p represents a degree of belief, whose meaning is that “we believe with a degree p that typical Cs’ are also Ds.”. We then show that the proposed ALCTP extension (like the previous TCL) can be applied in order to tackle a specific and challenging problem in the field of common-sense reasoning, namely the combination of prototypical concepts, that have been shown to be problematic to model for other symbolic approaches like fuzzy logic. We show that, for the proposed extension, the complexity of reasoning remains EXPTIME-complete as for the underlying standard monotonic DL ALC.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
