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.
Reference:
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
Labuschagne, W., Heidema, J., & Britz, K. (2013). Supraclassical consequence relations: Tolerating rare counterexamples. Springer. http://hdl.handle.net/10204/7188
Labuschagne, W, J Heidema, and K Britz. "Supraclassical consequence relations: Tolerating rare counterexamples." (2013): http://hdl.handle.net/10204/7188
Author:Le Maitre, David CDate:2004The adverse impacts of invading alien organisms are widely recognized as one of the major threats to biodiversity and are receiving growing recognition as a major socioeconomic threat. The hydrological impacts of alien plants have received ...Read more
Author:Pohl, B; Fauchereau, N; Reason, CJC; Rouault, Marjolaine JDate:Jan 2010The Antarctic Oscillation (AAO) is the leading mode of atmospheric variability in the Southern Hemisphere mid- and high latitudes (south of 20°S). In this paper, the authors examine its statistical relationships with the major tropical climate ...Read more
Author:Booth, R; Meyer, T; Varzinczak, IDate:Aug 2013We 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) ...Read more
