Probabilistic Role Models and the Guarded Fragment

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Abstrakt

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.
OriginalsprogEngelsk
TitelProceedings of the Tenth International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems
Antal sider8
ForlagEditrice Universita La Sapienza
Publikationsdato2004
Sider235-242
ISBN (Trykt)8887242542
StatusUdgivet - 2004
BegivenhedIPMU'2004 - Perugia, Italien
Varighed: 4 jul. 20049 jul. 2004
Konferencens nummer: 10

Konference

KonferenceIPMU'2004
Nummer10
LandItalien
ByPerugia
Periode04/07/200409/07/2004

Fingeraftryk Dyk ned i forskningsemnerne om 'Probabilistic Role Models and the Guarded Fragment'. Sammen danner de et unikt fingeraftryk.

Citationsformater