Logical foundations of nonmonotonic reasoning |
| |
Authors: | Nadim Obeid Raymond Turner |
| |
Affiliation: | (1) Department of Computer Science, University of Essex, Wivenhoe Park, CO4 3SQ Colchester, UK |
| |
Abstract: | In this paper we shall review the main appraches to nonmonotonic reasoning which we classify from the perspective of their underlying logical settings as classical, intuitionistic, three-valued/partial models, and conditional. We shall be placing special emphasis on some of the prominent approaches. We shall also give hints on potential future directions and emphasize that more theoretical work is still needed before a move to application is made. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|