Abstract
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.
| Original language | English |
|---|---|
| Journal | International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems |
| Volume | 14 |
| Issue number | 1 |
| Pages (from-to) | 43-59 |
| Number of pages | 17 |
| ISSN | 0218-4885 |
| Publication status | Published - 2006 |