dc.contributor.author |
Booth, R
|
|
dc.contributor.author |
Meyer, T
|
|
dc.contributor.author |
Varzinczak, I
|
|
dc.date.accessioned |
2013-11-19T13:42:35Z |
|
dc.date.available |
2013-11-19T13:42:35Z |
|
dc.date.issued |
2013-08 |
|
dc.identifier.citation |
Booth, R, Meyer, T and Varzinczak, I. 2013. A propositional typicality logic for extending rational consequence. In: Trends in Belief Revision and Argumentation Dynamics. King's College Publications: London, UK, pp 1-31 |
en_US |
dc.identifier.uri |
http://www.cair.za.net/sites/default/files/outputs/MadeiraBookChapter.pdf
|
|
dc.identifier.uri |
http://ksg.meraka.org.za/~tmeyer/book-chapters/2013-tibra.pdf
|
|
dc.identifier.uri |
http://hdl.handle.net/10204/7079
|
|
dc.description |
Copyright: King's College Publications, London, UK. Abstract only attached. |
en_US |
dc.description.abstract |
We introduce Propositional Typicality Logic (PTL), a logic for reasoning about typicality. We do so by enriching classical propositional logic with a typicality operator of which the intuition is to capture the most typical (or normal) situations in which a given formula holds. The semantics is in terms of ranked models as studied in KLM-style preferential reasoning. This allows us to show that KLM-style rational consequence relations can be embedded in our logic. Moreover we show that we can define consequence relations on the language of PTL itself, thereby moving beyond the propositional setting. Building on the existing link between propositional rational consequence and belief revision, we show that the same correspondence holds in the case of rational consequence and belief revision defined on the language of PTL. Finally we also investigate different notions of entailment for PTL and propose two appropriate candidates. |
en_US |
dc.language.iso |
en |
en_US |
dc.publisher |
King's College Publications |
en_US |
dc.relation.ispartofseries |
Workflow;11670 |
|
dc.subject |
Propositional Typicality Logic |
en_US |
dc.subject |
PTL |
en_US |
dc.subject |
Preferential reasoning |
en_US |
dc.subject |
Propositional logic |
en_US |
dc.title |
A propositional typicality logic for extending rational consequence |
en_US |
dc.type |
Book Chapter |
en_US |
dc.identifier.apacitation |
Booth, R., Meyer, T., & Varzinczak, I. (2013). A propositional typicality logic for extending rational consequence., <i>Workflow;11670</i> King's College Publications. http://hdl.handle.net/10204/7079 |
en_ZA |
dc.identifier.chicagocitation |
Booth, R, T Meyer, and I Varzinczak. "A propositional typicality logic for extending rational consequence" In <i>WORKFLOW;11670</i>, n.p.: King's College Publications. 2013. http://hdl.handle.net/10204/7079. |
en_ZA |
dc.identifier.vancouvercitation |
Booth R, Meyer T, Varzinczak I. A propositional typicality logic for extending rational consequence.. Workflow;11670. [place unknown]: King's College Publications; 2013. [cited yyyy month dd]. http://hdl.handle.net/10204/7079. |
en_ZA |
dc.identifier.ris |
TY - Book Chapter
AU - Booth, R
AU - Meyer, T
AU - Varzinczak, I
AB - We introduce Propositional Typicality Logic (PTL), a logic for reasoning about typicality. We do so by enriching classical propositional logic with a typicality operator of which the intuition is to capture the most typical (or normal) situations in which a given formula holds. The semantics is in terms of ranked models as studied in KLM-style preferential reasoning. This allows us to show that KLM-style rational consequence relations can be embedded in our logic. Moreover we show that we can define consequence relations on the language of PTL itself, thereby moving beyond the propositional setting. Building on the existing link between propositional rational consequence and belief revision, we show that the same correspondence holds in the case of rational consequence and belief revision defined on the language of PTL. Finally we also investigate different notions of entailment for PTL and propose two appropriate candidates.
DA - 2013-08
DB - ResearchSpace
DP - CSIR
KW - Propositional Typicality Logic
KW - PTL
KW - Preferential reasoning
KW - Propositional logic
LK - https://researchspace.csir.co.za
PY - 2013
T1 - A propositional typicality logic for extending rational consequence
TI - A propositional typicality logic for extending rational consequence
UR - http://hdl.handle.net/10204/7079
ER -
|
en_ZA |