Probabilistic role models and the guarded fragment

Research output: Contribution to journalJournal articleResearchpeer-review

3 Citations (Scopus)

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 languageEnglish
JournalInternational Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Volume14
Issue number1
Pages (from-to)43-59
Number of pages17
ISSN0218-4885
Publication statusPublished - 2006

Fingerprint Dive into the research topics of 'Probabilistic role models and the guarded fragment'. Together they form a unique fingerprint.

Cite this