عنوان

Computational semantics with functional programming /

0511778376

0511924976

0511927517

0511931360

0511932707

1107207797

1282930737

661293073X

9780511778377

9780511924972

9780511927515

9780511931369

9780511932700

9781107207790

9781282930735

9786612930737

0521757606

0521760305

9780521757607

9780521760300

b737084

Computational semantics with functional programming /

[Book]

Jan van Eijck and Christina Unger.

Cambridge :

Cambridge University Press,

2010.

1 online resource (405 pages)

Includes bibliographical references (pages 389-395) and index.

Formal study of natural language -- Lambda calculus, types, and functional programming -- Functional programming with Haskell -- Formal syntax for fragments -- Formal semantics for fragments -- Model checking with predicate logic -- The composition of meaning in natural language -- Extension and intension -- Parsing -- Handling relations and scoping -- Continuation passing style semantics -- Discourse representation and context -- Communication as informative action.

0

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.

MIL

293073

Computational semantics with functional programming.

9780521760300

Functional programming (Computer science)

Haskell (Computer program language)

Programming languages (Electronic computers)-- Semantics.

Computerlinguistik

COMPUTERS-- Programming-- General.

Functional programming (Computer science)

Funktionale Programmierung

HASKELL

Haskell (Computer program language)

Programming languages (Electronic computers)-- Semantics.

Semantik

COM-- 051000

Eijck, J. van, (Jan)

Unger, Christina.

20201203213030.0

pn

[Book]

Y