浅论逻辑在第五代计算机中的作用

本文主要通过第五代计算机过渡性的核心语言PROIOG—逻辑程序设计语言,讨论(一阶谓词)逻辑在第五代计算机中的作用。     

卡诺图在可编程控制器编程中的运用

本文介绍了运用卡诺图来编写可编程逻辑控制器 (PLC)逻辑程序的优点及方法 ,并通过实例说明了卡诺图在设计逻辑程序时的实用性和简易性 .     

约束逻辑程序的一个新语义研究

首先介绍了s-语义方法的基本思想,然后采用这种方法讨论了约束逻辑程序一个重要的可观察性特征——多重回答约束,并给出相应的语义,使得从语义角度反映了约束逻辑程序的并行特征,而且引入了一个新的关于程序等价的定义,从更严格的角度分析了程序的等价,加深了对程序的理解,有助于程序员编写高效和简洁的程序,突出了约束逻辑程序设计系统作为程序设计语言的特征.     

稳定模的分裂性（英文）

逻辑程序是一些具有正负子句的规则集合.基于MOORE提出的自认知逻辑的基础上,GELFOND引进了稳定模的概念,后来得到更进一步的发展.在文章中,作者研究了稳定模的分裂性质.这性质表明当逻辑程序分裂成部分时候,它的稳定模的计算可以得到简化.     

一种形式化知识库更新方法--修正程序

本文在逻辑程序的理论基础上引入一种规范知识库更新的形式化方法-修正程序，它允许使用逻辑程序的说明性语义和强制性语义来解释修正规则，但用来解释修正程序将会变得非常困难，本文将引入修正程序的语义模型-P-合理修正，并讨论了修正程序同逻辑程序的关系及修正程序的现实意义。     

Prolog语言与G6del语言中元程序设计方法的研究

元程序设计是许多逻辑程序语言具有的重要特点，它可以有效地实现程序自解释自调节功能．研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义，Prolog语言与Goeel语言分别支持使用非基本表示与使用基本表示的元程序设计功能．本通过对这两种语言中的元程序设计方法进行研究．讨论了基本表示与非基本表示的主要特点和实现机制，具体分析了Prolog语言与Gbdel语言元解释程序的构造方法以及部分求值功能实现.     

Prolog语言与Gdel语言中元程序设计方法的研究

元程序设计是许多逻辑程序语言具有的重要特点,它可以有效地实现程序自解释自调节功能,研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义.Prolog语言与Gdel语言分别支持使用非基本表示与使用基本表示的元程序设计功能.本文通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,具体分析了Prolog语言与Gdel语言元解释程序的构造方法以及部分求值功能实现.     

Prolog语言与Gödel语言中元程序设计方法的研究

元程序设计是许多逻辑程序语言具有的重要特点,它可以有效地实现程序自解释自调节功能,研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义.Prolog语言与G(O)del语言分别支持使用非基本表示与使用基本表示的元程序设计功能.本文通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,具体分析了Prolog语言与G(O)del语言元解释程序的构造方法以及部分求值功能实现.     

Prolog语言与G(O)del语言中元程序设计方法的研究

元程序设计是许多逻辑程序语言具有的重要特点,它可以有效地实现程序自解释自调节功能,研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义.Prolog语言与G(O)del语言分别支持使用非基本表示与使用基本表示的元程序设计功能.本文通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,具体分析了Prolog语言与G(O)del语言元解释程序的构造方法以及部分求值功能实现.     

论科学发现的逻辑与认识逻辑

通过整合普通逻辑,可以从类逻辑、整体逻辑与条件逻辑三方面把握科学发现的逻辑程序、机制与过程,科学发现的主轴是类比——归纳——演绎辩证组合的推理链.这是在唯物辩证法指导下,对形而上学方法的知性逻辑成果的按认识过程的整合,科学发现的逻辑就是认识逻辑.普通逻辑修正、改造的新方向,实即黑格尔、恩格斯、列宁逻辑思想所指示的辩证法、认识论在逻辑基础上统一的方向.     

