演绎数据库工具

演绎数据库是既能由事实显式地表示,又能用一般规则隐式地表示的数据库。我们倡导将带类型的一阶逻辑用作定义和操纵这种演绎数据库的语言,并举例说明。这样语言具有通俗易懂的理论,并为数据、查询、完整性约束、视图,以及程序提供统一的表示。我们为实现域、使用带命名属性的原子,处理查询,以及检查完整性约束提供算法。实现是先翻译成PROLOG,然后在标准PROLOG系统上完成。本文假定读者对关系数据库,逻辑、以及PROLOG有所了解。     

从程序语言设计到计算机构造

这是1984年度ACM图灵奖讲演。众所周知,N.Wirth在开发一系列有革新意义的程序语言(如Euler、ALGOL-W、Modula和Pascal)方面有杰出的贡献。据评Wirth语言的特点是其简洁性、设计的经济性和工程上的高质量。在CACM杂志编者按中写道:“Wirth对系统程序设计适当的形式表述的探求获得了引人入胜的见识和令人惊奇的结果。”讲演中Wirth介绍了他的主要项目的简短历史、得出的结论,特别强调了指导他工作的原则。他目前正在设计和研制与Modula-2语言有关的个人计算机Lilith。     

专家系统开发工具OCLIPS中面向对象机制的实现

在专家系统开发工具ＯＣＬＩＰＳ中，提出了结合产生式和面向对象范例的一种新方法，它同时支持逻辑语言的描述性特下和面向对象语言的结构化、信息隐藏、继承等特性。类知识分四个虚拟模块组织。事实模板模块为实例对象定义事实提供了模板，深层知识模块和浅层知识模块分装类方法，消息模块处理发送来的消息，作为类与外界的接口。实例对象共享类方法及消息处理模块，并在其各自块内定义其特有的事实和方法。ＯＣＬＩＰＳ以黑板结构     

多处理机知识库系统

传统(单机上的)知识库/专家系统的效率低是众所周知的。解决的办法之一是采用多处理机并行处理。用通用芯片(VLSI)和相应的控制程序来搭成专门的并行处理系统(如产生式机器系统)是有意义的和现实的。本文介绍多处理机知识库系统的背景和结构,以及一些重要问题如并行模型,知识表达,知识组织与分布,过程语义维护,推理解释控制策略,以及通讯复杂性控制等。最后简单介绍几个例子。     

PROLOG的一种并行解释方式及其实现

文中我们概略地描述了PROLOG的A-并行解释思想。本文主要描述PROLOG的A-并行解释方式的实现及有关的模拟和分析结果。我们首先概述PROLOG 的A-并行解释思想,然后给出A-并行的系统结构和解释模型,以及子句分布和分布式解释器的实现和模拟,最后分析和讨论有关的功能和性能问题。     

基于认知模型的通用多概念精化学习算法

在分析了幼儿认知活动的一般过程基础上，抽象出一个概念学习的认知模型，提出了一个面向通用问题的多概念精化学习算法．与经典的概念学习方法作了比较，说明了该算法的优点．     

关系数据库中面向属性的泛化和约简

文中讨论了关系数据库中的知识发现,以RS理论为数学工具,将面向属性的归纳方法与实例学习相结合,用来关系数据库中知识发现的属性泛化和约简。引入了属性泛化的算法。用信息论的观点来解释属性约简的含义,提出了用信息增益作为属性的重要度量,并给出了基于这种重要度量的属性约简算法。     

基于约简的关联规则采掘方法

关联规则采掘是数据采掘技术的一个重要研究方向,文章提出了一种基于约简的关联规则采掘方法,比较分析证明该睡江对于改善采掘必能确实有效。     

面向对象软件测试及度量的研究

软件测试方法和度量是提高和保证软件质量的关键,文中介绍了一种认识面向对象软件集成测试和试想量的方法（URI）,以及一种继承树深度（DIT）的度量标准,从这一测试方法显示继承的过多使用将增加软件测试的复杂性,论文最后介绍了有待进一步研究的问题。