Computational semantics with functional programming / Jan van Eijck and Christina Unger.

Format:

Book

Author/Creator:

Eijck, J. van (Jan), author.

Unger, Christina, author.

Language:

English

Subjects (All):

Programming languages (Electronic computers)--Semantics.

Programming languages (Electronic computers).

Functional programming (Computer science).

Haskell (Computer program language).

Physical Description:

1 online resource (xv, 405 pages) : digital, PDF file(s).

Place of Publication:

Cambridge : Cambridge University Press, 2010.

Language Note:

English

Summary:

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.

Contents:

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.

Notes:

Title from publisher's bibliographic system (viewed on 05 Oct 2015).

ISBN:

1-107-20779-7

1-282-93073-7

9786612930737

0-511-77837-6

0-511-93136-0

0-511-93002-X

0-511-93270-7

0-511-92751-7

0-511-92497-6

OCLC:

693761226