4 found
Sort by:
  1. Beihai Zhou & Yi Mao (2010). Four Semantic Layers of Common Nouns. Synthese 175 (1):47 - 68.
    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 (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2. Beihai Zhou & Yi Mao (2006). A Base Logic for Default Reasoning. Frontiers of Philosophy in China 1 (4):688-709.
    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 (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  3. Yi Mao (2003). A Formalism for Nonmonotonic Reasoning Encoded Generics. Dissertation, The University of Texas at Austin
    This dissertation is intended to provide a formalism for those generics that trigger nonmonotonic inferences. The formalism is to reflect intentionality and exception-tolerating features of generics, and has an emphasis on the axiomatization of generic reasoning that encodes nonmonotonicity. ;A modal conditional approach is taken to formalize the nonmonotonic reasoning in general at the level of object language. A serial of logic systems---MN, NID, NCUM, N STCUM---are constructed in an increasing strength of the characterized nonmonotonic inference relation. In these systems, (...)
     
    My bibliography  
     
    Export citation  
  4. Nicholas Asher & Yi Mao (2001). Negated Defaults in Commonsense Entailment. Bulletin of the Section of Logic 30 (1):41-60.
    Direct download  
     
    My bibliography  
     
    Export citation