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 detali. Using the framework of Local Models Semantics, the gorund 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 defintion of the many different kinds of abstraction

A semantics for abstraction

Ghidini, Chiara;Giunchiglia, Fausto
2003

Abstract

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 detali. Using the framework of Local Models Semantics, the gorund 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 defintion of the many different kinds of abstraction
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11582/2473
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
social impact