逻辑程序“与并行”计算模型的研究

本文概述了逻辑程序并行性研究的状况和逻辑程序的并行处理方式。详细分析了目前两种获得“与并行”的计算模型,指出了它们的优劣性。最后得出结论:基于编译获得“与并行”是目前最有效的途径。文中同时给出了编译模型下几种算法的实现方法。     

再论逻辑程序并行解释的Conery模型

举例说明经 Woo N S 和 Choe K M 修正的 Conery AND/OR 处理模型可能陷入无穷循环,并分析其成因,然后给出算法 SEND 2来克服它。     

G(o)del语言的一种并行推理模型

针对Gdel语言成分复杂,难以采用Prolog语言的并行推理策略,给出了基于该语言程序中间代码的并行推理模型,并对该并行模型的加速效果进行了分析,结果表明新提出的Gdel并行策略具有良好的加速比.     

关于扩充的逻辑程序

在这篇文章中,我们从理论和实际计算的观点两方面研究了扩充逻辑程序中的经典否定和约束.我们发现,在保持原有程序回答集语义的前提下,经典否定和约束都可以通过引入新的原子来消除.我们的实验结果表明,一般情况下,引入新的原子会增加计算开销,但是这里有一个关于16-皇后问题的例外.     

因素分析法的推理模型

为解决由于样本的不完备性导致的因素分析法无法识别的问题,分别定义了因素的基础矩阵、相关性分析表、完整度、属性间的相似度等概念,提出了基于因素分析法的推理模型.实例验证结果表明:模型不但可以解决不识别问题,而且辨识率较高,与因素分析法的结合构成很好的数据挖掘方法.     

逻辑程序语言的智能控制策略

本文试图对逻辑程序语言的控制问题提出一个解决办法。本文从 Kowalski 的most showing,least finding 原则出发,通过一个谓词复杂性函数及简单的智能回溯方法的描述,提出一个谓词复杂性最小和智能回溯的控制策略。     

概率逻辑程序研究综述

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

一种线性的不确定性推理模型

建立一种线性的不确定性推理模型。它不权在时间上是可行的，而且不要求先验概率值。     

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

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

足球机器人决策系统推理模型

介绍了足球机器人系统的组成及决策系统的六步推理模型和四层决策结构,并用人工智能的状态空间表示方法将比赛场上瞬息万变的态势,通过选择少量的有代表性的离散状态构成状态空间,根据系统完成的任务,为机器人确定有限的动作集合,使积累的知识程序化;通过决策系统的正向推理,使每个机器人选择合适的动作,以命令的形式输出机器人的左右轮速,实现对系统的实时控制·     

一种一致性的不确定性推理模型

将修正了的ＭＹＣＩＮ的可信度因子ＣＦ与ＰＲＯＳＰＥＣＴＯＲ的两种规则的不确定度量充分性和必要性度量ＬＳ,ＬＮ,放在ＢＡＹＥＳ框架下进行综合考虑,建立ＣＦ与ＬＳ,ＬＮ的函数关系,最后用实例说明了此模型的计算方法与主观ＢＡＹＥＳ方法的结果是一致的     

基于BDI的Agent动态推理模型

本文基于慎思式Agem的理论,研究如何发展Agent的适应能力,对现有Agent的推理模型作了改进,提出了一个具有动态推理能力的Agem模型,在文章的最后用一个简单的事例验证了这种推理过程的合理性。     

一种一致性的不确定性推理模型

将修正了的MYCIN的可信度因子CF与PROSPECTOR的两种规则的不确定度量充分性和必要性度量LS，LN，放在BAYES框架下进行综合考虑，建立CF与LS，LN的函数关系，最后用实例说明了此模型的计算方法与主观BAYES方法的结果是一致的。     

高炉专家系统的不精确推理模型

为适应高炉专家系统的要求，开发了一种不精确推理模型，在该 ，全面考虑了重要度，γ算子、证据值、佐证条件、时间因素及分层阈值等对最终结果的影响。     

不精确推理模型及其应用

对三种常用的不精确推理模型:确定性理论、主观Bayes方法和证据理论作了粗略的评述,着重分析了模糊推理的原理和方法以及如何将这种推理模型应用于模糊病诊断系统中。     

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

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

关于BDI Agent的推理模型的研究

本文提出基于环境感知的具有推理能力的BDI Agent模型。通过引入环境感知函数、意见函数、过滤函数、行为函数对环境的变化和Agent自身推理过程进行研究。     

逻辑程序中的控制策略及其表示

本文从“算法=逻辑+控制”的思想出发,讨论了逻辑程序设计语言在软件自动生成中的地位和作用;对基于HORN子句逻辑程序中的控制问题进行了广泛的讨论;最后提出了一种将逻辑与控制分离的元级控制的表示形式。