FORMAL SEMANTICS AND PRAGMATICS FOR NATURAL LANGUAGE QUERYING by James Clifford, C. J. Van Rijsbergen, S. Abramsky ( 9780521602747 )

Item Details

Title:

FORMAL SEMANTICS AND PRAGMATICS FOR NATURAL LANGUAGE QUERYING

By:

James Clifford, C. J. Van Rijsbergen, S. Abramsky

Format:

Paperback

List price:

£42.99

Our price:

£37.62

Discount:

12.5% off

You save:

£5.37

ISBN 10:

0521602742

ISBN 13:

9780521602747

Availability:

Usually dispatched within 1-3 weeks.

Delivery rates

Stock:

Currently 0 available

Publisher:

CAMBRIDGE UNIVERSITY PRESS

Pub. date:

2 February, 2004

Series:

Cambridge Tracts in Theoretical Computer Science No. 8

Pages:

212

Description:

Connects the semantics of databases to that of natural language, and links them through a common view of the semantics of time.

Synopsis:

This book discusses the connection between two areas of semantics, namely the semantics of databases and the semantics of natural language, and links them via a common view of the semantics of time. It is argued that a coherent theory of the semantics of time is an essential ingredient for the success of efforts to incorporate more 'real world' semantics into database models. This idea is a relatively recent concern of database research but it is receiving growing interest. The book begins with a discussion of database querying which motivates the use of the paradigm of Montague Semantics and discusses the details of the intensional logic ILs. This is followed by a description of the author's own model, the Historical Relational Data Model (HRDM) which extends the RDM to include a temporal dimension. Finally the database querying language QEHIII is defined and examples illustrate its use. A formal model for the interpretation of questions is presented in this work which will form the basis for much further research.

Publication:

Imprint:

Cambridge University Press

Returns:

Returnable

Some other items by this author:

ACTION SEMANTICS (PB)

ADVANCES IN INFORMATION RETRIEVAL (PB)

ALGORITHMIC INFORMATION THEORY (PB)

APPLICATIONS OF PROCESS ALGEBRA (PB)

BASIC PROOF THEORY (PB)

BASIC SIMPLE TYPE THEORY (HB)