×

表示概率过程的因果信息。 (英语) Zbl 1152.68621号

Michael Fisher(编辑)等人,《人工智能中的逻辑》。第十届欧洲会议,JELIA 2006,英国利物浦,2006年9月13-15日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-39625-3/pbk)。计算机科学讲义4160。《人工智能讲义》,452-464(2006)。
总结:我们研究概率过程的因果信息,即事件发生原因的信息。我们开发了一种语言,可以在其中正式表示此类信息,并研究这是否足以唯一地描述由此类过程产生的概率分布。我们研究了时间方面的详细表示和时间隐含的表示。在最后一个例子中,我们的逻辑变成了Pearl因果关系方法的更精细版本。我们将逻辑与某些概率逻辑编程语言联系起来,从而更清楚地了解这些语言的知识表示属性。我们表明,我们的逻辑为析取逻辑程序诱导了一种语义,在这种语义中,这些程序表示非确定性过程。我们表明,在基础充分的语义学下的逻辑程序可以被视为确定性因果关系的语言,这与麦凯恩和特纳的因果理论有关。
关于整个系列,请参见[Zbl 1145.68002号].

MSC公司:

68T27型 人工智能中的逻辑
68N17号 逻辑编程
68立方英尺 知识表示
PDF格式BibTeX公司 XML格式引用
全文: 内政部