机械加工工艺设计自动化的数学模拟

本文提出一种实现工艺设计自动化的有效方法——用谓词函数描述工艺过程设计并采用PROLOG语言作为编程的语言工具。给出了工艺设计函数的3种表达形式。深入分析了影响工艺设计的工艺因素及其相互作用,列出了工艺设计中15种谓词逻辑表达式,叙述了由谓词逻辑式转化为PROLOG程序的过程和实例。     

一种对PROLOG进行矛盾检测的算法

本文首先介绍了PROLOG检测工具的研究现状，作者针对PROLOG语言的特点，提出了一种对PROLOG进行矛盾检测的算法，并用Turbo C语言实现了该算法，该算法作为一种PROLOG检测工具已被合并到Rurbo PROLOG系统盘中。     

分布式知识库系统DKBS/TH—1中推理与查询接口的设计与优化

本文介绍了一个分布式知识库系统DKBS/TH—1的结构模型。它以PROLOG作为推理工具,Unify关系数据库系统作为存放知识的机构,二者之间通过一阶谓词逻辑的子集Horn子句进行联系.分布式系统中各结点之间的通讯联系也由Horn子句来实现,本文还讨论了PROLOG与关系数据库的结合方法及查询优化的技术.     

多规范语言LIPS

LIPS是作者设计的一种兼有LISP,PROLOG,SMALLTALK语言功能的“函数+逻辑+目标”程序设计语言.本文阐述LIPS的设计思想、LIPS中的面向对象程序设计功能、LIPS的多规范程序设计风格及LIPS的实现技术,提出了“逻辑变量作用域”、“狭义归约”和“广义合一”等概念.     

PROLOG处理高阶谓词的方法

基于一阶谓词逻辑的PROLOG语言不允许量词作用于谓词,这限制了它的表达和处理范围。本文提出了两种PROLOG(间接)处理高阶谓词的方法,即“公用谓词”方法和“附加子目标”方法。     

范式的PROLOG程序实现

本文使用PROLOG语言程序,对一阶逻辑中命题公式的真值表和谓词公式的前束范式进行了处理。文章分为两个部份:     

大型PROLOG系统查询优化技术

一、引言逻辑程序设计语言 PROLOG 是一种描述性语言,用户只需将问题求解所需的知识以子句形式提交系统,系统依靠自身的演绎求解机制可根据用户提供的知识求解出用户期望的结果。正因为如此,PROLOG 求解机制对用户查询的处理效率就成了构造实用 PROLOG 系统     

一个能获得3NF关系的数据库设计专家系统

本文在数据分析的基础上,运用关系数据库的规范化理论概括出一系列产生规则,设计并在IBM PC上用PROLOG语言实现了一个特定的专家系统(ERTORS3),其知识库由一个描绘应用的语义网络和一组能将语义网络转换为关系数据库的产生式规则组成,利用PROLOG的推理机制自动生成能满足3NF关系的关系数据库。     

冠状动脉硬化性心脏病诊治专家系统

本文是对冠状动脉硬化性心脏病进行诊断与治疗的一个医学专家系统,(仅对原发性心脏停搏,心绞痛和心肌梗塞三种疾病进行处理)主要分为五大部分:知识库、推理机、解释系统、知识获取部分、数据库。为了使信息处理比较细致,我们对模糊性问题进行了精确化处理,对推理机方面采用了正向推理与反向推理交叉使用的混合的模糊推理。为了使医生的经验描述准确,我们采用了可信度推算使其精确化,同时为了使用方便,也为了解决中文的语义的多义性以及假定使用本软件的医务人员不懂PROLOG语言和序设计(本程序采用PROLOG语言)     

纵向注入逻辑

描述一种新的注入逻辑，即纵向注入逻辑，在这种逻辑中，对器件的结构作了特殊的设计以取得高封装密度和低功耗－延时乘积，普通注入逻辑（Ｉ＾２Ｌ）的横向ＰＮＰ注入极被纵向结构所代替。对于在Ｉ＾２Ｌ中影响封装密度和功耗－延时乘积的因素进行了分析，并且给出了这种新结构的设计依据。     

逻辑正弦—余弦函数在数字电子技术中的应用

