PTL: A Propositional Typicality Logic

DOI10.1007/978-3-642-33353-8_9zbMath1286.68411OpenAlexW1836691125MaRDI QIDQ2915063

Ivan Varzinczak, Richard F. Booth, Thomas Andreas Meyer

Publication date: 21 September 2012

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

Full work available at URL: https://doi.org/10.1007/978-3-642-33353-8_9

zbMATH Keywords

belief revisionrationalitynonmonotonic reasoningtypicality

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (7)

A note on a description logic of concept and role typicality for defeasible reasoning over ontologies ⋮ Defeasible linear temporal logic ⋮ Preferential accessibility and preferred worlds ⋮ From KLM-style conditionals to defeasible modalities, and back ⋮ Contextual rational closure for defeasible \(\mathcal{ALC} \) ⋮ On rational entailment for propositional typicality logic ⋮ Introducing Role Defeasibility in Description Logics

Cites Work

• Semantics for dual preferential entailment
• A first-order conditional logic for prototypical properties
• Nonmonotonic reasoning, preferential models and cumulative logics
• Propositional knowledge base revision and minimal change
• What does a conditional knowledge base entail?
• Nonmonotonic inference based on expectations
• Conditional logics of normality: A modal approach
• Preferential Reasoning for Modal Logics
• A Minimal Model Semantics for Nonmonotonic Reasoning
• ALC + T: a Preferential Extension of Description Logics
• On the logic of theory change: Partial meet contraction and revision functions

This page was built for publication: PTL: A Propositional Typicality Logic