摘要:本文提出一种新的多叉树——紧凑(a,b)树。它通过一种整编操作对树中内结点的儿子和孙子个数之间建立制约关系。在元素个数n→∞,树结点的最大儿子个数b>>4时,使树在最坏情况下的高度和空间利用率都接近最优。它的查找运算比B类树都快,它的更新运算(插入和删除)在折算意义下,即在以整个运算序列的最坏时间为代价下,与B类树的性能相同。

摘要:本文介绍了一个英文自动文摘系统EAAS,详细描述了其总体结构、各环节的内部表示和算法、以及背景知识的组织和表示。

摘要:PARLOG语言是一种并行逻辑程序设计语言。其关系定义分为单解关系和所有解关系。本文着重讨论PARLOG单解关系基于与/或树模型和进程调度方法的顺序编译实现技术。

摘要:INCAPS(INteractiv Computer-Aided Proving System)是一个面向时序逻辑的交互式计算机辅助证明系统。本文简要介绍了其证明策略(tactics,tacticals)的类别、结构,并在引入证明策略的层次数、函数树及树上B函数等新概念前提下,深入探讨和证明了IN-CAPS证明策略的有效性问题。

摘要:对于递归程序的操作语义,常用的刻划方法是引入无定义值ω,再定义函数的ω延拓和平坦偏序等概念,导入转移关系和计算序列。本文采用优先处理某些项的原则避免引入ω,从而直接根据谓词逻辑的基底的解释引进计算序列,并且保证了其中的转移关系是一个函数。由此我们否定了Loeckx和Sieber所宣称的“递归程序的操作语义不能建立于谓词逻辑上”的断言。

摘要:软构件的有效组织与检索是软件重用技术的关键。本文介绍了一个支持软件重用的信息检索系统—KDZ。该系统以形式化方法描述软构件为基础,以重用理论为验证准则,通过项重写技术与检索技术相结合,使KDZ系统具有语义验证之功能。

摘要:本文介绍我们研究开发的模块硅编译专家系统——SCES,它由若干个具有公共黑板结构,协同工作的领域专家系统群体构成。SCES具有开放的推理调度系统,广泛使用演绎CAD数据库(dCADB)和逻辑演绎方法,根据输入的模块联结的描述和设计的要求(例如带负荷后的时间延迟,引线排列,模块芯片的长宽比等),通过逻辑网络拓扑结构修正、逻辑功能级和版图级的自动设计,以逐步求精的方式,达到给定的设计要求。最后输出模块的逻辑图、版图;生成记录设计过程和结果的各种dCADB,给出模块各节点逻辑值推演结果、逻辑链时间延迟推演结果以

摘要:KBE-Pascal是一种交互式的程序设计助手系统,其意图是程序员完成设计和实现的困难部分,由KBE-Pascal尽可能地帮助他。 KBE-Pascal的主要基础是格局,这是一种表示程序的方法,它抽去了程序的非基本特性,且明显地表示出算法的基本逻辑特性。 KBE-Pascal的设计目标是通过引用格局库中的断片,快速正确地构造程序。它的目标语言是Pascal。目前该系统由四部分组成:编码程序,用以产生对应于格局的程序正文;一个通用算法片断格局库;格局编辑程序,使得程序能通过修改格局而达到修改程序的目的;正文

摘要:本文提出的面向概念的知识获取系统是一个能理解基本逻辑和自然语言的通用知识获取环境。系统结合了人工智能(ai)、面向对象的程序设计(oop)和逻辑程序设计(Lp)等技术。系统以概念为知识基元,由概念描述器(cd)予以描述。cd是一个类框架和类对象 的结构,它由一组概念特性和属性,逻辑约束和函数式等支持。这些特性可由具体的应用而赋于实际的含义。知识库中的概念集是一个层次式的继承网络。另外系统还附有一些语义子系统,如一阶逻辑系统和简单的自然语言系统,用以各种类型的语法检查及知识的冗余、互斥及非一致性检查。系统主