Le raisonnement à base de logique propositionnelle à l'appui de la fusion et de la révision de bases de données géospatiales
Le but de ce mémoire était d’effectuer, dans un contexte géospatial, une comparai- son d’une approche de raisonnement qualitatif basée sur le PROLOG avec une autre approche reposant sur l’ASP. La principale question que nous posons est la suivante : Le moteur de raisonnement Smodels rendant possible...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | FR |
| Published: |
Université Laval
2008
|
| Subjects: | |
| Online Access: | http://www.theses.ulaval.ca/2008/25066/25066.pdf |