Produkt
KlappentextThere is in my opinion no important theoretical difference between natural languages and the artificial languages of logicians.(Richard Montague,UG) Wie wäre es, wenn wir nicht unsere Maschinen verstehen müssten, sondern wir einen Weg fänden damit sie uns in unserer Sprache verstehen? Montagues Arbeiten zur formalen Semantik von Sprachen legen ein solides, theoretisches Fundament für die Synthese künstliche Programmiersprachen mit den Grundprinzipien unserer menschlichen, natürlichen Sprache. Das Werkzeug für die Zusammenführung von künstlichen und natürlichen Sprachen ist das Lambda-Kalkül, dessen mächtige Ausdruckskraft äquivalent zur Turing-Berechenbarkeit von Church ist.Neben einer allgemeinen Einführung in die Welt der künstlichen und natürlichen Sprachen auf der Basis des Lambda-Kalküls, geht es in dieser Untersuchung um eine spezielle Eigenheit bei der Verwendung von Indefinitpronomen, deren Struktur bei der Verwendung von Programmiersprachen mit gewöhnlichen Lambda-Reduktionsregeln eigentlich auf eine falsche Auswertung führen müssten. Die Semantik der natürlichen Sprache setzt sich hier jedoch über die Semantik der künstlichen Sprache hinweg und repariert sie.
Details
Weitere ISBN/GTIN9783836471558
ProduktartE-Book
EinbandartE-Book
FormatPDF
Format HinweisKopierschutz: DRM, Lesegeräte: PC/MAC/eReader/Tablet
Erscheinungsjahr2008
Erscheinungsdatum01.07.2008
Seiten76 Seiten
SpracheDeutsch
Dateigrösse2618
Artikel-Nr.4966883
Rubriken
Genre9200