认知学习与模拟

认知学习模拟，特别是对顿悟的认知模拟，是人工智能尚未触及的困难领域之一。本文重点就顿悟认知模拟问题探讨其认知基础并提出一种模拟的计算模型；采用一种基于缺度逻辑（ＤＬ）的称作必要性假设的理论（ＮＬ）来描述这一模型，同时讨论与模型密切相关的背景知识理论与合理假设引入问题，最后以ＮＬ解决两个著名以认知学习实验问题以表明模拟的可能性。     

处于时间情景中的推理与形式化

现实的推理是在时空中进行的,推理本身需要花费时间。传统的逻辑理论忽视了这一点,从而导致逻辑全能。为此,给出了相关的案例,表明现实的推理处于时间情景之中 同时,介绍了几个涉及时间的形式化理论,指出它们研究的是关于时间的推理,而非处于时间之中的推理 最后,阐述了一个新的逻辑理论——步进逻辑,认为步进逻辑体现了推理的时间情景,有着良好的应用前景,进而提出了未来的研究设想。     

描述逻辑 ALC中的 ABOX 反绎推理算法

鉴于已有的描述逻辑 ALC中 ABOX 反绎推理算法需要转化到 FOL上处理,涉及了大量变元和Skolem 项的使用.ALC-Tableau可以避免大量变元和斯科伦项,给出了一种直接在 ALC 上处理 ABOX 反绎推理问题的算法.该算法将 ABOX 反绎推理问题转化为知识库的一致性问题,在此基础上结合反绎推理的自身特性对传统的Tableau构造过程进行扩充,最终借助一个回溯过程找出反绎问题的所有解.     

CS逻辑的分析及改进

较之以往的形式化分析工具BAN及BAN类逻辑，CS逻辑是一种将时间与逻辑结构相结合的逻辑，是第一个用来分析与时间相关的Timed—release公钥协议的逻辑，本文分析了原始Cs逻辑的某些推理规则的缺陷，并对其作了改进及扩展，使其能够更好地反映Timed-release公钥协议的特性，并对一个具体的Timed-release公钥协议用扩展后的推理规则进行了有效的形式化分析．     

CS逻辑的分析及改进

较之以往的形式化分析工具BAN及BAN类逻辑,CS逻辑是一种将时间与逻辑结构相结合的逻辑,是第一个用来分析与时间相关的Timed--release公钥协议的逻辑,本文分析了原始CS逻辑的某些推理规则的缺陷,并对其作了改进及扩展,使其能够更好地反映Timed--release公钥协议的特性,并对一个具体的Timed-release公钥协议用扩展后的推理规则进行了有效的形式化分析.     

谓词逻辑在人工智能中的应用

谓词逻辑是一种基于谓词分析的高度形式化的语言及其推理,是人工智能产生和发展的最重要的理论基础。本文从具体事例出发,解析了谓词逻辑在人工智能领域中两个主要应用:知识表示和消解原理。并在结束语提出谓词逻辑的局限,希望有更多的学者参加逻辑学的研究。     

模拟抽象思维行为的形式系统

由于一阶语言表达能力的局限性，本文首先在一阶语言的基础上增加一些算子构成新的语言，使语言的表达能力得到增强，并且给出了该语言下公式的语义解释。其次，使用这种语言对诸如信念之类的认知观念进行形式化，然后基于模态逻辑和时态逻辑结构念逻辑；最后基于信念逻辑对Ｄａｖｉｓ－Ｐｕｔｍａｎ方法进行推广来对认知公式进行推理。基于上述四点，提出了一个信念系统模型来模拟抽象思维行为，并在ＶＡＸ－Ⅱ上用ＣＯＭＭＯＮ－Ｌ     

诗性功能理论的逻辑问题——罗曼·雅柯布森诗学指谬

罗曼·雅柯布森的诗性功能理论在现代西方文论界具有重大影响,但理论本身存在诸多漏洞,因此遭到了部分学者的严厉批评。本文从逻辑方面阐述了诗性功能理论的内在问题,指出诗性功能理论作为一个理论体系,存在循环论证和逆偶然的逻辑错误,其根源在于形式主义立场与语言学方法。     

不确定性推理与知识获取技术

在构成常识性推理的３个基本部分中,不确定性推理（假设评价）是最重要的。论述了几种常用的定量不确定性推理方法,即基于概率论的推理方法,证据理论,模糊逻辑和信息推理等,以及建立在这些不确定性推理方法上的包含度理论,并了包含度理论和不确定性推理技术在知识获取中的应用。     

