Save

A base logic for default reasoning

In: Frontiers of Philosophy in China
Authors:
Zhou Beihai
Search for other papers by Zhou Beihai in
Current site
Google Scholar
PubMed
Close
and
Mao Yi
Search for other papers by Mao Yi in
Current site
Google Scholar
PubMed
Close
Download Citation Get Permissions

Access options

Get access to the full article by using one of the access options below.

Institutional Login

Log in with Open Athens, Shibboleth, or your institutional credentials

Login via Institution

Purchase

Buy instant access (PDF download and unlimited online access):

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.

Content Metrics

All Time Past Year Past 30 Days
Abstract Views 135 44 8
Full Text Views 30 1 0
PDF Views & Downloads 19 2 0