论文部分内容阅读
<正>非单调推理是针对常识推理而提出的,但是标准非单调逻辑都存在可计算性问题,如何提出一种
可废除推理研究
【摘 要】
：
<正>非单调推理是针对常识推理而提出的,但是标准非单调逻辑都存在可计算性问题,如何提出一种
【机 构】
：
汕头大学计算机科学系,清华大学计算机与技术系
【出 处】
：
计算机科学
【发表日期】
：
1996年2期
【基金项目】
：
国家八六三计划,国家自然科学基金,李嘉诚学术基金
其他文献
<正>近年来,人们普遍认识到,软件产品和其它产品一样,其生产率和质量的高低与生产产品过程有关,改进软件过程的质量,可最终获得高质量的软件产品。因此,从八十年代开始,学界
协同工作的需要和计算机技术的发展群件的产生和发展提供了条件，协同工作的需要同样体现在软件开发过程中，因此应对支持协同工作的ＣＡＳＥ工具加以研究，而上前国外在这方面所作的工作却
<正>引言 1.1 eoRBA对象服务 coRBA是OMG组织制定的分布对象计算设计规范,其目的是在分布异构环境中实现信息和资源共享。对象服务是建立在CORBA核心ORB之上的服务接口,它独
<正>1.引言近年来,Agent一词变得越来越引人注目,有关Agentr 的各项研究在国外已得到迅猛发展,Agent 一词的译法在国内还没有定论,通常译为智能体、智
<正>1.引言 近年来,为了在开发一个复杂系统的过程中尽量提高系统的正确性,减少开发过中重复、较琐的工作,国内外许多学者都从逻辑的角度进行研究,用逻辑系统对并发系统程
<正>STEP是150组织颁布的产品数据交换国际标准,其信息模型由EXPRESS语言建立。XPRESS建立的数据模型不是单纯的实体/关系(E/R)模型,也不是完全的面向对象(00)模型,尽它不能
<正>通信网,如公用交换电话网(PSTN),公用分组交换数据网(P SPDN)和综合业务数字网ISDN)等,需不断地了解用户对业务的需求,并且据此迅速地向用户提供新业务。但是基于传网络
<正>1.引言在数值计算中,往往循环迭代所占的时间最多,因此,我们的并行库和并行识别器AUTOPAR是针对循环实现的。IX)循环经过PORT系统的分析(流分析、依赖分析和;州了分析),
<正>近几年,计算机的计算能力、数据存储设备、数字化输入设备以及多媒体技术的发展异常迅猛,使计算机对数据的处理能力有了极大提高。多媒体数据已成为用户所需信息资源的重