A Description Logic of Typicality for Conceptual Combination
In Proceedings of ISMIS 18. Springer (2018)
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 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.Author's Profile
My notes
Similar books and articles
Typicality, Graded Membership, and Vagueness.James A. Hampton - 2007 - Cognitive Science 31 (3):355-384.
Typicality, Irreversibility and the Status of Macroscopic Laws.Dustin Lazarovici & Paula Reichert - 2015 - Erkenntnis 80 (4):689-716.
How Typical! An Epistemological Analysis of Typicality in Statistical Mechanics.Massimiliano Badino - manuscript
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.
Probability and Typicality in Deterministic Physics.Meir Hemmo & Orly Shenker - 2015 - Erkenntnis 80 (3):575-586.
Second-order reasoning in description logics.Andrzej Szalas - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):517-530.
Preferential Semantics for Plausible Subsumption in Possibility Theory.Guilin Qi & Zhizheng Zhang - 2013 - Minds and Machines 23 (1):47-75.
A Modal Supervaluation Description Logic For Characterization Of Vague Concepts: Its Semantics And A Tableau Algorithm For It.Lei Liu & Lin Chen - 2006 - Logic Journal of the IGPL 14 (6):873-888.
Deciding Unifiability and Computing Local Unifiers in the Description Logic $mathcal{E!L}$ without Top Constructor.Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt & Barbara Morawska - 2016 - Notre Dame Journal of Formal Logic 57 (4):443-476.
Pspace Reasoning With The Description Logic Aℒcf.Carsten Lutz - 2002 - Logic Journal of the IGPL 10 (5):535-568.
Representing Concepts in Formal Ontologies: Compositionality vs. Typicality Effects".Marcello Frixione & Antonio Lieto - 2012 - Logic and Logical Philosophy 21 (4):391-414.
An overview of tableau algorithms for description logics.Franz Baader & Ulrike Sattler - 2001 - Studia Logica 69 (1):5-40.
Note on the integration of prototype theory and fuzzy-set theory.Gy Fuhrmann - 1991 - Synthese 86 (1):1 - 27.
Analytics
Added to PP
2018-08-02
Downloads
377 (#30,494)
6 months
32 (#39,899)
2018-08-02
Downloads
377 (#30,494)
6 months
32 (#39,899)
Historical graph of downloads
Author's Profile
Citations of this work
A Description Logic Framework for Commonsense Conceptual Combination Integrating Typicality, Probabilities and Cognitive Heuristics.Antonio Lieto & Gian Luca Pozzato - 2019 - Journal of Experimental and Theoretical Artificial Intelligence:1-39.
Beyond subgoaling: A dynamic knowledge generation framework for creative problem solving in cognitive architectures.Antonio Lieto - 2019 - Cognitive Systems Research 58:305-316.
Nonmonotonic Reasoning, Expectations Orderings, and Conceptual Spaces.Matías Osta-Vélez & Peter Gärdenfors - 2022 - Journal of Logic, Language and Information 31 (1):77-97.
Bounded Rationality and Heuristics in Humans and in Artificial Cognitive Systems.Antonio Lieto - 2019 - Isonomía. Revista de Teoría y Filosofía Del Derecho 1 (4):1-21.
Cognitive Heuristics for Commonsense Thinking and Reasoning in the next generation Artificial Intelligence.Antonio Lieto - 2021 - SRM ACM Student Chapters.
References found in this work
Extensional versus intuitive reasoning: The conjunction fallacy in probability judgment.Amos Tversky & Daniel Kahneman - 1983 - Psychological Review 90 (4):293-315.
On the adequacy of prototype theory as a theory of concepts.Daniel N. Osherson & Edward E. Smith - 1981 - Cognition 9 (1):35-58.
What does a conditional knowledge base entail?Daniel Lehmann & Menachem Magidor - 1992 - Artificial Intelligence 55 (1):1-60.
Semantic characterization of rational closure: From propositional logic to description logics.L. Giordano, V. Gliozzi, N. Olivetti & G. L. Pozzato - 2015 - Artificial Intelligence 226 (C):1-33.
Hierarchical conceptual spaces for concept combination.Martha Lewis & Jonathan Lawry - 2016 - Artificial Intelligence 237 (C):204-227.
