Formal Aspects of ContextPierre Bonzon, Marcos Cavalcanti, Rolf Nossum We welcome Volume 20, Formal Aspects of Context. Context has always been recognised as strongly relevant to models in language, philosophy, logic and artifi cial intelligence. In recent years theoretical advances in these areas and especially in logic have accelerated the study of context in the international community. An annual conference is held and many researchers have come to realise that many of the old puzzles should be reconsidered with proper attention to context. The volume editors and contributors are from among the most active front-line researchers in the area and the contents shows how wide and vigorous this area is. There are strong scientific connections with earlier volumes in the series. I am confident that the appearance of this book in our series will help secure the study of context as an important area of applied logic. D.M.Gabbay INTRODUCTION This book is a result of the First International and Interdisciplinary Con ference on Modelling and Using Context, which was organised in Rio de Janeiro in January 1997, and contains a selection of the papers presented there, refereed and revised through a process of anonymous peer review. The treatment of contexts as bona-fide objects of logical formalisation has gained wide acceptance in recent years, following the seminal impetus by McCarthy in his 'lUring award address. |
Contents
Formal and Computational Models of Context for Natural Language Generation | 1 |
Requirements for Dialogue Context Modelling | 23 |
An Empirical Study | 37 |
Consequences for Traditional and ComputerAssisted Text Analysis | 49 |
A Contextbased Mechanization of Multiagent Reasoning | 65 |
Constructing Bridges | 85 |
Reasoning with Multilevel Contexts in Semantic Metanetworks | 107 |
Other editions - View all
Common terms and phrases
accented analysis anaphoric antecedent apply Artificial Intelligence Aspects of Context axiom belief contexts Bonzon bridge rules Bunt Buvac chaining strategy chandelier Cimatti Computer consistent contains Context Model contrary-to-duty deduction defeasibility defined definition deontic logic derive dialogue acts discrimination domain constraints domain of discourse entity evaluation example explicit expression fact federated database formal formula function Gabbay Galliker GETFOL Giunchiglia and Serafini HMB system implicit inference inference rules instantiated interaction interpretation knowledge linguistic context Maasbree makenot maximal consistent set means meta-level modal logics modus ponens natural language Nossum objects Odijk outgroup P(Ai pantechnicon Piwek predicate presupposition proof proof theory properties propositional Puuronen Rdwr reasoning refer reflect relation relevant representation represented Sandt's Section semantic metanetwork semantic network sentence structure switchcontext templates Terziyan theorem theory tion Torre Trento utterance variables verbal view constraints w₁ White1 White2
References to this book
From Words to Discourse: Trends in Spanish Semantics and Pragmatics Javier Gutiérrez-Rexach No preview available - 2002 |