Formal Aspects of Context
By: edited by Pierre Bonzon, Marcos Cavalcanti, Rolf Nossum
Contributors: Cavalcanti, Marcos; Nossum, Rolf
Series: Applied Logic Series -- 20; Applied logic series -- 20.
Publisher: Springer Netherlands
Published: 2000
Place of publication: Dordrecht
Language: eng
Format: [electronic resource] /
Number of pages: 216
ISBN-13: 9789401593977; 9789048154722
Subjects: Philosophy (General); Symbolic and mathematical Logic; Artificial intelligence; Logic
Description: The First International and Interdisciplinary Conference on Modelling and Using Context, Rio de Janeiro, January 1997, gave rise to the present book, which contains a selection of the papers presented there, thoroughly refereed and revised. The treatment of contexts as bona fide objects of logical formalisation has gained wide acceptance, following the seminal impetus given by McCarthy in his Turing Award address. The field of natural language offers a particularly rich variety of examples and challenges to researchers concerned with the formal modelling of context, and several chapters in the volume deal with contextualisation in the setting of natural language. Others adopt a purely formal-logical viewpoint, seeking to develop general models of even wider applicability. The 12 chapters are organised in three groups: formalisation of contextual information in natural language understanding and generation, the application of context in mechanised reasoning domains, and novel non-classical logics for contextual application.
Table of contents: title: Formal and Computational Models of Context for Natural Language Generation; title: Requirements for Dialogue Context Modelling; title: Contextual Constraints on Thematization in Written Discourse: An Empirical Study; title: Context and Implicitness: Consequences for Traditional and Computer-assisted Text Analysis; title: A Context-based Mechanization of Multi-agent Reasoning; title: Presuppositions in Context: Constructing Bridges; title: Reasoning with Multilevel Contexts in Semantic Metanetworks; title: Contextual Learning: Towards using Contexts to Achieve Generality; title: Contextual Deontic Logic: Violation Contexts and Factual Defeasibility; title: A Local Models Semantics for Propositional Attitudes; title: Context-based Semantics for Information Integration; title: Structured Contexts with Fibred Semantics.