Sentential Semantics for Propositional Attitudes

The sentential theory of propositional attitudes is very attractive to AI workers, but it is difficult to use such a theory to assign semantics to English sentences about attitudes. The problem is that a compositional semantics cannot easily build the logical forms that the theory requires. We present a new notation for a sentential theory, and a unification grammar that builds logical forms in our notation. The grammar is implemented using the standard implementation of definite clause grammars in Prolog.

[1]  A. J. Fisher,et al.  Practical Parsing of Generalized Phrase Structure Grammars , 1989, Comput. Linguistics.

[2]  David Scott Warren.  Using X-Calculus to Represent Meanings in Logic Grammars , 1983, ACL.

[3]  C. Pollard,et al.  Center for the Study of Language and Information , 2022 .

[4]  Jerry R. Hobbs,et al.  An Algorithm for Generating Quantifier Scopings , 1987, CL.

[5]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .

[6]  A. Cartwright.  How Many Children? , 1977 .

[7]  David H. D. Warren,et al.  Definite Clause Grammars for Language Analysis - A Survey of the Formalism and a Comparison with Augmented Transition Networks , 1980, Artif. Intell..

[8]  Donald Perlis,et al.  On the consistency of commonsense reasoning , 1986, Comput. Intell..

[9]  Robin Cooper,et al.  Quantification and Syntactic Theory , 1983 .

[10]  Christoph Walther,et al.  A Many-Sorted Calculus Based on Resolution and Paramodulation , 1982, IJCAI.

[11]  Steven E. Boër,et al.  Knowing Who , 1985 .

[12]  Richmond H. Thomason,et al.  Paradoxes and Semantic Representation , 1986, TARK.

[13]  Perry Smith.  Review: Richard Montague, Syntactical Treatments of Modality, with Corollaries on Reflexion Principles and Finite Axiomatizability , 1975 .

[14]  Graeme Hirst,et al.  The detection and representation of ambiguities of intension and description , 1986, ACL.

[15]  David Kaplan.  Quantifying in , 2004, Synthese.

[16]  Robin Cooper.  Variable Binding and Relative Clauses , 1978 .

[17]  William J. Rapaport,et al.  Logical Foundations for Belief Representation , 1986, Cogn. Sci..

[18]  K. Konolige.  A deduction model of belief , 1986 .

[19]  Robert C. Moore.  Unification-Based Semantic Interpretation , 1989, ACL.

[20]  Joseph R. Shoenfield,et al.  Mathematical logic , 1967 .

[21]  Patrick Saint-Dizier,et al.  Review of Prolog and natural-language analysis: CSLI lecture notes 10 by Fernando C. N. Pereira and Stuart M. Shieber. Center for the Study of Language and Information 1987. , 1988 .

[22]  Donald Perlis,et al.  Languages with Self-Reference II: Knowledge, Belief, and Modality , 1988, Artif. Intell..

[23]  Alfred Tarski,et al.  Der Wahrheitsbegriff in den formalisierten Sprachen , 1935 .

[24]  Douglas B. Moran,et al.  Quantifier Scoping in the SRI Core Language Engine , 1988, ACL.

[25]  Hector J. Levesque,et al.  The consistency of syntactical treatments of knowledge 1 (How to compile quantificational modal logics into classical FOL) , 1988, Comput. Intell..

[26]  Donald Perlis,et al.  Languages With Self-Reference I: Foundations , 1985, Artif. Intell..

[27]  Gary G. Hendrix,et al.  Computational Models of Belief and the Semantics of Belief Sentences , 1982 .

[28]  Richard Montague,et al.  The Proper Treatment of Quantification in Ordinary English , 1973 .

[29]  Andrew R. Haas,et al.  A Syntactic Theory of Belief and Action , 1986, Artif. Intell..

[30]  P. Glasser.  This Statement Is False , 1981 .

[31]  Stuart M. Shieber,et al.  Prolog and Natural-Language Analysis , 1987 .

[32]  W. V. Quine.  Quantifiers and Propositional Attitudes , 1956 .

[33]  Saul A. Kripke,et al.  Outline of a Theory of Truth , 1975 .

[34]  J. Barwise,et al.  Generalized quantifiers and natural language , 1981 .

[35]  Robert C. Moore.  Propositional Attitudes and Russellian Propositions , 1989 .

[36]  David Kaplan,et al.  A paradox regained , 1960, Notre Dame J. Formal Log..

[37]  Geoffrey K. Pullum,et al.  Generalized Phrase Structure Grammar , 1985 .

[38]  Nicholas Asher,et al.  The Knower's Paradox and Representational Theories of Attitudes , 1986, TARK.