基于事件的因果关系可计算化分析研究

来源 :浙江大学 | 被引量 : 0次 | 上传用户:cool_1944
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在人类使用的语言和人们对客观世界的形式化描述中,不同种类的因果关系无所不在。长期以来,人们试图建立一个令人满意的一般性的因果关系分析理论。但这已被证明是一项非常困难的工作。本论文中所描述的研究工作是试图建立一个因果关系的可计算性理论,而且从因果推理的观点来看,这里的因果关系被限制在基于时间上有序事件之间,更精确地说是存在于部分状态与动作之间的。 具体地说,此项研究在以下几个方面做了工作:它对因果关系存在的实体给出了一个合适的框架;它建立了一个基于事件的因果关系的理论框架,在这个框架下因果关系的结构与因素能够被合理描述;它提供了一个得到本体论与因果理论支持的基于事件的因果关系的一般表达方式,使因果关系能够被形式化为在实际推理(例如预测推理)中应用的因果规则,并使因果关系的非单调性以及其它的一般性质得到体现;它构造了基于事件的因果关系的抽象推理模型,特别是因果预测、因果解释和因果诊断;最后它把因果推理模型推广应用到具体的领域以建立实际的AI系统,例如在故事理解和法律推理中的应用。 此项研究的创新性主要体现在以下几个方面: (1) 通过对事件内部结构的分析,为因果关系建立了以半状态与动作为实体的本体框架,从而把因果关系定义在半状态与动作的粒度上,使得传统上不同的实体,比如对象、事件、状态和动作自然地相互关联。 (2) 通过对因果关系的可能类型的全面分析,给出了因果关系的结构与组成元素,特别是区分了潜在的因果关系内的原因、结果和因果场中的激活条件,并且把它们同半状态与动作对应起来,建立了关于因果关系的分析理论。对基于事件的因果关系的结构分析使得我们深入到半状态与动作的层次来理解因果关系。 (3) 通过对因果关系一般性质的检验,建立了一种基于默认逻辑的因果规则表示方法。因果关系的默认规则表达为潜在的因果关系提供了一个简洁的语法与语义形式化工具,使得因果关系能够应用在因果推理模型中,比如预 浙江大学博士学位论文 测。解释和诊断。这个表达抓住了因果关系的特征与本质,也抓住了这样 一个基本常识:在因果推理中,原因与一组激活条件在推出结果的过程中 所起的作用不同,而且原因比激活条件更重要。这也体现了因果推理的非 单调性。 (4)以默认规则表达方法为基础,建立了具体领域的因果推理应用模型。例如 在故事理解领域中,通过默认因果链来填补故事中孤立句子之间的间隙, 从而使得此故事有一个很容易被理解的因果链。在法律推理应用中,把法 律条文表示成因果规则,按照所建立的因果模型进行有效的推理,作为计 算机辅助法律事务所的核心系统。 利用因果关系进行推理是人类最基本的一种智能体现。本研究系统地对基于事件的因果关系的性质、结构、表示和推理模型进行了讨论,对于人工智能基本问题的研究与实践有重要意义。
其他文献
<正>我是一名学历不合格的教师。1948年初中毕业,仅读了三个月的高中,就因故辍学;1949年参加教育工作后,也从未接受过任何形式的学历培训,直至退休,我的"最后学历"仍是初中毕
20世纪80年代以来,全球化的浪潮席卷了世界上的每一个市场,一个企业仅靠自身的资源和能力在竞争中取胜变得越来越困难。资源外包为企业实现资源优化配置、发展企业的核心能力提
进入20世纪90年代,随着计算机网络技术、通信技术和软件技术的发展,Client/Server(C/S)系统设计和开发技术逐渐被各界所普遍接受,并极大地推动了全球软件产业的发展。C/S系统由
<正>近年来,随着语文课程改革的推进,文学作品的“多元解读”已经成为一个热门话题。然而在实践中,我们发现“多元解读”面临着一些问题,这些问题在一定程度上影响了“多元解
明清小说是明清时期最为成熟的文学形式,具有很高的艺术价值和创作水平。在儒学异端与近代解放的思想催化下,明清社会的感伤主义在文学领域逐渐占据上风,并成为文学作品中的
20世纪60到80年代间,上海美术电影制片厂制作了一系列高水平的动画电影。在电脑技术不断革新的今天,我国的动画作品质量反而比不上当年的逐帧动画。传统制作手段是否意味着落
企业兼并和收购活动始于19世纪末,是市场经济的必然产物。自19世纪末以来,以美国为首的西方国家已经经历了五次企业兼并浪潮,对西方国家的经济发展产生了深远的影响。可以说现代
众所周知,法律教育是塑造人的品质,预防犯罪的重要手段,它对于预防未成年人犯罪的发生尤为重要。本文研究的重点就是如何通过法律教育以实现预防未成年人犯罪的问题。 文章从
当今社会、科技的发展对计算机的速度和精度有较高的要求。串行计算由于受到物理极限的限制,使得为了满足人类这一无止境的追求——超高速,人们必然求助于并行计算。 然而,在