+612 9045 4394
 
CHECKOUT
Cambridge Tracts in Theoretical Computer Science : Formal Semantics and Pragmatics for Natural Language Querying Series Number 8 - James Clifford

Cambridge Tracts in Theoretical Computer Science

Formal Semantics and Pragmatics for Natural Language Querying Series Number 8

By: James Clifford, C. J. Van Rijsbergen (Editor), S. Abramsky (Editor), P. H. Aczel (Editor), J. W. de Bakker (Editor)

Paperback

Published: 29th June 2004
RRP $65.95
$59.40
10%
OFF
if ordered within
This title is not in stock at the Booktopia Warehouse and needs to be ordered from our supplier.
Click here to read more about delivery expectations.

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.

"Clifford's excellent book is a beautiful example of a foundationally sound and intrinsically interesting computational application of Montague semantics, presented in all requisite detail and with much enlightened discussion of the results obtained, their advantages, disadvantages, and essential limitations." Computational Linguistics

Introduction
Montague semantics
The HRDM model
Intensional logic and historical databases
Overview of English query language QE-III
Formal definition of QE-III
Examples from the QE-III fragment
Summary and conclusions
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9780521602747
ISBN-10: 0521602742
Series: Cambridge Tracts in Theoretical Computer Science
Audience: Professional
Format: Paperback
Language: English
Number Of Pages: 212
Published: 29th June 2004
Publisher: Cambridge University Press
Country of Publication: GB
Dimensions (cm): 24.6 x 18.9  x 1.1
Weight (kg): 0.39