A semantics for abstraction

Ghidini, Chiara and Giunchiglia, Fausto (2003) A semantics for abstraction. UNSPECIFIED. (Unpublished)

Download (457Kb) | Preview


    The goal of this paper is to propose a model-theoretic formalization of abstraction, where abstraction is modeled as two representations, the ground and the abstract representation, modeling the same phenomenon at different levels of detail. Using the framework of Local Models Semantics, the ground and abstract representations are modeled as two sets of (local) first order models, while the relations holding between them are captured by an appropriate "compatibility relation". The tuning of the compatibility relation allows for the definition of the many different kinds of abstraction.

    Item Type: Departmental Technical Report
    Department or Research center: Information Engineering and Computer Science
    Subjects: Q Science > QA Mathematics > QA076 Computer software > QA076.7 Programming Languages - Semantics
    Additional Information: Submitted to the Ninth International Conference on the Principles of Knowledge Representation and Reasoning (KR-04)
    Report Number: DIT-03-082
    Repository staff approval on: 04 Dec 2003

    Actions (login required)

    View Item