1 Department of Computer Science, The Technical Faculty of IT and Design, Aalborg University, VBN2 Machine Intelligence, The Technical Faculty of IT and Design, Aalborg University, VBN3 Distributed, Embedded and Intelligent Systems, The Technical Faculty of IT and Design, Aalborg University, VBN
We propose a uniform semantic framework for interpreting probabilistic concept subsumption and probabilistic role quantification through statistical sampling distributions. This general semantic principle serves as the foundation for the development of a probabilistic version of the guarded fragment of first-order logic. A characterization of equivalence in that logic in terms of bisimulations is given.
International Journal of Uncertainty, Fuzziness and Knowledge-based Systems, 2006, Vol 14, Issue 1, p. 43-59