【摘 要】
：
目前非单调推理、知识与信念逻辑(亦称关于知识的推理)和信念修改理论已成为人工智能理论研究中的三大新的热门课题。近半年来,笔者参加了国际上先后召开的四次重要的人工智
【机 构】
：
荷兰阿姆斯特丹大学计算机科学系留学生
论文部分内容阅读
目前非单调推理、知识与信念逻辑(亦称关于知识的推理)和信念修改理论已成为人工智能理论研究中的三大新的热门课题。近半年来,笔者参加了国际上先后召开的四次重要的人工智能理论学术会议:JELIA′90(人工智能逻辑,荷兰阿姆斯特丹,1990年9月)、CSL′90(德国海德堡,1990年10月)、MEDLAR′91(英国伦敦,1991年3月)和 KR′91(美国波士顿,1991年4月)。本文将简要介绍有关信念修改的基本概念、理论和方法,也介绍了这一理论研究的进一步发展梗概。
其他文献
管理信息系统(MIS)开发具有周期长、投资大、变化频繁、通用性低等特征,MIS 开发领域中的软件危机现象表现得尤为突出,因此,对 CASE工具的需求也就越显得迫切。据统计,面向 M
<正> 经国家教委及中国计算机学会分别派遣,我们七人于1991年5月去美国奥斯汀参加了第十三届国际软件工程会议,会后分赴匹茨堡的卡内基-梅隆大学、纽约州立大学石溪分校,以及
<正> 一、对象及对象的构成对象(object)是由封装起来的数据结构及其相关操作构成的集合,是一种抽象数据类型。数据结构描述了数据文件、可执行模块、进程间通信、信箱、目录
超文本与超介质系统将在九十年代获得极为广泛的应用。本文就它的发展历史、现状及研究进行了综述,
AIUM 从 Stream 计算(或半序集演算体系)出发,微观地研究计算和对象抽象化,是一种面向对象的并行程序设计语言。本文拟分为两部分:第一部分介绍面向对象的并行计算模型及其语
<正> 一、引言计算反射(computational reflection)是80年代初发展起来的程序设计概念和技术,早在这个概念提出以前,人们在编写程序如 compiler、debugger 等时就已隐含地使
本文讨论并发程序设计语言 Occam 及其运行微机 Transputer 的主要特性。Occam 用一组并行操作且通过通道通信的进程来描述外部世界,而 Transputer 作为并行处理系统的一个积
本文给出 PC Prolog 的规范模块 CONSULT 及其相应的数据结构,可用作简单交互式面向对象 Prolog 系统的内核。该系统最初是为 CAD/CAM 的应用而设计的,但也可用于许多与复杂
Uniface 是一种高级的第四代语言环境,它使 DB 应用系统的开发完全独立于具体的数据管理软件。本文述及了 Uniface 的体系结构,介绍了它的主要功能及其将来。
4.扩充文法为了严格忠实地表示 Stream 计算模型,我们定义了基本文法。但是,对于大型的并行问题,往往需要更简洁、更抽象的文法描述。为了提高描述力,简洁而安全地编写程序,