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 |