The rapid innovations in digital technology deeply influence views on language and information processing. These exciting developments raise many questions for researchers, and shed new light on old approaches. Researchers are drawn to closely investigate the relation between form and content, the ways that linguistic utterances change information content, and the dynamics of information change. Logic, as an established method of valid argumentation, is a tool that researchers can use to gain insight in these questions of language and computation.
In answer to these linguistic and computational questions, this book presents a broad range of logical investigations into language and information processing. The topics surveyed include the notion of 'reasonable belief' in commonsense reasoning, perceptual reports in natural languages, and the logic of creation and modification of objects. The book also presents work on the verification of temporal aspects of reactive systems, analysis of scope by combining model theory and situation semantics and semantic analysis of the information articulation of linguistic statements. This volume exemplifies the abundant development of logical methods and tools in an interdisciplinary context.
Cleo Condoravi is a researcher at the Xerox Palo Alto Research Center and a consulting assistant professor at Stanford. Gerard Renardel de Lavalette is in the department of computer science at Groningen University.
Read an excerpt from this book.
- Contributors
- Preface
- 1 Non-novel Indefinites in Adverbial Quantification
Manfred Krifka
- 2 Dependent Indefinites and Direct Scope
Donka F. Farkas
- 3 Universal Concessive Conditionals and Alternative NPs in English
Jean Mark Gawron
- 4 Information Articulation and Truth Conditions of Existential Sentences
Yookyung Kim
- 5 Cofinal Circumscription
Tom Costello
- 6 A Logic of Vision: Premliminaries
Michiel van Lambalgen and Jaap van der Does
- 7 A Logic of Modification and Creation
Gerard R. Renardel de Lavalette
- 8 Model Checking and Deduction for Infinite-State Systems
Henny B. Simpa, Tom ás E. Uribe and Zohar Manna
- Index
3/1/2001