Raisonnement à partir d'informations structurées et hiérarchisées : application à l'information archéologique

Reasoning from structured and hierarchized information : application to archeological information

• Auteur / Autrice : Mariette Serayet
• Direction : Odile Papini, Pierre Drap
• Type : Thèse de doctorat
• Discipline(s) : Mathématiques, informatique, automatique
• Date : Soutenance le 06/05/2010
• Etablissement(s) : Aix-Marseille 2
• Ecole(s) doctorale(s) : Ecole doctorale Mathématiques et Informatique de Marseille (Marseille ; 1994-....)
• Partenaire(s) de recherche : Laboratoire : Laboratoire des sciences de l'information et des systèmes (Marseille)
• Partenaire(s) de recherche : Projet Européen : Virtual Exploration of Underwater Sites (VENUS)
• Partenaire(s) de recherche : Autre partenaire associé à la thèse : Université Paul Cézanne (1973-2011)
• Jury : Président / Présidente : Nadia Creignou
• Jury : Examinateurs / Examinatrices : Odile Papini, Pierre Drap, Nadia Creignou, Marie-Odile Cordier, Jérôme Lang, Olivier Curé, Antoinette Hesnard, Sylvain Lagrue
• Jury : Rapporteurs / Rapporteuses : Marie-Odile Cordier, Jérôme Lang

Mots clés

Mots clés contrôlés

Inférence

Photogrammétrie

Active Server Pages

Informatique

Archéologie sous-marine

Mots clés libres

Restauration de la cohérence

Révision

Inférence

Préodre partiel

R-ensemble

Inconsistency handling

Revision

Inference

Partial preorder

Removed set

Résumé

La thèse s'inscrit dans le cadre du projet européen VENUS. Dans ce contexte, la photogrammétrie est utilisée pour produire des relevés 3D sur les objets. La connaissance sur ces objets provient à la fois de l'archéologie sous-marine et de la photogrammétrie. Les informations étant structurées, hiérarchisées et parfois incomparables, nous nous sommes intéressés aux bases de croyance partiellement préordonnées. Par ailleurs, l'acquisition des données peut conduire à l'apparition d'incohérence. Nous avons étendu l'approche des R-ensembles à la restauration de la cohérence. Nous avons également proposé un cadre de travail pour la révision de bases de croyance partiellement préordonnées et deux relations d'inférence lexicograhique. nous avons fourni pour ces approches une mise en oeuvre en utilisant la programmation logique avec ASP. Finalement, nous avons implanté notre méthode de restauration de la cohérence dans le contexte de VENUS et nous l'avons testé sur les relevés issus du projet.

This PHD has been performed within the European VENUS project. In this context, photogrammetry is used to produced 3D survey on objects and the knowledge on studied artefacts comes from both underwater archaeology and photogrammetry. This information being structured, hierachized and sometimes incomparable, we focused on partially preordered belief bases. Data acquisition possibly leads to inconsistency. We extended the Removed Set approach to inconsistency handling. To compare subsets of formulae to remove in order to restore consistency, we introduced the lexicographic comparator. Moreover, we proposed a new framework for the revision of partially preordered belief bases and two lexicographic inference relations. We proposed an implementation stemming from ASP. Finally, we implemented our inconsistency handling method in the VENUS context and we provided an experimental study on 3D surveys of the project.