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: McAllester, David, Milch, Brian, Goodman, Noah D.
其他作者: Leslie Kaelbling
出版: 2008
在线阅读:http://hdl.handle.net/1721.1/41516