A Semantics for Abstraction

ics for abstraction Chiara Ghidini1 and Fausto Giunchiglia2 Abstract. The goal of this paper is to propose a model-theoretic formalization of abstraction, where abstraction is modeled as two reprens, the ground and the abstract representation, modeling the same phenomenon at different levels of detail. Using the framework 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

• Type: Conference
• Year: 2004
• Where: ECAI
• Authors: Chiara Ghidini, Fausto Giunchiglia
• Keywords: Artificial Intelligence, ECAI 2004