Abstract. Belief revision has been extensively studied in the framework of propositional logic, but just recently revision within fragments of propositional logic has gained attention. Hereby it is not only the belief set and the revision formula which are given within a certain language fragment, but also the result of the revision has to be located in the same fragment. So far, research in this direction was mainly devoted to the Horn fragment of classical logic. In this work, we present a general approach to define new revision operators derived from standard operators (as for instance, Satoh's and Dalal's revision operators), such that the result of the revision remains in the fragment under consideration. Our approach is not limited to the Horn case but applicable to any fragment of propositional logic where the models of the formulas are closed under a Boolean function. Thus we are able to uniformly treat cases as dual-Horn, Krom and affine formulas, as well.
Possibilistic logic offers a natural qualitative framework for handling uncertain information. This paper discusses its extension to dealing with partially ordered knowledge. We show that there are two different ways to define possibilistic logic machinery which both extend the standard one.
This work addresses the problem of underwater archaeological surveys from the point of view of knowledge. We propose an approach based on underwater photogrammetry guided by a representation of the used knowledge, structured by ontologies. Ontologies and photogrammetry are used together from the survey process to the graphical results. This paper focuses on the use of ontologies during the 3D results exploitation. A JAVA software dedicated to photogrammetry and archaeological survey has been mapped onto an OWL formalism. The use of procedural attachment in a dual representation (JAVA -OWL) of the involved concepts allows to access computational facilities directly from OWL. The use of rules as SWRL illustrates very well this double formalism, also the use of computational capabilities of rules logical expression. We present an application that is able to read the ontology populated with a photogrammetric survey. Once the ontology is read, it is possible to produce a 3D representation of the individuals and observing graphically the results of logical spatial queries on the ontology. This work is done on a very important archaeological wreck in Malta named Xlendi, probably the most ancient Phoenician wreck of western Mediterranean Sea.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.