What is Local Models Semantics

In recent papers a new semantics, called Local Models Semantics, was presented and used to provide a foundation to reasoning with contexts. Local Models Semantics captures and makes precise the two main principles underlying contextual reasoning: the, so-called, Principle of Locality and Principle of Compatibility. In this chapter we aim at explaining the main intuitions underlying Local Models Semantics, its fundamental logical properties, and its relation with contextual reasoning. The emphasis is on motivations and intuitions, rather than on technicalities.

[1]  Pablo Noriega,et al.  Towards Layered Dialogical Agents , 1996, ATAL.

[2]  John McCarthy,et al.  Notes on Formalizing Context , 1993, IJCAI.

[3]  Fausto Giunchiglia,et al.  Reasoning about Theory Adequacy. A New Solution to the Qualification Problem , 1995, Fundam. Informaticae.

[4]  John Mylopoulos,et al.  Partitioning Information Bases with Contexts , 1995, CoopIS.

[5]  Douglas B. Lenat,et al.  CYC: a large-scale investment in knowledge infrastructure , 1995, CACM.

[6]  Wanda Pratt,et al.  Integrating Information Sources Using Context Logic , 1995 .

[7]  Fausto Giunchiglia,et al.  Multilanguage hierarchical logics (or: how we can do without modal logics) , 1994, CNKBS.

[8]  Varol Akman,et al.  Steps Toward Formalizing Context , 1996, AI Mag..

[9]  Fausto Giunchiglia,et al.  Model Checking Multiagent Systems , 1998, J. Log. Comput..

[10]  Luciano Serafini,et al.  Multi-Agent Reasoning with Belief Contexts: The Approach and a Case Study , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[11]  John McCarthy,et al.  Generality in artificial intelligence , 1987, Resonance.

[12]  Fausto Giunchiglia,et al.  Ideal and Real Belief about Belief , 1996, J. Log. Comput..

[13]  Fausto Giunchiglia,et al.  Non-Omniscient Belief as Context-Based Resoning , 1993, IJCAI.

[14]  Luciano Serafini,et al.  Model Theoretic Semantics for Information Integration , 1998, AIMSA.

[15]  Chiara Ghidini,et al.  Formalizing Belief Reports - The Approach and a Case Study , 1998, AIMSA.

[16]  Nicholas R. Jennings,et al.  Agents That Reason and Negotiate by Arguing , 1998, J. Log. Comput..

[17]  Nicolas Spyratos,et al.  Context in information bases , 1998, Proceedings. 3rd IFCIS International Conference on Cooperative Information Systems (Cat. No.98EX122).

[18]  Chiara Ghidini,et al.  Modelling (Un)Bounded Beliefs , 1999, CONTEXT.

[19]  R. Guha.  Contexts: a formalization and some applications , 1992 .

[20]  Fausto Giunchiglia,et al.  Local Models Semantics, or Contextual Reasoning = Locality + Compatibility , 1998, KR.

[21]  Maria Simi,et al.  A Formalization of Viewpoints , 1995, Fundam. Informaticae.

[22]  Luciano Serafini,et al.  Information Integration for Electronic Commerce , 1998, AMET.

[23]  Michael Fisher,et al.  Programming Resource-Bounded Deliberative Agents , 1999, IJCAI.