Um unsere Webseiten für Sie optimal zu gestalten und fortlaufend zu verbessern, verwenden wir Cookies. Durch Bestätigen des Buttons »Akzeptieren« stimmen Sie der Verwendung zu. Über den Button »Einstellungen« können Sie auswählen, welche Cookies Sie zulassen wollen.

AkzeptierenEinstellungen
Zum Hauptinhalt springen
Nicht aus der Schweiz? Besuchen Sie lehmanns.de
Computational Semantics with Functional Programming - Jan van Eijck, Christina Unger

Computational Semantics with Functional Programming

Buch | Softcover
422 Seiten
2010
Cambridge University Press (Verlag)
978-0-521-75760-7 (ISBN)
CHF 71,55 inkl. MwSt
Computational semantics is the art and science of computing meaning in natural language. This comprehensive text shows how to compute meaning using the functional programming language Haskell. Looking at denotational meaning, operational meaning, and recent developments in logic, it will be invaluable to students of linguistics, logic, and functional programming.
Computational semantics is the art and science of computing meaning in natural language. The meaning of a sentence is derived from the meanings of the individual words in it, and this process can be made so precise that it can be implemented on a computer. Designed for students of linguistics, computer science, logic and philosophy, this comprehensive text shows how to compute meaning using the functional programming language Haskell. It deals with both denotational meaning (where meaning comes from knowing the conditions of truth in situations), and operational meaning (where meaning is an instruction for performing cognitive action). Including a discussion of recent developments in logic, it will be invaluable to linguistics students wanting to apply logic to their studies, logic students wishing to learn how their subject can be applied to linguistics, and functional programmers interested in natural language processing as a new application area.

Jan van Eijck is a Senior Researcher at the Centre for Mathematics and Computer Science in Amsterdam, and Professor of Computational Linguistics at the Research Institute for Language and Speech, Utrecht University. Christina Unger is based in the Semantic Computing Group in the Cognitive Interaction Technology Center of Excellence at the University of Bielefeld.

1. Formal study of natural language; 2. Lambda calculus, types and functional programming; 3. Functional programming with Haskell; 4. Formal syntax for fragments; 5. Formal semantics for fragments; 6. Model checking with predicate logic; 7. The composition of meaning in natural language; 8. Extension and intension; 9. Parsing; 10. Handling relations and scoping; 11. Continuation passing style semantics; 12. Discourse representation and context; 13. Communication as informative action.

Erscheint lt. Verlag 23.9.2010
Zusatzinfo 2 Line drawings, black and white
Verlagsort Cambridge
Sprache englisch
Maße 170 x 244 mm
Gewicht 820 g
Themenwelt Geisteswissenschaften Sprach- / Literaturwissenschaft Sprachwissenschaft
Mathematik / Informatik Informatik Software Entwicklung
ISBN-10 0-521-75760-6 / 0521757606
ISBN-13 978-0-521-75760-7 / 9780521757607
Zustand Neuware
Informationen gemäß Produktsicherheitsverordnung (GPSR)
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich