Formal Semantics and Pragmatics for Natural Language Querying


Book Description

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




Formal Semantics and Pragmatics for Natural Languages


Book Description

The essays in this collection are the outgrowth of a workshop, held in June 1976, on formal approaches to the semantics and pragmatics of natural languages. They document in an astoundingly uniform way the develop ments in the formal analysis of natural languages since the late sixties. The avowed aim of the' workshop was in fact to assess the progress made in the application of formal methods to semantics, to confront different approaches to essentially the same problems on the one hand, and, on the other, to show the way in relating semantic and pragmatic explanations of linguistic phenomena. Several of these papers can in fact be regarded as attempts to close the 'semiotic circle' by bringing together the syntactic, semantic and pragmatic properties of certain constructions in an explanatory framework thereby making it more than obvious that these three components of an integrated linguistic theory cannot be as neatly separated as one would have liked to believe. In other words, not only can we not elaborate a syntactic description of (a fragment of) a language and then proceed to the semantics (as Montague pointed out already forcefully in 1968), we cannot hope to achieve an adequate integrated syntax and semantics without paying heed to the pragmatic aspects of the constructions involved. The behavior of polarity items, 'quantifiers' like any, conditionals or even logical particles like and and or in non-indicative sentences is clear-cut evidence for the need to let each component of the grammar inform the other.




Semantics of Natural Language


Book Description

"The idea that prompted the conferenee for which many of these papers were written, and that inspired this book, is stated in the Editorial Introduction reprinted below from Volume 21 of Synthese. The present volume contains the artieles in Synthese 21, Numbers 3-4 and Synthese 22, Numbers 1-2. In addition, it ineludes new papers by Saul Kripke, James McCawley, John R. Ross, and Paul Ziff, and reprints 'Grammar and Philosophy' by P. F. Strawson. Strawson's artiele first appeared in the Proceedings of the Aristotelian Society, Volume 70, and is reprinted with the kind permission of the author and the Aristotelian Society. We also repeat our thanks to the Olivetti Companyand Edizione di Comunita of Milan for permission to inelude the paper by Dana Scott; it also appeared in Synthese 21. DONALO DAVIDSON GILBERT HARMAN EDITORIAL INTRODUCTION The success of linguistics in treating naturallanguages as formal syntactic systems has aroused the interest of a number of linguists in a paralleI or related development of semantics. For the most part quite independ ently, many philosophers and logicians have reeently been applying formai semantic methods to structures increasingly like naturallanguages. While differenees in training, method and vocabulary tend to veil the fact, philosophers and linguists are converging, it seerns, on a common set of interrelated probiems. Sinee philosophers and linguists are working on the same, or very similar, probiems, it would obviously be instructive to compare notes." --




Natural Language Processing and Information Systems


Book Description

This book constitutes the refereed proceedings of the 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, held in Paris, France in June 2007. It covers natural language for database query processing, email management, semantic annotation, text clustering, ontology engineering, natural language for information system design, information retrieval systems, and natural language processing techniques.




Exploring Time, Tense, and Aspect in Natural Language Database Interfaces


Book Description

Drawing upon tense and aspect theories, temporal logics, and temporal databases, this cross-discipline book examines relevant issues from the three areas, developing a unified theoretical framework that can be used to build natural language interfaces to temporal databases.







Computer and Information Sciences - ISCIS 2004


Book Description

This book constitutes the refereed proceedings of the 19th International Symposium on Computer and Information Sciences, ISCIS 2004, held in Kemer-Antalya, Turkey in October 2004. The 99 revised full papers presented together with an invited paper were carefully reviewed and selected from 335 submissions. The papers are organized in topical sections on artificial intelligence and machine learning, computer graphics and user interfaces, computer networks and security, computer vision and image processing, database systems, modeling and performance evaluation, natural language processing, parallel and distributed computing, real-time control applications, software engineering and programming, and theory of computing.







Intensional Programming Ii


Book Description

There is a growing interest in programming languages and systems based on nonclassical logics such as temporal logics, interval logics, modal and intuitionistic logics. In fact, a whole new programming paradigm called 'intensional programming' has been created, with applications in a wide range of areas, including parallel programming, dataflow computation, temporal reasoning, scientific computation, real-time programming, temporal and multidimensional databases, spreadsheets, attribute grammars, and Internet programming. This volume presents ongoing research as well as future directions of this new and fascinating area of research.




The Cambridge Handbook of Formal Semantics


Book Description

Formal semantics - the scientific study of meaning in natural language - is one of the most fundamental and long-established areas of linguistics. This Handbook offers a comprehensive, yet compact guide to the field, bringing together research from a wide range of world-leading experts. Chapters include coverage of the historical context and foundation of contemporary formal semantics, a survey of the variety of formal/logical approaches to linguistic meaning and an overview of the major areas of research within current semantic theory, broadly conceived. The Handbook also explores the interfaces between semantics and neighbouring disciplines, including research in cognition and computation. This work will be essential reading for students and researchers working in linguistics, philosophy, psychology and computer science.