Situation theory is the result of an interdisciplinary effort to create a full-fledged theory of information. Created by scholars and scientists from cognitive science, computer science, AI, linguistics, logic, philosophy, and mathematics, the theory is forging a common set of tools for the analysis of phenomena from all these fields. This volume presents work that evolved out of the Second Conference on Situation Theory and its Applications. Twenty-six essays exhibit the wide range of the theory, covering such topics as natural language semantics, philosophical issues about information, mathematical applications, and the visual representation of information in computer systems.Jon Barwise is a professor of philosophy, mathematics, and logic at Indiana University in Bloomington. Jean Mark Gawron is a researcher at SRI International and a consultant at Hewlett-Packard Laboratories. Gordon Plotkin is a professor of theoretical computer science at the University of Edinburgh. Syun Tutiya is in the philosophy department at Chiba University in Japan.

The logical study of language is becoming more interdisciplinary, playing a role in fields such as computer science, artificial intelligence, cognitive science and game theory. This new edition, written by the leading experts in the field, presents an overview of the latest developments at the interface of logic and linguistics as well as a historical perspective. It is divided into three parts covering Frameworks, General Topics and Descriptive Themes. - Completely revised and updated - includes over 25% new material - Discusses the interface between logic and language - Many of the authors are creators or active developers of the theories

First published in 1997, this book focuses on the semantics of definite and indefinite descriptions — taking the presuppositional theory of definiteness and indefiniteness proposed by Heim as a starting point. It seeks to show that there exists a special type of indefinites that have an interpretation commonly associated with definites. It further argues that the felicity conditions associated with indefinite NP’s can vary and develops a more fine-grained theory of novelty within the framework of File Change Semantics. More generally, this work can be seen as providing an empirical argument in favour of a dynamic theory of meaning and against the more traditional truth-conditional theory.

A new perspective on phonetic variation is achieved in this volume through the construction of a series of models of spoken American English. In the past, computer theorists and programmers investigating pronunciation have often relied on their own knowledge of the language or on limited transcription data. Speech recognition researchers, on the other hand, have drawn on a great deal of data but without examining in detail the information about pronunciation the data contains. The authors combine the best of each approach to develop probabilistic and rule-based computational models of transcription data. An ongoing controversy in studies of phonetic variation is the existence and proper definition of a phonetic unit. The authors argue that assumptions about the units of spoken language are critical to a computational model. Their computational models employ suprasegmental elements such as syllable boundaries, stress, and position in a unit called a metrical foot. The use of such elements in modeling data enables the creation of better computational models for both recognition and synthesis technology. This book should be of interest to speech engineers, linguists, and anyone who wishes to understand symbolic systems of communication.

The editors of the Applied Logic Series are happy to present to the reader the fifth volume in the series, a collection of papers on Logic, Language and Computation. One very striking feature of the application of logic to language and to computation is that it requires the combination, the integration and the use of many diverse systems and methodologies - all in the same single application. The papers in this volume will give the reader a glimpse into the problems of this active frontier of logic. The Editors CONTENTS Preface IX 1. S. AKAMA Recent Issues in Logic, Language and Computation 1 2. M. J. CRESSWELL Restricted Quantification 27 3. B. H. SLATER The Epsilon Calculus' Problematic 39 4. K. VON HEUSINGER Definite Descriptions and Choice Functions 61 5. N. ASHER Spatio-Temporal Structure in Text 93 6. Y. NAKAYAMA DRT and Many-Valued Logics 131 7. S. AKAMA On Constructive Modality 143 8. H. W ANSING Displaying as Temporalizing: Sequent Systems for Subintuitionistic Logics 159 9. L. FARINAS DEL CERRO AND V. LUGARDON 179 Quantification and Dependence Logics 10. R. SYLVAN Relevant Conditionals, and Relevant Application Thereof 191 Index 245 Preface This is a collection of papers by distinguished researchers on Logic, Lin guistics, Philosophy and Computer Science. The aim of this book is to address a broad picture of the recent research on related areas. In particular, the contributions focus on natural language semantics and non-classical logics from different viewpoints.

Semantics and semiology are two of the most important branches of linguistics and have proven to be fecund areas for research. They examine language structures and how they are dictated by both the meanings and forms of communication employed — semantics by focusing on the denotation of words and fixed word combinations, and semiology by studying sign and sign processes. As numerous interrelated fields connect to and sub-disciplines branch off from these major spheres, they are essential to a thorough grounding in linguistics and crucial for further study. ‘Routledge Library Editions: Semantics and Semiology’ collects together wide-ranging works of scholarship that together provide a comprehensive overview of the preceding theoretical landscape, and expand and extend it in numerous directions. A number of interrelated disciplines are also discussed in conjunction with semantics and semiology such as anaphora, pragmatics, syntax, discourse analysis and the philosophy of language. This set reissues 14 books originally published between 1960 to 2000 and will be of interest to students of linguistics and the philosophy of language.

Robot technology will find wide-scale use only when a robotic device can be given commands and taught new tasks in a natural language. How could a robot understand instructions expressed in English? How could a robot learn from instructions? Crangle and Suppes begin to answer these questions through a theoretical approach to language and learning for robots, and by experimental work with robots. The authors develop the notion of an instructable robot - one which derives its intelligence in part from interaction with humans. Since verbal interaction with a robot requires a natural language semantics, the authors propose a natural-model semantics which they then apply to the interpretation of robot commands. Two experimental projects are described which provide natural-language interfaces to robotic aids for the physically disabled.

This volume provides a selection of the papers which were presented at the ninth conference on Computational Linguistics in the Netherlands (Leuven, 1998). It gives an accurate and up-to-date picture of the lively scene of computational linguistics in the Netherlands and Flanders. In terms of topics the contributions can be grouped under three headings: the use of statistical methods in speech and language processing (6 papers), the analysis of syntactic and semantic phenomena in the framework of computationally oriented formalisms, such as Head-driven Phrase Structure Grammar (5 papers), and the development of NLP applications, such as document processing, dialogue modelling and teaching (3 papers). The volume covers the whole range from theoretical to applied research and development, and is hence of interest to both academia and industry. The target audience consists of advanced students and scholars of computational linguistics, and speech and language processing (Linguistics, Computer Science, Electrical Engineering).