受限的proflog语言及其表推演过程语义

Fitting提出一种逻辑程序设计语言proflog，并把表推演机制作为语言的过程语义，表推演具有直观，灵活的特点，它的单步扩展规则具有很强的语义特征，它是扩展逻辑程序类的另一个理想的证明论，不过proflog包含了全部一阶理论，等词的替换性使得proflog过程语义比较复杂，在此提出讨论一种受限的程序语言cProflog，它包含函词，但限制了等词的替换性，体现了表达能力与计算复杂性之间的平衡，对于逻辑程序语言cProflog，还给出了复杂性较低的表推演过程。     

归纳程序在数学发现中的作用

数学是逻辑程序与归纳程序的辩证统一，书面呈现的是演绎的逻辑程序，而实际的心理过程却是归纳的探究程序。从信息加工角度分析了归纳的意义、数学发现的过程及归纳程序的数学发现中的作用。     

LNG运输船双燃料主机燃气供给管路惰气吹扫方案设计初探

双燃料主机在LNG船舶上的应用既环保又经济。而LNG燃料的安全性是双燃料主机需要考虑的重要因素,因此主机在运行过程中,燃料气的各种检测措施都需要进行周密的设计。对燃料气管线采用了双壁管设计,进一步保证了其安全性。阐述了燃料气供应中断后,主机惰气吹扫逻辑控制的实现过程,旨在通过逻辑程序的设计,达到燃料气安全使用的目的。     

概率逻辑程序研究综述

概率逻辑程序是一种部分事实带概率的逻辑程序,在数据挖掘、自然语言处理、生物信息学、活动和行为识别、机器人、网络分析、音乐分析等领域有着重要的应用前景。文章总结了概率逻辑程序的语义和推理机制,最后指出了概率逻辑程序未来的主要研究方向。     

重量法数字式油耗自动测量仪

本文介绍一种发动机油耗自动测量仪(重量法).文中分析了自动测量的过程,拟定了完成这一测量的逻辑程序,并给出了实际的控制线路.     

汉密尔顿回路逻辑程序的两个结果

基于回答集语义的逻辑程序提供了描述性问题求解的范例,而逻辑程序的一阶环公式提供了计算回答集的新方法——自动定理证明.本文研究了汉密尔顿回路逻辑程序的一阶环公式,证明了计算汉密尔顿回路的有助于提供计算效率的两个主要结果.     

动态模糊逻辑程序设计语言编译器的实现

动态模糊逻辑程序设计语言的独特优势在于可以处理动态模糊数据,但现存的编译器很难有效解析动态模糊数据。针对此问题,通过扩展监督命令程序结构,引入对动态模糊性的形式化描述,设计一种新型的动态模糊逻辑程序设计语言编译器。通过实例验证,该编译器能正确解析动态模糊数据,降低了动态模糊逻辑程序调试难度,提高了动态模糊逻辑程序开发效率。     

分析逻辑程序的一种有效工具—推导格式

本文提出逻辑程序阿部推理机制的一种格式化描述方法——推导格式。这种描述方法是分析逻辑程序的一种有效的工具,它可帮助我们理解和调试给定的逻辑程序。     

Horn子句逻辑程序的Petri网模型

Horn 子句逻辑程序 H 可以逻辑等价地转化为 Petri 网模型 M,在 M 中从初始标识 N_0到目标变迁/g(?)形成的发射序列对应着求解 H 的调用序列,在 M 中存在变迁不变式 X≥(?),并且 X(tg)≠0是 H 有解的充要条件。     

关于可编程控制器控制系统总体设计的分析

社会进入了信息化时代,可以说周围大部分事物都是由信息化进行控制,一个小小的可编程控制器就能控制整个系统的工作,那么它是怎么进行控制的,本章中,主要根据可编程逻辑控制器的一些原理,还有它在现实中的应用简要的分析讨论下。