论文部分内容阅读
本文分析了 J.F.Allen 的时序推理算法的局限性,给出了一种新的有效算法,并基于 ATMS系统的特点,建立了一个新的时序推理系统 TRS。
一个新的时序推理系统TRS
【摘 要】
：
本文分析了 J.F.Allen 的时序推理算法的局限性,给出了一种新的有效算法,并基于 ATMS系统的特点,建立了一个新的时序推理系统 TRS。
【机 构】
：
黑龙江大学计算机科学系哈尔滨150080
【出 处】
：
计算机科学
【发表日期】
：
1993年3期
其他文献
<正>一、引言 人脑神经系统信息活动的一个重要特征是能够接收和处理模糊的、连续随机的信息,并在输出时不追求绝对精确解而只要求能找到问题的满意解。模糊联想记忆神经
<正>一、前言数据是知识的潭泉,拥有大量的数据与拥有许多有用的知识完全是两回事.为了有效地利用大量的公共数据,必须更好地理解这些数据,并从其中快速、准确地发现知识.这
<正> 一、前言规划是人工智能中的一个重要分支。一个规划是一个动作序列,其执行的结果将世界从初始状态带到目标状态。在规划研究的历史中,一个重大的突破是七十年代初的STR
<正>1引言 cAsE(计算机辅助软件工程)环境会产生大量异质数据,包括手册、程序源代码、测试结果,以及功能说明.为了有效地管理这些数据,CASE数据仓库必须满足几个数据管理的需
<正> 计算机网络,就是用通信线路和软件协议把多台计算机连接起来,快速准确地进行数字数据交换的一种系统。分布式计算系统,则是联合起来解决大型的单个问题,或者同时去执行
本文提出的一种面向对象系统开发方法－ＺＯＯＭ方法，以软件系统所作用的现实世界为系统主题，首先构造系统模型，然后在其上建立系统功能，文中介绍了该方法的思想，开发步骤及支持环境的设计。
<正>一、引言 人工智能(AI)中自然语言处理(理解)的研究在八十年代进入了并行处理阶段,国外已有众多研究成果[1]。进入九十年代,其研究水平已相当高,其中比较成功和有名的
关于行动的推理是研究行动及其所带来的变化的规律的一个人工智能分支。近年来,关于行动的推理技术一直伴随着非单调推理等一系列相关领域的开展而发展,出现了一系列新的理论
<正> 1.引言模态逻辑自动推理的归结方法始于Farinas-del-Cerro的工作,近几年,又得到了进一步的研究和发展。一阶模态逻辑是在命题模态逻辑系统上增加了全称量词和存在量词,
<正>1.引言当前的数据库系统按其体系结构可分为两大类:一是单一式体系结构,如FOXBASE、FOXpRO、CLIPPER、PARAI洲〕X等。这一类系统大多实现在PC机上,其特点是整个数据系统