Personne :
Noël de Tilly, Antoine

Photo de profil
Adresse électronique
Date de naissance
Projets de recherche
Structures organisationnelles
Fonction
Nom de famille
Noël de Tilly
Prénom
Antoine
Affiliation
Département des sciences du bois et de la forêt, Faculté de foresterie, de géographie et de géomatique, Université Laval
ISNI
ORCID
Identifiant Canadiana
ncf11855404
person.page.name

Filtres

20071
Réinitialiser les filtres

Paramètres

Depuis: 2007 × Jusque: 2007 × Sujet: Langages de programmation logiques × Fichier(s) présent(s): Oui ×

Résultats de recherche

Voici les éléments 1 - 1 sur 1
  • Publication
    Accès libre
    Le raisonnement à base de logique propositionnelle à l'appui de la fusion et de la révision de bases de données géospatiales
    (2007) Noël de Tilly, Antoine; Mostafavi, Mir Abolfazl; Edwards, Geoffrey
    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 la mise en oeuvre du raisonnement non monotone poussé et faisant intervenir le concept de modèle stable peut-il nous permettre de résoudre des problèmes de vérification de cohérence ontologique et des problèmes de révision dans le contexte de la géomatique ? Pour y répondre, nous avons procédé à une série de tests sur un échantillon de la Base nationale de données topographiques (BNDT). À la lumière des résultats obtenus, cette approche se montre très efficace et contribue à l’amélioration de la cohérence de l’information géospatiale et du raisonnement spatial réalisé à partir de cette dernière.