程序设计之新解

用通俗生动的语言描述了计算机程序设计所涉及的语言、语法、结构化程序的逻辑结构,面向对象程序的事件驱动机制和消息传递机制,指出计算机程序已经深入现代生活的各个方面,程序是人类思维共享,文明传承和认识自然规律的工具,应重视程序设计教育。     

浅谈逻辑在计算机科学中的应用

本文阐述了逻辑与计算、计算机的起源、程序设计之间的相互关系,并在一阶逻辑的基础上,以LISP、PROLOG等为例,给出了逻辑在程序设计语言和逻辑程序设计中的应用,以此说明计算机科学是逻辑的超大规模应用。     

归纳逻辑程序设计综述

归纳逻辑程序设计是由机器学习与逻辑程序设计交叉所形成的一个研究领域,是机器学习的前沿研究课题。该文首先从归纳逻辑程序设计的问题背景、类型划分和搜索程序子句三个方面介绍了归纳逻辑程序设计系统的概貌;然后结合实验室的相关研究工作,回顾了归纳逻辑程序设计研究的发展;之后介绍了归纳逻辑程序设计领域中需要深入研究的若干问题,并提出了新的解决思路;最后是总结,以引起读者对归纳逻辑程序设计领域研究的进一步关注。     

双析取逻辑程序设计基础（Ⅱ）

双析取逻辑程序设计是析取逻辑程序设计的一种扩充，其辩论语框架ＢＤＡＳ为逻辑程序设计中的常识推理提供了一种较为合理的语义框架。     

归纳逻辑程序设计方法综述

归纳逻辑程序设计是机器学习与逻辑程序设计交叉所形成的一个研究领域,克服了传统机器学习方法的两个主要限制：即知识表示的限制和背景知识利用的限制,成为机器学习的前沿研究课题。首先从归纳逻辑程序设计的产生背景、定义、应用领域及问题背景介绍了归纳逻辑程序设计系统的概貌,对归纳逻辑程序设计方法的研究现状进行了总结和分析,最后探讨了该领域的进一步的研究方向。     

逻辑程序设计的研究

本文包括:逻辑程序设计的发展历史,逻辑程序设计与Horn子句、Prolog语言,逻辑程序设计的特点,逻辑程序的并行性以及逻辑程序设计存在的问题。     

一种基于tuProlog的智能售货系统设计

给出一种结合Prolog逻辑智能和传统程序设计的虚拟售货员系统的设计方法。该方法基于tuProlog技术,将业务逻辑与关系型数据结合在一起的传统程序设计转变为将逻辑推理与其他非逻辑处理分开的设计方法,即把系统分为逻辑处理模块和骨骼模块,逻辑模块负责复杂多变的业务逻辑处理,骨骼模块负责其他非逻辑问题,介绍逻辑模块的设计思路和实现步骤。该方法既利用了传统程序设计的优势,又将复杂的逻辑推理独立出来,由专门的逻辑引擎处理,有效提高系统的灵活性和可扩展性,是一种可供参考的智能程序设计方法。     

函数、逻辑程序设计语言FAIR-LILY的设计

本文根据〔1〕和〔2〕设计了一种“函数程序设计与逻辑程序设计统一成一体”的语言,FAIR—LILY。该语言的函数程序设计部分是带变量的 FFP 语言的一种扩充,其中嵌入以逻辑程序设计功能。     

面向对象的约束逻辑程序设计

本文介绍了面向对象技术和约束逻辑程序设计方法在人工智能中应用的基本思想，通过二者的结合使现有逻辑程序设计在逻辑的清晰性和执行的高效性上都得以提高，这样就引入了一个新的研究方向：面向对象的约束逻辑程序设计     

一种集成学习模型MIIE

归纳逻辑程序设计,以下简称ILP,是将归纳学习的理论与逻辑程序设计的方法相结合的一种机     

概率逻辑、不确定逻辑和模糊逻辑之比较

通过一个实例分析比较了概率逻辑、主观概率逻辑、不确定逻辑和模糊逻辑的思想方法。提出了自己的观点：基于数据统计的概率逻辑是最科学的。不确定逻辑比主观概率逻辑更科学。当具有不确定性的原子命题具有独立性时,不确定逻辑和模糊逻辑的观点是一致的。而对于处理带有不确定性的相关性命题,不确定逻辑比模糊逻辑更科学。但是模糊逻辑在建立推理理论方面见长。     

逻辑函数的双逻辑综合与优化

