| dc.contributor.advisor |
Leslie Kaelbling |
en_US |
| dc.contributor.author |
McAllester, David |
en_US |
| dc.contributor.author |
Milch, Brian |
en_US |
| dc.contributor.author |
Goodman, Noah D. |
en_US |
| dc.contributor.other |
Learning and Intelligent Systems |
en_US |
| dc.date.accessioned |
2008-05-05T15:45:52Z |
|
| dc.date.available |
2008-05-05T15:45:52Z |
|
| dc.date.issued |
2008-05-03 |
en_US |
| dc.identifier.other |
MIT-CSAIL-TR-2008-025 |
en_US |
| dc.identifier.uri |
http://hdl.handle.net/1721.1/41516 |
|
| dc.description.abstract |
We consider three desiderata for a language combining logic and probability: logical expressivity, random-world semantics, and the existence of a useful syntactic condition for probabilistic independence. Achieving these three desiderata simultaneously is nontrivial. Expressivity can be achieved by using a formalism similar to a programming language, but standard approaches to combining programming languages with probabilities sacrifice random-world semantics. Naive approaches to restoring random-world semantics undermine syntactic independence criteria. Our main result is a syntactic independence criterion that holds for a broad class of highly expressive logics under random-world semantics. We explore various examples including Bayesian networks, probabilistic context-free grammars, and an example from Mendelian genetics. Our independence criterion supports a case-factor inference technique that reproduces both variable elimination for BNs and the inside algorithm for PCFGs. |
en_US |
| dc.description.provenance |
Submitted by CSAIL Importer (publications-dspace@csail.mit.edu) on 2008-05-05T15:45:50Z
No. of bitstreams: 2
MIT-CSAIL-TR-2008-025.pdf: 225498 bytes, checksum: dd854db6ea4b9283780500d53af61df0 (MD5)
MIT-CSAIL-TR-2008-025.ps: 73870 bytes, checksum: 26713a7e874b9386f9d4c7d935e28b5f (MD5) |
en |
| dc.description.provenance |
Made available in DSpace on 2008-05-05T15:45:52Z (GMT). No. of bitstreams: 2
MIT-CSAIL-TR-2008-025.pdf: 225498 bytes, checksum: dd854db6ea4b9283780500d53af61df0 (MD5)
MIT-CSAIL-TR-2008-025.ps: 73870 bytes, checksum: 26713a7e874b9386f9d4c7d935e28b5f (MD5)
Previous issue date: 2008-05-03 |
en |
| dc.format.extent |
6 p. |
en_US |
| dc.relation |
Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory |
en_US |
| dc.relation |
|
en_US |
| dc.title |
Random-World Semantics and Syntactic Independence for Expressive Languages |
en_US |
