VWS Talk 1: Local Models Semantics, or Contextual Reasoning = Locality + Compatibility  
  
V S
W
 
     The VWS Project      How a VWS Works      How to Join a
VWS      How to Give a
VWS      Relevant
Information      The VWS
Programme      People
Involved
Virtual Worldwide Seminar Project

Local Models Semantics, or Contextual Reasoning = Locality + Compatibility

Fausto Giunchiglia1
November 4, 1998

Abstract

In this paper we present a new semantics, calles "Local Models Semantics" and use it to provide a foundation to reasoning about contexts. This semantics captures and makes precise the two main intuitions underlying contextual reasoning:
  1. Reasoning is "local" and uses only part of what is potentially available (e.g., what is known, inference procedures). This "part" is what we call "context".
  2. There is "compatibility" among different contexts. What is true in one context is in part dependent on what is true in other contexts.
We validate our semantics one two important examples: viewpoints and beliefs.
Slides! (updated Wed Nov 4 07:56:20 1998)

Attendees


1 Fausto Giunchiglia
ITC-IRST
Povo, 38050 Trento, Italy
AND
DISA - Universita' di Trento
Via Inama 5, 38100 Trento, Italy
fausto@irst.itc.it
http://www.cs.unitn.it/~fausto

Top of this page



 Contact: Virtual Seminar Coordinators
Last modified: Wed Feb 3 14:29:08 PST 1999