Formalizing Context
Papers from the 1995 Fall Symposium
Sasa Buvac Program Chair
Technical Report FS-95-02. Published by The AAAI Press, Menlo Park, California
This technical report is also available in book and CD format.
Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. Access to full text may be restricted to AAAI members. PDF file sizes may be large!
Contents
Invited Talks
Preface / iii
Sasa Buvac and Richard Fikes
Essential Ambiguity: The Role of Context in Natural-language Processing / 1
Barbara J. Grosz
Mechanisms In Implemented KR Systems / 2
R. V. Guha
What Is a Context? / 3
Pat Hayes
From Contexts to Negotiation Forums / 4
Carl Hewitt
Varieties of Formalized Contexts and Subcontexts / 6
John McCarthy
On the Representation of Contexts / 7
Robert Stalnaker
Beppe had a Dream / 9
Giuseppe Attardi and Maria Simi
Submitted Papers
Contexts, Oracles, and Relevance / 23
Varol Akman and Mehmet Surav
A Modal Logic with Context-Dependent Inference for Non-Monotonic Reasoning / 31
Philippe Besnard and Yao-Hua Tan
Probabilistic Contexts for Reasoning / 39
Raj Bhatnagar
A Meta-Level Inference Architecture for Contexts / 47
Pierre E. Bonzon
Reasoning about Topics: Towards a Formal Theory / 55
Robert Demolombe and Andrew J.I. Jones
Superficial Tableaux for Contextual Reasoning / 60
Fabio Massacci
An Implementation of Eisner v. Macomber / 68
L. Thorne McCarty
A Name-Space Context Graph for Multi-Context, Multi-Agent System / 79
Narinder Singh, Omar Tavakol and Michael Genesereth
Syntax, Semantics, and Pragmatics of Contexts / 85
John F. Sowa
Content in Context / 97
Alice ter Meulen
Discourse Context / 102
Richmond H. Thomason and Johanna D. Moore
Semantic Vagueness and Context-Dependence / 110
Kees van Deenter
Submitted Abstract
TENSAR, A Context-Oriented System Modeling Language / 118
William Sandberg-Maitland