扩展的逻辑程序系统及其语义理论

将逻辑程序系统由一阶逻辑中解放出来是复杂对象推理所迫切需要的.本文提出扩展的逻辑程序语言HILOG并建立其语义理论,扩充了逻辑程序系统的形式语义.HILOG为一带类型语言.通过建立诸如p-包含及装配/拆卸等代数概念,本文扩充了逻辑满足及模型比较等概念,证明了一HILOG程序具有一最小模型闭包及标准(装配形式)最小模型的唯一性,提出了模型的p-相交定理及扩充的最小模型极小不动点性质.一阶逻辑程序语义在上述各方面恰为HILOG语义之特殊情况,二者语义上的联系提供了将HILOG程序映射到一阶系统的可能性.     

Improvements to the Control Techniques of Sequential Inference Machines——from Instructions to Hardware Organization

Nondeterminism of PROLOG execution requires that a block of control information or a choice point for each procedure call be stored when there are other candidate clauses to be used.When the currently selected clause fails,the bindings made by the clause must be undone and the stored choice point is reactivated,and then another clause of the candidate ones is chosen to run on it.Storing and reactivating choice points and undoing account for the great overhead are required to control PROLOG execution,which is quite different from conventional programs.This paper focuses on the techniques used in Sequential PROLOG Engine (SPE) to reduce the overhead of control operations.The control instructions of SPE store no more choice points than the necessary.Its architecture takes the approaches of analysing the potential parallelism in the control operations and developing a fraction of it due to the cost-effect consideration.The results of executing two sample programs on SPE in the form of hand timings are presented,which favor the approach.     

浅谈数学教学中学生非逻辑思维能力的培养

非逻辑思维是指不按固定的逻辑程序进行,不受特定的逻辑规则约束,对思考对象的属性与关系直接作出判断的思维方式。数学史研究表时,非逻辑思维对于数学的发现起了重要的作用,它广泛地存在于数学创造性活动之中,非逻辑思维能力的培养对强化学生的发现意识和创造能力有着重要的作用。下面谈谈我在教学实践中锻炼学生非逻辑思维,培养学生解题能力的初浅体会。     

消除变压器盲区故障的继电保护方法

由于差动保护和后备保护的局限性,变压器中、低侧断路器和电流互感器之间发生故障时保护可能发生拒动的情况,给变压器和电网运行带来严重后果.为此在原有运行继电保护设备的基础上考虑增加一种以中、低侧断路器位置为辅助判据,通过保护内部逻辑判据和更改相应的外部接线来消除此处故障的继电保护方法.根据理论判断和现场模拟,该方法满足运行...     

面向对象逻辑语言SCKE中的限制推理

限制理论是形式化常识知识并进行常识推理的一种重要方法．本文主要研究将限制理论转化为面向对象逻辑语言的可能性，并实现了完成这个转换的编译器．按面向对象逻辑语言的语义运行编译后的程序，可得到与原限制理论相同的结果．将该编译器嵌入面向对象逻辑语言解释器中，可以大大提高该语言的表达能力，特别是可以实现对常识知识表示和常识推理的支持．     

修正的逻辑程序知识库更新方法

基于逻辑程序的知识库更新方法研究的焦点在于处理知识库的冲突问题,但代价是更新时规则库增大很快,该文提出了“修正的逻辑程序知识库更新方法”,此种方法基于一种规范知识库更新的形式化方法—修正程序,此种更新方法不仅可以最大程度地减少更新时规则库的增大,也避免了重复工作和知识库信息的丢失,还可以同时满足“替换更新”和“丰富更新”。     

Datalog逻辑程序调用语义及其应用研究

提出Datalog逻辑程序调用语义和调用谓词,说明包含程序调用谓词的可更新U-Datalog程序的操作语义及其固定点语义。提出在有限分层调用情况下U-Datalog程序的通用评价(evaluation)算法。最后对Datalog程序调用语义在数字版权语言中的应用做了说明并给出示例。     

逻辑程序模式识别的双向全局流分析

在逻辑程序AND并行性的开发中,模式识别有着极为重要的作用.为了克服单向模式分析的缺点和不足,本文提出了模式识别的双向全局流分析方案,并用PROLOG语言实现.本文中对该方案进行详细的探讨,并给出相应的算法.     

Consistency Property of Finite FC-Normal Logic Programs

Marek＇s forward-chaining construction is one of the important techniques for investigating the non-monotonic reasoning. By introduction of consistency property over a logic program, they proposed a class of logic programs, FC-normal programs, each of which has at least one stable model. However, it is not clear how to choose one appropriate consistency property for deciding whether or not a logic program is FC-normal. In this paper, we firstly discover that, for any finite logic programⅡ, there exists the least consistency property LCon（Ⅱ） overⅡ, which just depends onⅡitself, such that, Ⅱ is FC-normal if and only ifⅡ is FC-normal with respect to （w.r.t.） LCon（Ⅱ）. Actually, in order to determine the FC-normality of a logic program, it is sufficient to check the monotonic closed sets in LCon（Ⅱ） for all non-monotonic rules, that is LFC（Ⅱ）. Secondly, we present an algorithm for computing LFC（Ⅱ）. Finally, we reveal that the brave reasoning task and cautious reasoning task for FC-normal logic programs are of the same difficulty as that of normal logic programs.