What is Local Models Semantics?

Ghidini, Chiara and Giunchiglia, Fausto (2002) What is Local Models Semantics? UNSPECIFIED. (In Press)

Download (598Kb) | Preview


    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.

    Item Type: Departmental Technical Report
    Department or Research center: Information Engineering and Computer Science
    Subjects: Q Science > QA Mathematics > QA075 Electronic computers. Computer science
    Uncontrolled Keywords: multi-context logics, Local Model Semantics, knowledge representation
    Additional Information: To appear as a chapter P. Bouquet, L. Serafini, "Perspectives on context", CSLI
    Report Number: DIT-02-090
    Repository staff approval on: 07 Jan 2003

    Actions (login required)

    View Item