ResearchSpace

Defeasible modalities

Show simple item record

dc.contributor.author Britz, K
dc.contributor.author Varzinczak, I
dc.date.accessioned 2013-06-18T11:05:01Z
dc.date.available 2013-06-18T11:05:01Z
dc.date.issued 2013-01
dc.identifier.citation Britz, K and Varzinczak, I. 2013. Defeasible modalities. In: Fourteenth conference on Theoretical Aspects of Rationality and Knowledge (TARK), Chennai, India, 7-9 January 2013 en_US
dc.identifier.uri http://www.cair.za.net/sites/default/files/outputs/TARK-DefModalities.pdf
dc.identifier.uri http://hdl.handle.net/10204/6801
dc.description Fourteenth conference on Theoretical Aspects of Rationality and Knowledge (TARK), Chennai, India, 7-9 January 2013. Published in Centre for Artificial Intelligence Research en_US
dc.description.abstract Nonmonotonic logics are usually characterized by the presence of some notion of `conditional' that fails monotonicity. Research on nonmonotonic logics is therefore largely concerned with the defeasibility of argument forms and the associated normality (or abnormality) of its constituents. In contrast, defeasible modes of inference aim to formalize the defeasible aspects of modal notions such as actions, obligations and knowledge. In this work we enrich the standard possible worlds semantics with a preference ordering on worlds in Kripke models. The resulting family of modal logics allow for the elegant expression of defeasible modalities. We also propose a tableau calculus which is sound and complete with respect to our preferential semantics. en_US
dc.language.iso en en_US
dc.publisher Centre for Artificial Intelligence Research en_US
dc.relation.ispartofseries Workflow;11037
dc.subject Knowledge representation and reasoning en_US
dc.subject Modal logic en_US
dc.subject Preferential semantics en_US
dc.subject Defeasible modes of inference en_US
dc.title Defeasible modalities en_US
dc.type Conference Presentation en_US
dc.identifier.apacitation Britz, K., & Varzinczak, I. (2013). Defeasible modalities. Centre for Artificial Intelligence Research. http://hdl.handle.net/10204/6801 en_ZA
dc.identifier.chicagocitation Britz, K, and I Varzinczak. "Defeasible modalities." (2013): http://hdl.handle.net/10204/6801 en_ZA
dc.identifier.vancouvercitation Britz K, Varzinczak I, Defeasible modalities; Centre for Artificial Intelligence Research; 2013. http://hdl.handle.net/10204/6801 . en_ZA
dc.identifier.ris TY - Conference Presentation AU - Britz, K AU - Varzinczak, I AB - Nonmonotonic logics are usually characterized by the presence of some notion of `conditional' that fails monotonicity. Research on nonmonotonic logics is therefore largely concerned with the defeasibility of argument forms and the associated normality (or abnormality) of its constituents. In contrast, defeasible modes of inference aim to formalize the defeasible aspects of modal notions such as actions, obligations and knowledge. In this work we enrich the standard possible worlds semantics with a preference ordering on worlds in Kripke models. The resulting family of modal logics allow for the elegant expression of defeasible modalities. We also propose a tableau calculus which is sound and complete with respect to our preferential semantics. DA - 2013-01 DB - ResearchSpace DP - CSIR KW - Knowledge representation and reasoning KW - Modal logic KW - Preferential semantics KW - Defeasible modes of inference LK - https://researchspace.csir.co.za PY - 2013 T1 - Defeasible modalities TI - Defeasible modalities UR - http://hdl.handle.net/10204/6801 ER - en_ZA


Files in this item

Thumbnail
Name: Britz_2013.pdf
Size: 357.5Kb
Format: PDF
View/Open

This item appears in the following Collection(s)

Show simple item record