Advertisement

The \(\mathcal{KRA }\) Model

  • Lorenza Saitta
  • Jean-Daniel Zucker
Chapter

Abstract

In this chapter the ideas introduced in the previous chapters are formalized in the \(\mathcal{KRA }\) model, which takes into account a problem to be solved and the observations and theory necessary to solve it. Both observations and theory can be expressed at several levels of detail. The model describes how this change of resolution can be achieved. The model is not intended to cover all uses of abstraction, but it is rather targeted toward problems where observations are an important part of the solution process.

Keywords

Relational Database Configuration Space Actual Observation Logical Formula Abstraction Process 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© Springer Science+Business Media New York 2013

Authors and Affiliations

  1. 1.Dipartimento di Scienze e Innovazione TeUniversità Degli Studi Del Piemonte OrieAlessandriaItaly
  2. 2.International Research Unit UMMISCO 209Research Institute for Development (IRD)BondyFrance

Personalised recommendations