TY - BOOK AU - Rosner,Michael AU - Johnson,Roderick TI - Computional linguistics and formal semantics T2 - Studies in natural language processing SN - 9780511611803 (ebook) AV - P98.5.S45 C66 1992 U1 - 410/.285 20 PY - 1992/// CY - Cambridge PB - Cambridge University Press KW - Computational linguistics KW - Semantics N1 - Title from publisher's bibliographic system (viewed on 05 Oct 2015); Unification / Martin Kay -- Representations and interpretations / Jens Erik Fenstad, Tore Langholm, Espen Vestre -- Syntactic categories and semantic type / Barbara H. Partee -- Fine-structure in categorial semantics / Johan van Benthem -- Properties, propositions and semantic theory / Raymond Turner -- Algorithms for semantic interpretation / Per-Kristian Halvorsen -- Situation schemata and linguistic representation / C.J. Rupp, Roderick Johnson, Michael Rosner -- Application-oriented computational semantics / Sergei Nirenburg and Christine Defrise -- Form and content in semantics / Yorick Wilks -- Epilogue, on the relation between computational linguistics and formal semantics / Margaret King N2 - This 1992 collection takes the exciting step of examining natural language phenomena from the perspective of both computational linguistics and formal semantics. Computational linguistics has until now been primarily concerned with the construction of computational models for handling the complexities of linguistic form, but has not tackled the questions of representing or computing meaning. Formal semantics, on the other hand, has attempted to account for the relations between forms and meanings, without necessarily attending to computational concerns. The book introduces the reader to the two disciplines and considers the prospects for the more unified and comprehensive computational theory of language which might obtain from their amalgamation. Of great interest to those working in the fields of computation, logic, semantics, artificial intelligence and linguistics generally UR - https://doi.org/10.1017/CBO9780511611803 ER -