并行时序推理模型及测试床设计.pdf

苏州大学
硕士学位论文
并行时序推理模型及测试床设计
姓名:詹卫华
申请学位级别:硕士
专业:计算机应用
指导教师:李凡长
20040401
要摘时序推理是人工智能领域的主要课题之~。针对分布式环境中的不同主体的事件间的时序关系进行表示和推理,本文提出了基于代数和逻辑的的并行时序推理模型,它们的共同的特点是∥不同的主体分析了时序推理的当前研究现状;提出了基于代数的并行时序推理的代数模型提出了基于逻辑的并行时序推理的逻辑模型给出了并行时序推理模型的测试床设计的方案并实现了了个简单的原型系统。关键词并行时序换位推理时序推理时序常识导师姓名:李凡长淌有不同的时间线。本文的主要工作是:作者:詹卫华并晔毙蛲评砟P图糹州试『未址汁摘受’、
:瑆.:.篜篗:—.猦并行时序推理模型及测试床设计
研究生签名:鑫赡日期:骸研究生签名:纶同期:堂工豪苏州大学学位论文独创性声明及使用授权声明学位论文独创性声明为获得苏州大学或其它教育机构的学位证书而使用过的材料。对学位论文使用授权声明文合作部、中国社科院文献信息情报中心有权保留本人所送交学本人郑重声明:所提交的学位论文是本人在导师的指导下,独立进行研究工作所取得的成果。除文中已经注明引用的内容外,本论文不含其他个人或集体已经发表或撰写过的研究成果。也不含本文的研究作出重要贡献的个人和集体,均已在文中以明确方式标明。本人承担本声明的法律责任。苏州大学、中国科学技术信息研究所、国家图书馆、清华大学论段保存论文。本人电子文档的内容和纸质论文的内容相一致。除括刊登畚牡娜ú炕虿糠帜谌荨B畚牡墓ú包括刊登谌期:』期:位论文的复印件和电子文档,可以采用影印、缩印或其他复制手在保密期内的保密论文外,允许论文被查阅和借阅,可以公布苏州大学学位办办理。研究生签名:导师签名:
第一章引言理的基本要素。当我们谈论某发生变化的事物,,,这种关系就是时序,呈献出的形式或者是隐式的或者是显式的。算机科学方面,它是信息系统设计,程序验证,。对于存储和查询在时间上变化的信息的需求,是提出时态数据库的起源,时态数据库为过去、现在、将来的数据管理提供了一个统一的框架捎贛和将时序逻辑用于反应式系统的规范和验证工作,时序逻辑获得了很大发展并在理论计算机科学中日益显示其重要性..毙蛲评硎荕中个体闹匾L卣骱凸丶际酰在肪持校珹除了反映现在世界的静态知识时,还必须具有自身的和其他个体的关于过去,将来的知识和信念,这将必然要涉及时序问题,同时脖匦攵宰陨砗推渌鸄的行为作出预测时序知识表示和时序推理问题来自于许多学科的广阔领域,在计和常识推理等开创性工作,锌梢钥闯觯菏毙蛭侍庾砸豢J季爿·蛲菩吞钚图安馐噪呱杓
,自年时间是和我们日常生活紧密联系的一个范畴,我们不对其作哲学某种表示方法,将时序知识以时序推理系统能接受的方式输入,系统和推理,,如拦斯ぶ悄艽蠡,以来,每年都要举行一次旨于汇集各领域在时序推理方面的成就的国际研讨会,,仅仅把它当作一个描述事件发生的本原概念。时间常理解为一个数值,当把时间区间作为时间原子时,:从所求解的问题中抽取时序知识,。例如:∶魃衔缟峡危挛缣咔颍砩献韵啊并行时序拄理模型及测试床设计
理的两种主要方式是:一种是基于逻辑的,一种是基于代数的。原理判断一致性,当前流行的判断一致性的方法是构造模型的方法称基于逻辑的推理模型,是将时序知识用各种时序逻辑表示成相应子句集的形式,然后判断此子句集是否可满足,经典的方法是用消解为模型检查。基于代数的推理模型是将时间区间或时间点作为时序原语,各种时序代数是定义在这些时间原语上的关系代数,时序代数是由一个时序关系对象集合奔涞慵蚴蔽是浼涞墓叵和分别定义在其上的运算构成。时序代数有定性时序代数和定量时序代数,分别用于处理定性和定量的时序信息,在具体的时序推理系统中可能是采用基于代数的时序推理系统,在问题求解时,一般都是将问题形式化为时序约束满足问题,将时序关系以时序约束网络的有向图表示出来,通过执行弧一致算法而实现其推理过