多Agent信念修正框架BeReFrame

多Agent信念修正需要考虑多Agent系统的类型对信念修正的影响。在此提出了一个多Agent系统信念修正框架——BeReFrame。在BeReFrame中,Agent能够根据博弈论选择最优的修正策略去实现不同类型的多Agent系统中的信念修正目标。     

SLDNF-归结原理关于模态语义的完备性

Ｂａｒａｔｅｌｌａ定义了正规谓词逻辑程序的模态完全化语义,并证明了该语义关于ＳＬＤＮＦ－归结的部分完备性。本文首先给出了逻辑程序的模态直承算子,并研究了相关的理论性质,进而证明了模态完全化语义关于ＳＬＤＮＦ－归结的完备性。     

基于改进的无穷值语义解释的中介谓词逻辑的λ-归结

中介谓词逻辑系统MF的无穷值语义解释,反映了反对对立概念之间的可变过程,并且该解释不同于MF的其他任何语义解释。但在该无穷值语义解释下,"当A fuz时～A真"这种情况并未得到反映。在此基础上,进一步研究得到了中介谓词逻辑系统MF一种真值域为[0,1-λ)∪(1-λ,λ)∪(λ,1](λ∈(0.5,1))的无穷值语义解释,重新定义了MF的文字,给出了MF中λ-互补文字及弱无中介集的定义,提出了一种新的MF的λ-归结原理,并证明了其可靠性和完备性。在改进的MF的无穷值语义解释下,不仅较好的表达了"当A fuz时～A真"的情形,而且其λ值的确定,可根据一定的实例知识计算出来,具有客观性。该解释进一步表明用中介逻辑作为模糊知识的表示与推理的工具是可行的。     

一种基于同例和异例的溯因推理

溯因推理是在给定的理论和观察下,求出对于该观察可能的解释.然而,在一般的溯因推理中,并不要求解释的直观性和归纳性,从日常生活和科学发现的某些规律出发,本文提出了同例和异例的概念,提出了一个基于同例和异例的溯因推理框架,并引入了可诱导和可允许这两个限定条件.接下来,本文给出在该框架下求出所有极大解释的算法AH并验证了它的可靠性和完备性.最后,一个具体的例子演示了算法AH,相对于一般的溯因推理系统,本框架主要有如下的优点:溯因得到的解释更符合直观,溯因得到的解释还可以用来推导出更多的新的语句.     

基于溯因问题求解的知识库更新

在一个广义的溯因问题框架下,讨论以逻辑公式形式表示的知识库的维护问题．使用表推演方法,检查知识库协调性,对知识库进行扩展、约减和修正,给出可行方法     

PROLOG解释系统移植和功能扩充技术

本文介绍了Prolog-KABA解释系统的移植和功能扩充技术。在系统移植中,我们分别解决了系统运行的存贮器分配策略、操作系统调用的模拟、以及屏幕显示程序改造等问题;另外我们基于结构编辑器的设计思想,在系统中重新设计了一个菜单式屏幕编辑程序。     

广义RUE-NRF归结的配锁

本文把广义RUE-NRF归结对E不可满足子句集是完备的推广到了配锁的广义子句集上.     

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

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

从贝叶斯方法看溯因推理

皮尔斯指出溯因或溯因推理(abduction)是不同于归纳和演绎的第三种推理,然而皮尔斯对溯因概念的定义是模糊的,于是便出现溯因悖论:溯因既属于归纳又不属于归纳。本文基于贝叶斯方法对归纳的理解和处理,考察了当代两种典型的消解溯因悖论的路径,即辛提卡区分定义性规则和策略性规则的措施,以及利普顿的IBE理论。指出这两种路径均是行不通的,而贝叶斯方法却可以容纳溯因性归纳和溯因,从而消解溯因悖论。     

Belief and Knowledge Reasoning