一个逆推理系统NJ—A的设计与实现

逆推理是解决诊断问题的一种具有独特风格的推理方法，本文就诊断问题利用逆推理方法求得最佳解释进行了讨论，介绍逆推理系统ＮＪ－Ａ设计与实现；并给出了一个实际例在该系统下的运行结果。     

基于规则的演绎与诱导混合推理

基于规则的推理应该充分利用相关信息，尽量模仿交替地使用正向和逆向求解的思维方式，定义了可改变推理方向的推理过程。为了实现这种推广过程提出了基于规划演绎与诱导的混合推理方法。     

Consistency-based abduction with extended disjunctive logic programs

By translating each disjunctive logic program into an abductive framework, a declarative semantics for the class of disjunctive logic programs, called the typical abductive semantics (TAS), is presented, which is quite simple and highly intuitive. TAS is complete and coincides with the stable semantics for the class of disjunctive programs that possess stable models. By the coherence principle, TAS can be easily generalized to extended disjunctive programs and can properly handle some benchmark problems in commonsense reasoning     

A Logical Approach to Emulation of Higher Mental Processes

ＡＬｏｇｉｃａｌＡｐｐｒｏａｃｈｔｏＥｍｕｌａｔｉｏｎｏｆＨｉｇｈｅｒＭｅｎｔａｌＰｒｏｃｅｓｓｅｓＣＨＥＮＺｈｉｑｉａｎｇ；ＨＯＮＧＪｉａｒｏｎｇ（陈志强，洪家荣）（Ｄｅｐｔ．ｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅ，ＨａｒｂｉｎＩｎｓｔｉｔｕｔｅｏｆＴ...     

PCB工艺规则表示方法

利用谓词逻辑能表示确定性知识与模糊逻辑中隶属函数能表示不确定性知识的特点,提出了一种新的谓词隶属逻辑表示法,即通过隶属函数的谓词逻辑对二值和多值逻辑规则进行归一化表示,得到了印制电路板(PCB)规则工艺知识库,实现了基于该方法的知识推理,为后续实现PCB的智能审查提供了审查依据及数据支持.     

基于案例和规则推理的贝叶斯网建模

正确、高效地针对问题建立模型是应用贝叶斯网的关键,而从数据中学习贝叶斯网往往因为搜索空间庞大而效率低下.提出基于案例和规则推理的建模方法,建立领域知识库,使用框架和一阶概率逻辑表示贝叶斯网,当面对新的问题时,使用相似度和偏离度两个指标进行案例匹配,对选中的案例使用组合和剪枝技术修正,得到新问题的求解模型.整个过程以案例推理为主,并用规则推理辅助.这种方法能够复用历史案例,提高贝叶斯网建模效率.     

对SVO逻辑方法的改进

随着移动应用广泛普及,移动通信的安全要求就愈来愈高,而移动设备计算能力相对较低,如何降低移动端的计算量是移动通信的认证密钥协商协议需要解决的问题.为了降低通信中移动端的计算量,很多用于移动设备的身份认证协议采用哈希函数代替签名机制进行身份认证,而SVO逻辑缺乏对哈希函数用于身份认证的形式化描述.因此,扩展了SVO逻辑分析哈希函数的逻辑语法,增加了相应的推理公理,证明了推理公理的安全性.然后,讨论了SVO逻辑方法的分析目标,举例证明了其实体认证目标存在的漏洞,提出新的认证目标,同时分析了新目标的安全性.实验证明,对SVO逻辑方法的扩展与改进是实用和有效的,此工作对其他的安全协议形式化分析方法也具有借鉴意义.     

三值逻辑神经元模型及其不确定性推理应用

针对二值神经元在不确定性知识表示和推理中的不足,提出了一种具有三值逻辑表达能力的神经元模型：三值逻辑与神经元和三值逻辑或神经元。采用这种三值逻辑神经元来表示规则和真值状态的不确定性,由这种逻辑神经元连接而成的神经元链能够实现三值逻辑推理系统,可以对三值关联规则进行表示和推理。     

扩展的加权约束逻辑程序在产品配置中的应用

为了更好地表达产品配置问题中的复杂知识形式,以加权约束逻辑程序语言为基础,将规则的头部扩展为析取约束的形式,提出了一种扩展的加权约束逻辑程序语言,给出了其稳定模型语义.这种扩展的加权约束逻辑程序进一步加强了知识的表达和推理能力,但没有增加计算复杂性.以一个计算机配置实例讨论了扩展的加权约束逻辑程序在产品配置问题中的应用.