A situation-theoretic account of nonmonotonic reasoning
Anthony S. Gillies · Journal of Experimental & Theoretical Artificial Intelligence · 1998
Situation theory in the sense of Barwise and Perry (1983) and nonmonotonic reasoning have been relatively disparate research programs in AI, the former focusing on computational approaches to natural language processing while the latter has been extensively used as a basic architecture for rational agents. The aim of the present paper is to suggest one way that these two approaches might fit together. Specifically, a situation semantics is given for a system of defeasible reasoning.