A Multi-Context Monotonic Axiomatization of Inessential Non-Monotonicity (1988)
| Venue: | DIST, University of Genova, Italy |
| Citations: | 21 - 10 self |
BibTeX
@TECHREPORT{Giunchiglia88amulti-context,
author = {F. Giunchiglia and R. W. Weyhrauch and Fausto Giunchiglia Richard and Richard W. Weyhrauch},
title = {A Multi-Context Monotonic Axiomatization of Inessential Non-Monotonicity},
institution = {DIST, University of Genova, Italy},
year = {1988}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The main premise of this paper is that certain kinds of non-monotonic reasoning can be solved within first order logic in a simple monotonic way by formulating problems in a suitable environment. Any problem is formalized as a set of contexts, where a context is a (first order) formalization of a piece of the problem. Reasoning comes out as a result of deduction in different contexts. The claim is that proofs built in this way are clearer and better resemble the kind of explanation that humans give when describing some phenomenon. This thesis is articulated discussing the example about non-monotonic reasoning reported in [MD80].