Alternating-time Temporal Epistemic Logic (ATEL) which is an important kind of multi-agent cooperation logics only takes knowledge into account, but does not deal with belief of agents. By introducing three kinds of belief operators into ATEL, a new multi-agent cooperation logic named ATBKL (Alternating-time Temporal Belief and Knowledge Logic) was developed. A model checking algorithm was proposed. It is proved that the model checking complexity of ATBKL is the same as that of ATEL, i.e., the presented logic is better for further study of multi-agent systems.     

相信逻辑的某些性质和定理

本文研究了相信逻辑在相信蕴涵下的某些性质．在相信蕴涵的定义下，相信逻辑是非单调的．本文给出了几个相信逻辑的单调性的充分且必要条件．还证明了一个默认理论的延伸恰好就是对应的相信理论的相信公式的所有相信蕴涵式的全体．从而给默认理论的延伸以一个较为直观、简洁的表述．     

利用响应灵敏度修正Gascogine天桥的有限元模型

用梁格法建立了香港Gascoigne天桥某一跨的有限元模型。并利用基于响应灵敏度有限元法对该有限元模型进行了修正。修正后的有限元模型计算所得到的动态响应与实测的响应比原始有限元模型所得到的吻合得好。文章表明所提方法能够对实际工程结构进行模型修正。     

从媒介信仰建构中国缺失的政治信仰

现代经济发展必然促进社会高度分化,多元经济导致多元政治,可能造成社会离心力的形成。处于转型期的中国,其政治的基本任务就是如何创造一种政治过程以形成一种统一的政治向心力。显而易见,大众传媒在促成这种政治向心力的形成上功不可没。     

邓小平的信仰观

邓小平的信仰观就是共产主义信仰观；它具有如一的决心、必胜的信心和虔敬的诚心三大特点；邓小平认为信仰的意义在于信仰具有凝聚力、团结力、驱动力和激励力；在信仰教育上，邓小平提出信仰为本，要从小培养、顾及物质利益和要“顽固”一点的新思路。     

基于分层进化寻优的塔机结构有限元模型修正

采用分层优化策略,运用进化寻优算法实现结构有限元模型的优化修正.根据设计变量对有限元模型影响的区别将其置于节点层与截面层分别执行进化寻优,两个层次的进化寻优交替进行直至问题收敛.建立了某型塔机的参数化有限元模型,根据实测的风致振动响应识别的模态参数采用所提出的方法对塔机的有限元模型进行了修正.修正结果表明,该方法可以有效地实现塔机的有限元模型修正,且修正计算效率高于对应的基于整体策略的修正方法.     

论我国宪法信仰的缺失与培植

法律信仰是实现法治的内驱力,宪法是国家的根本大法,是具有最高权威的“母法”。而现实中,宪法往往成为人们意识中的“空中楼阁”,这并非源自宪法的内容,而是没有树立好宪法信仰。培植宪法信仰是宪法信仰主体和对象的互动过程,一方面要增强公民的主体意识和权利意识,另一方面要努力制订良好的宪法。     

信度网分类器

分类问题是人工智能中机器学习研究的一个重要问题,它在模式识别、故障诊断以及数据挖掘等领域有着广泛的应用。利用信度网可以构造出分类性能更好的分类器。文章着重探讨了Naive Bayes分类器,增强的Naive Bayes分类器和通用信度网分类器的构造方法,并分析比较了这三类分类器的优缺点。     

论信仰存在的心理根据

信仰是一种普遍的社会文化现象,而信仰产生的心理根据又是什么呢?本文认为主要有几方面的心理因素:在不同程度上,信仰能满足人们的生理的需求、“安全”的需求、“爱”的需求、“尊重”的需求和“自我实现”需求。     

转型期政治信仰的危机与重建

在现实生活中,信仰不是完全能消除的东西。政治信仰也不例外,它对政治统治和政治文明的发 展具有重要意义。政治信仰危机是社会结构变迁、现实生活变革和价值观念变化的结果。只有积极推进中国特 色的社会主义事业,提升人民的物质、文化和精神生活需要,重视和加强公民的信仰教育,才可能实现政治信仰 的重建。