A Description Logic Framework for Commonsense Conceptual Combination Integrating Typicality, Probabilities and Cognitive Heuristics

Journal of Experimental and Theoretical Artificial Intelligence:1-39 (2019)
  Copy   BIBTEX


We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of the combination of prototypical concepts. The proposed logic relies on the logic of typicality ALC + TR, whose semantics is based on the notion of rational closure, as well as on the distributed semantics of probabilistic Description Logics, and is equipped with a cognitive heuristic used by humans for concept composition. We first extend the logic of typicality ALC + TR by typicality inclusions of the form p :: T(C) v D, whose intuitive meaning is that “we believe with degree p about the fact that typical Cs are Ds”. As in the distributed semantics, we define different scenarios containing only some typicality inclusions, each one having a suitable probability. We then exploit such scenarios in order to ascribe typical properties to a concept C obtained as the combination of two prototypical concepts. We also show that reasoning in the proposed Description Logic is EXPTIME-complete as for the underlying standard Description Logic 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

Second-order reasoning in description logics.Andrzej Szalas - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):517-530.
Non classical concept representation and reasoning in formal ontologies.Antonio Lieto - 2012 - Dissertation, Università Degli Studi di Salerno
Typical: A Theory of Typicality and Typicality Explanation.Isaac Wilhelm - 2022 - British Journal for the Philosophy of Science 73 (2):561-581.
Typicality, Graded Membership, and Vagueness.James A. Hampton - 2007 - Cognitive Science 31 (3):355-384.
Pspace Reasoning With The Description Logic Aℒcf.Carsten Lutz - 2002 - Logic Journal of the IGPL 10 (5):535-568.
Specification of nonmonotonic reasoning.Joeri Engelfriet & Jan Treur - 2000 - Journal of Applied Non-Classical Logics 10 (1):7-26.
KALC: a constructive semantics for ALC.Paola Villa - 2011 - Journal of Applied Non-Classical Logics 21 (2):233-255.


Added to PP

217 (#58,786)

6 months
38 (#35,125)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Antonio Lieto
University of Turin

Citations of this work

Book: Cognitive Design for Artificial Minds.Antonio Lieto - 2021 - London, UK: Routledge, Taylor & Francis Ltd.
Concept Combination in Weighted Logic.Guendalina Righetti, Claudio Masolo, Nicolas Toquard, Oliver Kutz & Daniele Porello - 2021 - In Proceedings of the Joint Ontology Workshops 2021 Episode {VII:} The Bolzano Summer of Knowledge co-located with the 12th International Conference on Formal Ontology in Information Systems {(FOIS} 2021), and the 12th Internati.
A System for Automatic Emotion Attribution based on a Commonsense Reasoning Framework.Antonio Lieto - 2021 - In Proceedings of AISC Graduate Conference. Roma RM, Italia: pp. 1-8.

View all 7 citations / Add more citations