Local Models Semantics, or Contextual Reasoning = Locality + Compatibility

In this paper we present a new semantics, called Local Models Semantics, and use it to provide a foundation to reasoning with contexts. This semantics captures and makes precise the two main intuitions underlying contextual reasoning: (i) reasoning is mainly local and uses only part of what is potentially available (e.g., what is known, the available inference procedures), this part is what we call context (of reasoning); however (ii) there is compatibility among the reasoning performed in different contexts. We validate our semantics by formalizing two important forms of contextual reasoning: reasoning with viewpoints and reasoning about belief.

• Type: Conference
• Year: 1998
• Where: KR
• Authors: Fausto Giunchiglia, Chiara Ghidini
• Keywords: Automated Reasoning, Contextual Reasoning, KR 1998, Local Models Semantics, Reasoning