A Description Logic of Typicality for Conceptual Combination

In Proceedings of ISMIS 18. Springer (2018)
  Copy   BIBTEX


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 p :: T(C) v D (“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 ALC.



External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Typicality, Graded Membership, and Vagueness.James A. Hampton - 2007 - Cognitive Science 31 (3):355-384.
Justifying typicality measures of Boltzmannian statistical mechanics and dynamical systems.Charlotte Werndl - 2013 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 44 (4):470-479.
Second-order reasoning in description logics.Andrzej Szalas - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):517-530.
Pspace Reasoning With The Description Logic Aℒcf.Carsten Lutz - 2002 - Logic Journal of the IGPL 10 (5):535-568.


Added to PP

377 (#30,494)

6 months
32 (#39,899)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Antonio Lieto
University of Turin