ResearchSpace

Supraclassical consequence relations: Tolerating rare counterexamples

Show simple item record

dc.contributor.author Labuschagne, W
dc.contributor.author Heidema, J
dc.contributor.author Britz, K
dc.date.accessioned 2014-02-13T08:43:58Z
dc.date.available 2014-02-13T08:43:58Z
dc.date.issued 2013-12
dc.identifier.citation Labuschagne, W, Heidema, J and Britz, K. 2013. Supraclassical consequence relations: Tolerating rare counterexamples. In: Australasian Joint Conference on Artificial Intelligence, Dunedin, New Zealand, 1 - 6 December 2013 en_US
dc.identifier.uri http://www.cair.za.net/sites/default/files/outputs/suprafinalfull.pdf
dc.identifier.uri http://hdl.handle.net/10204/7188
dc.description Australasian Joint Conference on Artificial Intelligence, Dunedin, New Zealand, 1 - 6 December 2013. Abstract attached. en_US
dc.description.abstract We explore a family of supraclassical consequence relations obtained by varying the criteria according to which counterexamples to classical entailment may be deemed tolerable. This provides a different perspective on the rational consequence relations of nonmonotonic logic, as well as introducing new kinds of entailment with a diversity of potential contextual applications. en_US
dc.language.iso en en_US
dc.publisher Springer en_US
dc.relation.ispartofseries Workflow;10278
dc.subject Nonmonotonic logic en_US
dc.subject Preference order en_US
dc.subject Induction en_US
dc.subject Abduction en_US
dc.subject Supraclassical consequence en_US
dc.subject Rational consequence en_US
dc.subject Dual preferential consequence en_US
dc.subject Correlative preferential consequence en_US
dc.title Supraclassical consequence relations: Tolerating rare counterexamples en_US
dc.type Conference Presentation en_US
dc.identifier.apacitation Labuschagne, W., Heidema, J., & Britz, K. (2013). Supraclassical consequence relations: Tolerating rare counterexamples. Springer. http://hdl.handle.net/10204/7188 en_ZA
dc.identifier.chicagocitation Labuschagne, W, J Heidema, and K Britz. "Supraclassical consequence relations: Tolerating rare counterexamples." (2013): http://hdl.handle.net/10204/7188 en_ZA
dc.identifier.vancouvercitation Labuschagne W, Heidema J, Britz K, Supraclassical consequence relations: Tolerating rare counterexamples; Springer; 2013. http://hdl.handle.net/10204/7188 . en_ZA
dc.identifier.ris TY - Conference Presentation AU - Labuschagne, W AU - Heidema, J AU - Britz, K AB - We explore a family of supraclassical consequence relations obtained by varying the criteria according to which counterexamples to classical entailment may be deemed tolerable. This provides a different perspective on the rational consequence relations of nonmonotonic logic, as well as introducing new kinds of entailment with a diversity of potential contextual applications. DA - 2013-12 DB - ResearchSpace DP - CSIR KW - Nonmonotonic logic KW - Preference order KW - Induction KW - Abduction KW - Supraclassical consequence KW - Rational consequence KW - Dual preferential consequence KW - Correlative preferential consequence LK - https://researchspace.csir.co.za PY - 2013 T1 - Supraclassical consequence relations: Tolerating rare counterexamples TI - Supraclassical consequence relations: Tolerating rare counterexamples UR - http://hdl.handle.net/10204/7188 ER - en_ZA


Files in this item

Thumbnail
Name: Labuschagne_2013_ ...
Size: 24.22Kb
Format: PDF
View/Open

This item appears in the following Collection(s)

Show simple item record