Underwater Archaeological 3D Surveys Validation within the Removed Sets Framework

This paper presents the results of the VENUS european project aimed at providing scientific methodologies and technological tools for the virtual exploration of deep water archaeological sites. We focused on underwater archaeological 3D surveys validation problem. This paper shows how the validation problem has been tackled within the Removed Sets framework, according to Removed Sets Fusion (RSF) and to the Partially Preordered Removed Sets Inconsistency Handling (PPRSIH). Both approaches have been implemented thanks to ASP and the good behaviour of the Removed Sets operations is presented through an experimental study on two underwater archaeological sites.

[1]  Julien Seinturier.  Fusion de connaissances : Applications aux relevés photogrammétriques de fouilles archéologiques sous-marines. (Knowledge Fusion : Applications to photogrammetric surveys of underwater archaeological excavations) , 2007 .

[2]  Odile Papini,et al.  Revision of Partially Ordered Information: Axiomatization, Semantics and Iteration , 2005, IJCAI.

[3]  N. Rescher,et al.  On inference from inconsistent premisses , 1970 .

[4]  Odile Papini,et al.  A Lexicographic Inference for Partially Preordered Belief Bases , 2008, KR.

[5]  Odile Papini,et al.  An answer set programming encoding of Prioritized Removed Sets Revision: application to GIS , 2004, Applied Intelligence.

[6]  Gerhard Brewka,et al.  Preferred Subtheories: An Extended Logical Framework for Default Reasoning , 1989, IJCAI.

[7]  Odile Papini,et al.  Extending Removed Sets Revision to partially preordered belief bases , 2011, Int. J. Approx. Reason..

[8]  Martin Gebser,et al.  clasp : A Conflict-Driven Answer Set Solver , 2007, LPNMR.

[9]  Julien Hué,et al.  Removed Sets Fusion: Performing Off The Shelf , 2008, ECAI.

[10]  Pierre Grussenmeyer,et al.  A digital photogrammetric workstation on the WEB , 2000 .

[11]  Odile Papini.  A Complete Revision Function in Propositional Calculus , 1992, ECAI.

[12]  Odile Papini,et al.  Revision: an application in the framework of GIS , 2000, International Conference on Principles of Knowledge Representation and Reasoning.

[13]  J. Alexander,et al.  Theory and Methods: Critical Essays in Human Geography , 2008 .

[14]  Wolfgang Faber,et al.  Logic Programming and Nonmonotonic Reasoning , 2011, Lecture Notes in Computer Science.

[15]  Hans Tompits,et al.  Combining answer set programming with description logics for the Semantic Web , 2004, Artif. Intell..

[16]  Pascal Nicolas,et al.  ASPeRiX, a first-order forward chaining approach for answer set computing* , 2009, Theory and Practice of Logic Programming.

[17]  Julien Hué,et al.  Implementing Prioritized Merging with ASP , 2010, IPMU.