On rational entailment for propositional typicality logic

DOI10.1016/j.artint.2019.103178zbMath1478.68346arXiv1809.10946OpenAlexW2975321591WikidataQ127191214 ScholiaQ127191214MaRDI QIDQ2289021

Giovanni Casini, Richard F. Booth, Ivan Varzinczak, Thomas Andreas Meyer

Publication date: 20 January 2020

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1809.10946

zbMATH Keywords

rationalitynonmonotonic reasoningknowledge representation and reasoningtypicalitypreferential semantics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (3)

On the KLM properties of a fuzzy DL with typicality ⋮ Situated conditional reasoning ⋮ Preferential accessibility and preferred worlds

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A non-monotonic description logic for reasoning about typicality
• Semantic characterization of rational closure: from propositional logic to description logics
• A first-order conditional logic for prototypical properties
• Circumscription - a form of non-monotonic reasoning
• Nonmonotonic reasoning, preferential models and cumulative logics
• What does a conditional knowledge base entail?
• Conditional logics of normality: A modal approach
• A note on the rational closure of knowledge bases with both positive and negative knowledge
• A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
• Preferential accessibility and preferred worlds
• Another perspective on default reasoning
• A KLM perspective on defeasible reasoning for description logics
• A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure
• Preferential Reasoning for Modal Logics
• Introducing Role Defeasibility in Description Logics
• Defeasible Inheritance-Based Description Logics
• PTL: A Propositional Typicality Logic
• A Minimal Model Semantics for Nonmonotonic Reasoning
• Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
• ALC + T: a Preferential Extension of Description Logics
• Preferential Description Logics
• Reasoning about Typicality in Preferential Description Logics
• Rational Closure for Defeasible Description Logics
• A Nonmonotonic Extension of KLM Preferential Logic P
• From KLM-style conditionals to defeasible modalities, and back

This page was built for publication: On rational entailment for propositional typicality logic