摘要: 1. Unification 2. Representations and interpretations 3. Syntactic categories semantic type 4. Fine-structure in categorical semantics 5. Properties, propositions theory 6. Algorithms for interpretation 7. Situation schemata linguistic representation 8. Application-oriented computational 9. Form content Epilogue: on the relation between linguistics formal Bibliography.
sci-hub.st 参考文章(6)
Lenhart K. Schubert, Francis Jeffry Pelletier, From English to logic: context-free computation of conventional logical translation Computational Linguistics. ,vol. 8, pp. 26- 44 ,(1982) , 10.7939/R3VQ2SR1G
Graeme Hirst, Semantic Interpretation and the Resolution of Ambiguity ,(1987)
Jean Mark Gawron, Jonathan King, John Lamping, Egon Loebner, E Anne Paulson, Geoffrey K Pullum, Ivan A Sag, Thomas Wasow, None, PROCESSING ENGLISH WITH A GENERALIZED PHRASE STRUCTURE GRAMMAR meeting of the association for computational linguistics. pp. 74- 81 ,(1982) , 10.3115/981251.981269
Jerry R. Hobbs, Stanley J. Rosenschein, Making Computational Sense of Montague's Intensional Logic ,(2011)
Ivan A. Sag, Carl Jesse Pollard, Information-based syntax and semantics ,(1987)
David Stuart Touretzky, The mathematics of inheritance systems ,(1984)