Probabilistic Role Models and the Guarded Fragment

Manfred Jaeger

Probabilistic Role Models and the Guarded Fragment

Institut for Datalogi

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

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.

Originalsprog	Engelsk
Titel	Proceedings of the Tenth International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems
Antal sider	8
Forlag	Editrice Universita La Sapienza
Publikationsdato	2004
Sider	235-242
ISBN (Trykt)	8887242542
Status	Udgivet - 2004
Begivenhed	IPMU'2004 - Perugia, Italien Varighed: 4 jul. 2004 → 9 jul. 2004 Konferencens nummer: 10

Konference

Konference	IPMU'2004
Nummer	10
Land	Italien
By	Perugia
Periode	04/07/2004 → 09/07/2004

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

Citationsformater

@inproceedings{058486a0003c11dab4d5000ea68e967b,

title = "Probabilistic Role Models and the Guarded Fragment",

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.",

author = "Manfred Jaeger",

year = "2004",

language = "English",

isbn = "8887242542",

pages = "235--242",

booktitle = "Proceedings of the Tenth International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems",

publisher = "Editrice Universita La Sapienza",

note = "null ; Conference date: 04-07-2004 Through 09-07-2004",

}

Probabilistic Role Models and the Guarded Fragment. / Jaeger, Manfred.

Proceedings of the Tenth International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems. Editrice Universita La Sapienza, 2004. s. 235-242.

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

TY - GEN

T1 - Probabilistic Role Models and the Guarded Fragment

AU - Jaeger, Manfred

N1 - Conference code: 10

PY - 2004

Y1 - 2004

N2 - 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.

AB - 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.

M3 - Article in proceeding

SN - 8887242542

SP - 235

EP - 242

BT - Proceedings of the Tenth International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems

PB - Editrice Universita La Sapienza

Y2 - 4 July 2004 through 9 July 2004

ER -