A Framework for the Approximation of Relations
Résumé
The paper proposes a foundation to the approximation of relations by means of relations. We discuss necessary, possible and sufficient approximations and show their links with other topics, such as refinement and simulation. The operators introduced in the paper has been tested on computers.
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|