将正弦－余弦三角函数和布尔逻辑代数相结合，交叉形成逻辑正弦－余弦函数，其自变量像普通三角函数的自变量一样可以连续取值，而函数值象布尔逻辑函数一样只取逻辑值“０”和“１”，遵从逻辑代数和运算规则，逻辑正弦－余弦函数既具有正弦－余弦三角函数的某些性质，又具有布尔逻辑函数的特性，为分析，设计数字逻辑电路实现的信号处理系统，提供了一种数学工具和信号形式。     

逻辑正弦－余弦函数在数字电子技术中的应用

将正弦－余弦三角函数和布尔逻辑代数相结合，交叉形成逻辑正弦－余弦函数，其自变量像普通三角函数的自变量一样可以连续取值，而函数值象布尔逻辑函数一样只取逻辑值“０”和“１”，遵从逻辑代数的运算规则．逻辑正弦－余弦函数既具有正弦－余弦三角函数的某些性质，又具有布尔逻辑函数的特性，为分析、设计数字逻辑电路实现的信号处理系统，提供了一种数学工具和信号形式     

关于PROLOG中库操作谓词RETRACT的语义及其实现

PROLOG语言曾被日本选作第五代机的核心语言,至今仍是AI研究领域中很活跃的一部分。本文立足于实践,对PROLOG中很重要的库操作谓词retract的语义进行了扩充,并阐明了扩充后PROLOG系统的实现思想。     

构造Dn—最优确切设计的偏移调整算法

给出了构造Ｄｎ－最优确切设计的一个新的算法－－偏移调整算法，简称ＥＡＡ算法，并同时给出与Ｗｙｎｎ－Ｍｉｃｈｅｌｌ算法的Ｄ－最优性的比较，证明ＥＡＡ算法有较好的设计效果。     

一种新的布尔函数对称检测算法

对称是逻辑综合、逻辑优化以及映象技术领域中的一个十分重要的性质－ 对于对称函数, 可以使用特殊的逻辑综合程序来改进设计结果－ 使用对称也可以提高映象技术和等价检测的有效性－ 本文提出一种用于ＯＢＤＤ 布尔函数对称检测的高效算法     

逻辑分析卡的硬件设计

逻辑分析仪是数字域检测的基本仪器，它在数字电路中的作用相当于时域测量中的示波器，在微机上开发逻辑分析仪系统，可充分利用微机的硬、软件资源，有较高的性能价格化，使用方便，功能易于扩充。文中对逻辑分析仪作了简单介绍，探讨ＢＨ－Ｌ３２逻辑分析卡硬件设计的基本原理，介绍了实际调试该逻辑分析卡过程中的一些问题。     

演绎数据库系统LEDDB

本文给出了建立在函数/逻辑型语言LISP-ELP基础上的一个演绎数据库系统模型.该系统比之于建立在PROLOG基础上的演绎数据库系统具有以下优点:有更灵活的控制求解策略、更丰富的查询方式,可与更多的知识表达方式相联系.文中还提出了一种新的知识库管理策略,即多键散列的存取策略,使系统的效率大幅度提高.     

实时系统的一种定量时态逻辑描述方法

针对Ｍａｎｎａ－Ｐｎｕｅｉｌ命题线性时态逻辑（ＰＬＴＬ）在描述实时性方面的不足，本文扩充ＰＬＴＬ，引入物理时间因子，提出一种用于实时系统的定量时态逻辑，并给出一个实例－监视器计时网（ＷＩＮ）的定量时态逻辑描述。     

面向对象多层分布并行逻辑语言MDP—PROLOG＋＋的设计

本文探讨了逻辑、面向对象、多层并发等方法的融合，介绍一个较规范的较通用的面得对象多层分布并行逻辑语言ＭＤＰ－ＰＲＯＬＯＧ＋＋，论述了该语言面向对象设施和并发执行设施的设计，该语言不仅可在多层分布并行系统上实施，也可在小规模粗粒度的并系统上实现。     

一种处理不确定性语言的设计与实现

提出一种基于PROLOG扩充不确定性处理能力的逻辑程序设计语言EXLOGL,并介绍了该语言解释系统的总体结构、知识库设计及演绎求解原理.