Boolean semantics for natural language
Boolean semantics for natural language
复制标题
自然语言的布尔语义
DOI：
10.1007/978-94-009-6404-4
复制
发表时间：
1984
影响因子：
1.1
通讯作者：
L. M. Faltz
中科院分区：
文献类型：
--
作者：
E. Keenan;L. M. Faltz
布尔语义学：概述。-1。语义的草图。-1.1。表征英语的含义和索引。-1.2。表征自然语言的可能语义系统。-2。关于英语形式与逻辑形式之间的关系。核心语言l.-定义猫 - 定义v和pev.-定义L.-对定义的注释。-2。公式 - n，$$ \ bar n $$和$$ \ bar n $$ prop.-消除宇宙的类型 - 表征tn.-布尔代数的完整性。没有宇宙。-定义适当的名词表示没有U.- l的本体和一些基本类型：摘要。-讨论。原子？.-定义tdet。-定义pn's的类型。-定义$$ {t _ {{{p_n}}} $$，所有n.-定义谓词层次结构的定义类型。定义了对广义关系关系的优势的解释。-关于比较本体论的结论性评论。-证明theorems.-注释 - i：扩展逻辑。 .-本节的定理证明。-3。谓词。-关于病例标记的初步评论。 n位常见名词的修饰符 - 标称和谓词之间的某些关系。-nn.-及传递性动词短语（P3S）的子类别。-介词和谓词修饰符层次结构。介词作为言语伸肌。-4。影响操作的价值。-被动。-广义被动操作员。-句子级别视图。-谓词级别视图。-概括。-代理短语。-将被动扩展到名义和其他谓词层次结构。-象征性形容词。分类确定器类别。-数值确定器。-非逻辑确定词。-表征“逻辑”确定词。-模糊cesteriners.-确定器与其他类别相比。-概括确定词。-扩展所有格确定词。-6。变量和可变绑定操作员。-lambda operator.-反射操作员。-相对子句操作员。-7。 ？.-数值谓词。-集体谓词。-相互谓词。-强度谓词。- II：强度逻辑。-1。强化系统简介 - 定理的证明。 aps的逻辑 - 定理的证明。-4。强度系统中的谓词修饰符和介词。 6。强度系统中的句子谓词。-句子的语法。在解释功能M.- $$ \ bar s $$的子类别 - 取predicates.-参数类别除$ \ bar n $$和$$ \ bar s $。-外推。
Boolean Semantics: An Overview.- 1. Sketch of the Semantics.- 1.1. Characterizing English Denotations and Entailments.- 1.2. Characterizing Possible Semantic Systems for Natural Language.- 2. On the Relation between English Form and Logical Form.- 3. An Ontological Innovation.- I: The Extensional Logic.- A. The Core Language, L.- 1. Syntax of the Core Language L.- Defining CAT.- Defining V and PEV.- Defining L.- Remarks on the Definitions.- 2. The Semantics for L.- Defining the Types for L.- The Type for P0 or Formulas.- The Types for N, $$\bar N$$, and $$\bar N$$prop.- Eliminating the Universe.- Characterizing TN.- Completeness of boolean algebras.- Atomicity of boolean algebras.- Defining TN Without a Universe.- Defining Proper Noun Denotations without U.- The Ontology and Some Basic Types for L: Summary.- Discussion.- Why should TN Be Complete and Atomic?.- Defining TDet.- Defining the Types for the Pn's.- Defining $${T_{{P_n}}}$$, all n.- Defining Types for Predicative Hierarchies in General.- Summary Definition of the Types.- Defining Interpretations for L.- Advantages of the Generalized Entailment Relation.- A Concluding Remark on Comparative Ontologies.- Proofs of the Theorems.- Notes.- I: The Extensional Logic.- B. Extending the Core Language.- 1. Modifiers.- Adjective Phrases.- Comparative Adjectives.- Predicate Adjectives.- Proofs of Theorems from This Section.- 2. Predicate Modifiers.- Proofs of Theorems from This Section.- 3. Predicatives.- Preliminary Remarks on Case Marking.- Transitive Common Noun Phrases.- Modifiers of n-place Common Nouns.- Some Relations Between Nominals and Predicates.- Subcategories of Nn.- Transitive Adjective Phrases.- Ditransitive Verb Phrases (P3s).- Prepositions and Predicate Modifier Hierarchies.- Prepositions as Formers of Predicate Modifiers.- Prepositions as Verbal Extensors.- 4. Valency Affecting Operations.- Passives.- A Generalized Passive Operator.- Sentence level views.- Predicate level views.- Generalizing Passive.- Agent Phrases.- Extending Passive to Nominals and Other Predicative Hierarchies.- Nominals.- Passive Adjectives?.- Passive Prepositions??.- 5. Extending and Subcategorizing the Class of Determiners.- Numerical Determiners.- Non-Logical Determiners.- Characterizing 'Logical' Determiners.- Vague Determiners.- Determiners Compared to Other Categories.- Generalizing Determiners.- Extending Possessive Determiners.- 6. Variables and Variable Binding Operators.- The Lambda Operator.- The Reflexive Operator.- The Relative Clause Operator.- 7. Non-homomorphic Predicates?.- Numerical Predicates.- Collective Predicates.- Reciprocal Predicates.- Intensional Predicates.- II: The Intensional Logic.- 1. Introduction to the Intensional System.- Proofs of the Theorems.- 2. The Intensional System for the Core Language.- Proofs of the Theorems.- Notes for II.2.- 3. The Intensional Logic for APs.- Proofs of the Theorems.- 4. Predicate Modifiers and Prepositions in the Intensional System.- 5. Variables and Variable Binding Operators in the Intensional System.- 6. Sentential Predicates in the Intensional System.- Syntax of Sentence Taking Predicates.- A Semantics for $$\bar S$$ and $$\bar S$$-Taking Predicates.- Formal Definitions of the New Types.- Lexical Constraints on the Interpreting Function m.- Subcategories of $$\bar S$$-Taking Predicates.- Argument Categories in Addition to $$\bar N$$ and $$\bar S$$.- Extraposition.