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: | Dissertation |
| Language: | French |
| Published: |
Université Laval
2007
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/20.500.11794/19730 |