针对传统布尔逻辑在电路面积优化中存在的不足,提出了一种用传统布尔逻辑和Reed-Muller(RM)逻辑相结合的双逻辑优化算法.通过将原逻辑函数的乘积项转化为不相交乘积项,并利用不相交乘积项的位操作,将逻辑函数的覆盖分成2个部分,使之分别适合布尔逻辑综合和RM逻辑综合;同时提出了适合双逻辑函数的逻辑功能验证方法.双逻辑优化算法用C语言编程实现并用MCNC标准电路进行测试.实验结果表明,与单一的布尔逻辑综合结果相比,在绝大多数情况下文中算法可使电路面积获得进一步优化.     

概率逻辑关系柔性化的研究

结合概率和逻辑的优点,近年来人工智能研究人员提出了多种概率逻辑来解决不确定性问题,但是仍然存在着逻辑关系刚性化的问题。在泛逻辑学的框架内,分析了概率逻辑的局限,根据泛逻辑学的生成器,探讨了概率逻辑关系柔性化的问题。     

Emitter-coupled spin-transistor logic

The recent invention of magnetoresistive bipolar spin-transistors makes possible the creation of new spintronic logic families. Here we propose the first logic family exploiting these devices, extending emitter-coupled logic (ECL) to achieve a greater range of basis logic functions. By placing the wire from the output stage of ECL logic elements near spin-transistors in other logic stages throughout the circuit, additional basis logic elements can be realized. These new logic elements support greater logic minimization, resulting in enhanced speed, area, and power characteristics. A novel magnetic shielding structure provides this logic family with the crucial ability to cascade logic stages. This logic family potentially achieves a power-delay product 10–25 times smaller than conventional ECL, and can therefore be exploited to increase the performance of very high-speed logic circuits while broadening the range of design choices for a variety of electronic applications.     

灰云逻辑及其智能决策支持系统

针对经典的数理逻辑不能满足智能决策决策支持系统对逻辑柔性化的要求,在分析各种经典和非经典逻辑的基础上,指出了智能决策决策支持系统的逻辑柔性化的发展趋势,并给出了一种基于灰云模型的具体的柔性逻辑——灰云逻辑。首先分析了智能决策支持系统对逻辑柔性化的需求,然后给出了灰云逻辑及基于灰云逻辑的智能决策支持系统,给出了灰云逻辑的具体表示形式,并给出了基于灰云逻辑的具体的知识推理方法。最后,给出了基于灰云逻辑的智能决策支持系统框架和原理。其研究特点在于明确了智能决策决策支持系统的逻辑柔性化的发展方向,并给出了一种表示信息不完全性和随机性的具体的柔性逻辑推理方法。     

三层体系架构下的流程技术研究

为了解决流程控制和业务逻辑的耦合问题,文中提出了一种新的设计思路,将流程逻辑从业务逻辑中剥离出来,形成相互分离的流程逻辑层和业务逻辑层,改变了传统三层体系结构的逻辑关系,能够快速构建应用系统,快速适应流程变化。对于流程的改变,只需修改流程逻辑而不涉及到业务逻辑的改动。开发人员只专注于业务功能的开发,这种模式能够开发出开放的、清晰的、松散耦合的、灵活敏捷的应用系统。     

Fuzzy Logic: Misconceptions and Clarifications

Some commonly accepted statements concerning the basic fuzzy logicproposed by Lotfi Zadeh in 1965, have led to suggestions that fuzzy logicis not a logic in the same sense as classical bivalent logic. Thoseconsidered herein are: fuzzy logic generates results that contradictclassical logic, fuzzy logic collapses to classical logic, there can be no prooftheory for fuzzy logic, fuzzy logic is inconsistent, fuzzy logic producesresults that no human can accept, fuzzy logic is not proof-theoreticcomplete, fuzzy logic is too complex for practical use, and, finally, fuzzylogic is not needed. It is either proved or argued herein that all of the thesestatements are false and are, hence, misconceptions. A fuzzy logic withtruth values specified as subintervals of the real unit interval [0.0, 1.0] isintroduced. Proofs of the correctness, consistency, and proof theoreticcompleteness of the truth interval fuzzy logic are either summarized orcited. It is concluded that fuzzy logics deserve the accolade of logic tothe same degree that the term applies to classical logics.     

Computable Kripke Models and Intermediate Logics

We introduce effectiveness considerations into model theory of intuitionistic logic. We investigate effectiveness of completeness (by Kripke) results for intermediate logics such as intuitionistic logic, classical logic, constant domain logic, directed frames logic, and Dummett's logic.     

基于泛逻辑学的逻辑关系柔性化研究

建立柔性逻辑体系,既是现实世界复杂问题求解的需要,也是逻辑学发展的一种必然趋势.泛逻辑学是何华灿在探索复杂世界逻辑规律中建立起来的一个柔性逻辑体系.在分析其实现逻辑关系柔性化的思想和方法的基础上,探讨了概率逻辑关系柔性化的问题.理论上,概率逻辑是泛逻辑学的一个特例,因此应该能够在泛逻辑学框架内建立起柔性的概率逻辑体系.