We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of combining prototypical concepts, an open problem in the fields of AI and cognitive modelling. Our logic extends the logic of typicality ALC+TR, based on the notion of rational closure, by inclusions (“we have probability p that typical Cs are Ds”), coming from the distributed semantics of probabilistic Description Logics. Additionally, it embeds a set of cognitive heuristics for concept combination. We show that the complexity of reasoning in our logic is ExpTime-complete as in the underlying ALC.

A description logic of typicality for conceptual combination

Lieto, Antonio;Pozzato, Gian Luca
2018-01-01

Abstract

We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of combining prototypical concepts, an open problem in the fields of AI and cognitive modelling. Our logic extends the logic of typicality ALC+TR, based on the notion of rational closure, by inclusions (“we have probability p that typical Cs are Ds”), coming from the distributed semantics of probabilistic Description Logics. Additionally, it embeds a set of cognitive heuristics for concept combination. We show that the complexity of reasoning in our logic is ExpTime-complete as in the underlying ALC.
2018
24th International Symposium on Methodologies for Intelligent Systems, ISMIS 2018
Limassol, Cyprus
2018
Foundations of Intelligent Systems 24th International Symposium, ISMIS 2018, Limassol, Cyprus, October 29–31, 2018, Proceedings
Springer Verlag
11177
189
199
9783030018504
https://www.springer.com/us/book/9783030018504
Concept combination, Description Logics, Typicality, Cognitive Semantics
Lieto, Antonio; Pozzato, Gian Luca*
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/1685068
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 30
  • ???jsp.display-item.citation.isi??? 19
social impact