摘要：在E. Y. Shapiro教授的Concurrent Prolog语言的基础上,作者扩充并增强其功能后设计实现了并行逻辑程序设计语言PALOG(PArallel LOGic programming language)。它是国内目前真正能在微型计算机上运行的一门并行逻辑程序设计语言。本文介绍了PALOG的有关特征和语法规则,并通过一个并行逻辑专家系统在PALOG环境中的执行,初步演示了其功能,评价了其效率。

摘要：本文以模糊关系推理语言FRIL为背景,介绍了用于处理各种不确定性的支持对理论(support-pair theory),探讨了基于积模型(multiplication model)的一般的模糊逻辑程序设计语言的基本设计原理。这类通用的语言是一种类似于PROLOG的查询类型语言。基于Zadch的模糊集理论和Shafer的证据理论,其事实和规则语句的不确定性用支持对来度量。这类通用语言为在专家系统中表达知识和进行不确定推理提供了一个强有力的新工具。

摘要：本文通过一个系统设计实例,讨论在支撑软件仅支持“应用程序的远程数据库访问”的环境下,如何完成系统的分布式设计,其主要内容包括:设计合适的分布式体系结构、确定段及段分配策略,全局目录管理、本地访问与非本地访问的处理。

摘要：本系统利用美国 Borland International公司研制的PROLOG编译程序(后改进并由南大汉化成为中西文PROLOG2·0),设计了一个齿轮传动设计专家系统。它可帮助用户选择传动类型、齿轮材料、初始参数、精度等级、粗糙度等级、润滑油粘度以及齿轮结构形式。然后根据推理得到的数据,用PROLOG语言计算出齿轮的有关尺寸,最后能绘制出齿轮零件图。

摘要：本文叙述了智能峰值电压表的工作原理,基本结构和校对方法。智能工频峰值电压表是采用单片机实现的新一代峰值测量仪表,它以8031为CPU,配有键盘输入,控制输出,打印和数码显示,功能强,可靠性高。

摘要：设计和实现了的一个机器人搬运作业规划系统,它是面向对象的程序方法在人工智能上的一个应用实例.该系统对给出的某个任务能找到所有解和最佳解.全部路径规划(包括最佳路径)用中文输出在磁盘文件上.搬运作业的各条最佳路径还可用图形动画显示之.

摘要：本文对发展计算机电话网的意义以及电话网组成特点作了介绍。根据我们的实践,着重对系统中的关键设备——通信接口机的设计和实现进行了探讨,概括了通信接口机应具有的特点,对高层通信软件作了概述。

摘要：本文从原理上设计和定义了一个基于Horn子句逻辑的并行推理机,其结构由进程和进程网络组成,其计算方式为进程合一,也就是进程通讯。同时,还指出了这种并行推理机与生物神经网络计算的相似性。

摘要：本文阐述了用增广转移网络作为英语的一种自上而下的语法分析方法,并简要地描述了已实现的英语语法结构以及增广转移网络的设计和实现。

摘要：本文提出了一个知识表示形式工具——层次逻辑。层次逻辑可以直接地应用来表示某一具有层次结构的设计工作。为这类任务建模最关键的是确定合适的层次域,函数集合和关系集合。