A base logic for default reasoning |
| |
Authors: | Beihai Zhou Yi Mao |
| |
Institution: | (1) Department of Philosophy, Peking University, Beijing, 100871, China;(2) Gemalto Inc., 8311 North, TX 78726, USA |
| |
Abstract: | Based on a close study of benchmark examples in default reasoning, such as Nixon Diamond, Penguin Principle, etc., this paper
provides an in depth analysis of the basic features of default reasoning. We formalize default inferences based on Modus Ponens
for Default Implication, and mark the distinction between “local inferences” (to infer a conclusion from a subset of given
premises) and “global inferences” (to infer a conclusion from the entire set of given premises). These conceptual analyses
are captured by a formal semantics that is built upon the set-selection function technique. A minimal logic system M of default
reasoning that accommodates Modus Ponens for Default Implication and suitable for local inferences is proposed, and its soundness
is proved.
__________
Translated from Zhexue Yanjiu 哲学研究 (Philosophical Studies), 2003 (special issue) by Ye Feng |
| |
Keywords: | default reasoning default implication default Modus Ponens local inference global inference set-selection function set-selection frame set-selection model set-selection semantics |
本文献已被 万方数据 SpringerLink 等数据库收录! |
|