Dialectic operator fuzzy logic

Dialectic operator fuzzy logic (DOFL) is presented which is relevant,paraconsistent and nonmonotonic.DOFL can vividly describe the belief revision in the cognitive process and can infer reasonably well while the knowledge is inconsistent,imprecise or incomplete.     

认知学习与模拟

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

一种形式化逆推的逻辑方法

本文讨论逆绎推理的形式化问题，指出这一问题的认知基础，然后证明逆绎推理可通过建立必要性假设来完成；ＮＨ构成了对已有知识订的扩充，必须构造必要性假设理论来捕捉逆绎推理的逻辑特征，本文选择缺席逻辑作为形式化ＮＬ的理论框架，并指出ＮＬ的基本性质。     

A Logical Approach to Emulation of Higher Mental Processes

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

PCB工艺规则表示方法

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

关于我校大学生信仰和荣辱价值观的调研报告

我校大学生信仰、共同理想、荣辱观、人生价值观现状主流是值得肯定的,但也存在信仰危机、对共同理想认识模糊带来的对个人理想前途的困惑,荣辱观、人生观、价值观等表现出多元化趋向。社会转型期价值观念变化、信息时代网络文化、传统教育中存在的做人与做事的分离以及知行脱节、大学生思想心理不成熟都会影响大学生的信仰理想和荣辱观价值观的形成发展。为此,必须建构大学生信仰和荣辱观价值观教育体系。     

从信仰危机到马克思主义——生成论视角下的马克思主义中国化

当今时代,信仰危机逐步凸显。中国人信仰体系的构建到底该何去何从?究竟应该继续坚持和完善马克思主义信仰体系,还是该寄望于传统信仰体系,成为当下国民最为直接的两种选择。在地域性视角和时代性视角的比照中,现代信仰危机产生的深层原因逐步呈现。自由的市场经济制度下,资本自我增值的本性肆意发展,最终消解了人们对信仰的追逐。与此不同,共产主义信仰下的社会主义制度可以实现对市场经济模式的自觉驾驭,遏制资本逻辑的恣意蔓延,摆脱信仰危机。     

小鼠切片图像自动去背景方法的研究

根据小鼠断面轮廓在连续切片图像中大体是渐变的特征,研究采用了一种基于模板匹配的自动去背景方法,即每次以新获得的一张切片的小鼠断面轮廓为模板对其相邻切片进行边缘提取,然后结合进一步图像处理去毛刺以及利用拉格朗日插值形成连续轮廓,再予以填充后与原始图像相与实现背景去除.结果表明,该方法能有效地达到自动去除小鼠切片图像中背景...     

基于创新价值链的知识信息服务系统重构

在创新型国家建设和发展中,国家经济逐步从依赖于物质资源的低效运行转变到依赖于知识创新资源的高效运行发展轨道。其中,服务系统建设是面向国家创新的知识信息服务的主体。在创新价值链和知识信息服务在知识创新过程中的作用机制基础上,基于创新价值链的知识信息服务系统重构,我国各创新主体的知识来源及获取途径、知识信息服务业务及需深化的内容,应注重创新主体的知识信息需求分析、系统重构模型、系统的组织实施、政策和法律保障等诸多方面。     

业务逻辑可重构的网络应用系统设计与实现

提出了一种应用软件可重构和可配置的方法,并对此进行研究。由此开发出企业信息化软件开发平台——ICET IP系统。ICET IP系统可适应不同应用逻辑需求,真正实现业务逻辑可重构和系统功能可配置,而且维护升级非常方便。     

基于扩展模糊逻辑的公共服务事业知识表示方法

为了完成系统设计对公共服务事业知识存储表示的要求，需要有合适的知识表示方法来表示不同类型的知识．基于扩展模糊逻辑的知识表示方法，能够实现对复杂的、模糊的管理决策知识进行表示．该方法将模糊逻辑的隶属度值域从[0，1]扩展为扩展模糊逻辑的[-1，1]，使用0值来表示Zadeh模糊逻辑不能表达“不知道”的逻辑和不完全的知识．基于扩展模糊逻辑的知识表示方法不仅从理论上扩展了模糊逻辑，在实践上也为公共服务事业知识管理增加了新的方法．     

电子证据与反拒认协议及形式化分析

反拒认是实现电子商务的一个重要前提条件。基于可信的第三方提出了一个面向传输的电子证据与反拒认协议TEENP,解决了收方和发方的拒认问题。扩充了类BAN信任逻辑的语义和逻辑推理规则,并用信任逻辑BAN对其进行了形式化分析。与相关协议相比,本协议是公平的、安全的和高效的。     

基于OBDD的描述逻辑SHOIQ判定算法研究与实现

描述逻辑是语义Web的逻辑基础,已成为当前计算机科学和人工智能研究的热点.鉴于描述逻辑SHOIQ的经典判定算法在处理大规模问题上的不足,以OBDD能很好处理大规模问题为基础,给出了一种基于OBDD的SHOIQ判定算法.该算法利用相关规则和技术将SHOIQ知识库转化为OBDD,在此基础上进行SHOIQ知识库的一致性判定....     

对分课堂模式下高校思想政治理论课的教改探索

高校思想政治理论课的对分课堂,通过三分课堂教学过程,在理论与实践的互“观”中,借助生成性动态自主建构,使大学生能够立足于马克思主义的群众立场,运用马克思主义方法论,把马克思主义理论建立在知、情、意、行、信合一的群众实践之上,进而把自身知、情、意、行、信合一的实践融入马克思主义理论,使马克思主义理论在大学生思想政治教育中“落地”,是思想政治理论课的新型课堂教学模式。     

Disjunctive logic and semantics of disjunctive logic programs

In common sense reasoning with incomplete knowledge bases, conclusions are made by defaultHowever, it is observed that when the negation-by-default operator not is defined as not provable , the disjunctive logic program { a V b, not a, not b} should be consistent because a being not provable and b being nor provable does not imply a V b being riot provable. Such an observation is significant for non-monotonic reasoning, but none of the major current semantics for disjunctive logic programs is able to support it because they are all based on classical first-order logic in which assuming not a and not b implies assuming no: (a V b) A new first-order logic (disjunctive logic ) is developed that fully complies with this observation and new semantics for disjunctive logic programs are established This theory is able to formalize and solve some paradoxical problems, such as the lottery paradox     

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

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

打印信息防伪认证的一种逻辑签署技术及应用

提出一种逻辑签署技术,以防范对打印信息的伪造、篡改及非法使用。将该技术应用于打印信息的防伪认证系统,设计并实现了该认证系统,使得打印信息的检验过程快速、便利、精准和实用。基于本技术设计的应用系统不依赖于网络和数据库,而且是一个开放体系。系统的核心思想是通过完整的逻辑体系保证其密码学意义上的安全性,具有密码学意义上的高安全性,突破了现有打印信息防伪认证技术的模式。     

基于语言值相似度推理的网络商家自评价方法

为更合理的表示不确定性知识,在格蕴涵代数的基础上,运用不同程度的语气词表达一个模糊命题的真值程度,建立一个基于2n元语言值格值一阶逻辑的知识表示模型。定义语言值相似度,提出语言值格值一阶逻辑中的语言值相似度推理方法。建立一个网络商家自评价系统,并以实例表明该方法能够表达和处理该自评价系统中的不确定性知识,有效帮助网络店主进行自我评价。