Switch to: References

Citations of:

A Formalism for Nonmonotonic Reasoning Encoded Generics

Yi Mao

Dissertation, The University of Texas at Austin (2003)

Add citations

You must login to add citations.

A base logic for default reasoning.Beihai Zhou & Yi Mao - 2006 - Frontiers of Philosophy in China 1 (4):688-709.details 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 (...) Download Export citation Bookmark
Gödel’s Master Argument: what is it, and what can it do?David Makinson - 2015 - IfCoLog Journal of Logics and Their Applications 2 (2):1-16.details This text is expository. We explain Gödel’s ‘Master Argument’ for incompleteness as distinguished from the 'official' proof of his 1931 paper, highlight its attractions and limitations, and explain how some of the limitations may be transcended by putting it in a more abstract form that makes no reference to truth. Download Export citation Bookmark
Four semantic layers of common nouns.Beihai Zhou & Yi Mao - 2010 - Synthese 175 (1):47 - 68.details This article proposes a four-layer semantic structure for common nouns. Each layer matches up with a semantic entity of a certain type in Montague’s intensional semantics. It is argued that a common noun denotes a sense and a concept, which are functions. For any given context, the sense of a term determines its extensions and the concept denoted by the term specifies its intensions. Intensions are treated as sets of senses. The membership relation between a sense and an intension is (...) Download Export citation Bookmark

1