Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Baral, C., Kraus, S., Minker, J., Subrahmanian, V.S.: Combining knowledge bases consisting of first order theories. In: Proc. of ISMIS, pp. 92–101 (1991)
Benferhat, S., Ben-Naim, J., Papini, O., Würbel, E.: An answer set programming encoding of prioritized removed sets revision: application to gis. Applied Intelligence 32(1), 60–87 (2010)
Benferhat, S., Lagrue, S., Papini, O.: Revision of partially ordered information: Axiomatization, semantics and iteration. In: Proc. of IJCAI 2005, Edinburgh, pp. 376–381 (2005)
Brewka, G.: Preferred sutheories: an extended logical framework for default reasoning. In: Proc. of IJCAI 1989, pp. 1043–1048 (1989)
Drap, P., Grussenmeyer, P.: A digital photogrammetric workstation on the web. Journal of Photogrammetry and Remote Sensing 55(1), 48–58 (2000)
Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. Artificial Intelligence 172(12-13), 1495–1539 (2008)
Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: clasp: A conflict-driven answer set solver. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, pp. 260–265. Springer, Heidelberg (2007)
Hue, J., Papini, O., Würbel, E.: Implementing prioritized merging with ASP. In: Hüllermeier, E., Kruse, R., Hoffmann, F. (eds.) IPMU 2010. CCIS, vol. 80, pp. 138–147. Springer, Heidelberg (2010)
Hué, J., Würbel, E., Papini, O.: Removed sets fusion: Performing off the shelf. In: Proc. of ECAI 2008, pp. 94–98 (2008)
Lefèvre, C., Nicolas, P.: A first order forward chaining approach for answer set computing. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol. 5753, pp. 196–208. Springer, Heidelberg (2009)
Papini, O.: A complete revision function in propositionnal calculus. In: Neumann, B. (ed.) Proc. of ECAI 1992, pp. 339–343. John Wiley and Sons. Ltd., Chichester (1992)
Papini, O.: D3.1 archaeological activities and knowledge analysis. Technical report, Delivrable, VENUS project. january (2007), http://www.venus-project.eu
Papini, O., Curé, O., Drap, P., Fertil, B., Hué, J., Roussel, D., Sérayet, M., Seinturier, J., Würbel, E.: D3.6 reasoning with archaeological ontologies. technical report and prototype of software for the reversible fusion operations. Technical report, Delivrable, VENUS project (July 2009), http://www.venusproject.eu
Papini, O., Würbel, E., Jeansoulin, R., Curé, O., Drap, P., Sérayet, M., Hué, J., Seinturier, J., Long, L.: D3.4 representation of archaeological ontologies 1. Technical report, Delivrable, VENUS project (July 2008), http://www.venus-project.eu
Rescher, N., Manor, R.: On inference from inconsistent premises. Theory and Decision 1, 179–219 (1970)
Seinturier, J.: Fusion de connaissances: Applications aux relevés photogrammétriques de fouilles archéologiques sous-marines. PhD thesis, Université du Sud Toulon Var (2007)
Sérayet, M., Drap, P., Papini, O.: Extending removed sets revision to partially preordered belief bases. International Journal of Approximate Reasoning 52(1), 110–126 (2011)
Würbel, E., Papini, O., Jeansoulin, R.: Revision: an application in the framework of gis. In: Proc. of KR 2000, Breckenridge, Colorado, USA, pp. 505–516 (2000)
Yahi, S., Benferhat, S., Lagrue, S., Sérayet, M., Papini, O.: A lexicographic inference for partially preordered belief bases. In: Proc. of KR 2008, pp. 507–516 (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hué, J., Sérayet, M., Drap, P., Papini, O., Würbel, E. (2011). Underwater Archaeological 3D Surveys Validation within the Removed Sets Framework. In: Liu, W. (eds) Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2011. Lecture Notes in Computer Science(), vol 6717. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22152-1_56
Download citation
DOI: https://doi.org/10.1007/978-3-642-22152-1_56
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22151-4
Online ISBN: 978-3-642-22152-1
eBook Packages: Computer ScienceComputer Science (R0)