Random-World Semantics and Syntactic Independence for Expressive Languages
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...
| Main Authors: | , , |
|---|---|
| 其他作者: | |
| 出版: |
2008
|
| 在线阅读: | http://hdl.handle.net/1721.1/41516 |