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 |
|---|---|
| Title of host publication | Proceedings of the Tenth International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems |
| Number of pages | 8 |
| Publisher | Editrice Universita La Sapienza |
| Publication date | 2004 |
| Pages | 235-242 |
| ISBN (Print) | 8887242542 |
| Publication status | Published - 2004 |
| Event | IPMU'2004 - Perugia, Italy Duration: 4 Jul 2004 → 9 Jul 2004 Conference number: 10 |
Conference
| Conference | IPMU'2004 |
|---|---|
| Number | 10 |
| Country/Territory | Italy |
| City | Perugia |
| Period | 04/07/2004 → 09/07/2004 |