马克·德维斯梅(Marc de Visme);格林·温斯克-因果展开和分离原因

lmcs:6202个-计算机科学中的逻辑方法,2023年4月20日,第19卷第2期-https://doi.org/10.46298/lmcs-19(2:4)2023
因果展开和分离原因第条

作者:Marc de Visme;格林·温斯克

    在事件结构的最简单形式(基本事件结构)中,事件是与独特的因果历史相关,是其主要原因。然而,这相当事件通常具有分离原因,因为它可以由任何多种原因之一。有时,原因可能是相互的排他性,彼此不一致,有时不一致,在这种情况下一致共存并构成事件的平行原因。这个建立的一般事件结构模型可以对并行原因进行建模。打开然而,有时这样的模型与精确的因果关系相去甚远事件历史直接有用。例如,有时需要将概率与不同的、可能共存的因果历史联系起来一个常见事件。理想情况下,一般事件结构的因果历史将对应于其因果展开到主要事件的配置结构;因果展开将作为素数在一般事件结构中的嵌入。但没有这样的附加。然而,主事件结构的轻微扩展弥补了这一点缺陷并提供了作为通用结构的因果展开。主要活动结构通过等价关系进行扩展,以便将两种角色,一种是事件角色,另一种是使能角色;实际上,主要原因是以析取事件为标签,是其主要原因的等价类。使用这种充实是一种适当的因果展开,表现为伪右伴随。附加词主要依赖于极值的中心和微妙概念因果实现是因果历史的体现。最后,我们探索支持平行原因以及所需关键操作的子类别开发具有并行原因的概率分布式策略。


    资料来源:arXiv.org:2003.06267
    第19卷第2期
    发布日期:2023年4月20日
    验收日期:2023年1月17日
    提交日期:2020年3月16日
    关键词:计算机科学-计算机科学中的逻辑

    咨询统计

    这个页面已经被浏览了1410次。
    本文的PDF已下载288次。