认识逻辑(1):关于知识和信念的逻辑框架

知识和信念是人工智能领域研究中经常涉及到的两个重要概念。本文讨论了知识和信念的涵义与关系，定义了认识逻辑系统ＥＩ，讨论了它的语法和语义，证明了认识逻辑ＥＬ不但是可靠的而且是完备的，认为逻辑ＥＬ不但可以用来描述人类的认识过程，还可以用于对常识推理以及分布式系统的形式化描述。     

基于完备拟序的开放逻辑

开放逻辑是一个可以刻画知识的增长，更新以及假说的进化的逻辑理论，它开辟了常识推理研究一条新途径，并在机器学习，知识获取，故障诊断及知识库维护等领域有广泛的应用，基本的开放逻辑不能体现认知主体对所拥有的知识在相信程度上的区别，为此，文中给出了基于完备拟序的开放逻辑，该文采用假说上的完备拟序刻画信度区别，给出了新的重构概念，讨论了假说及完备拟序在知识进化过程中的更新，定义了新的认识进程并证明了所定义的认识进程具有收敛性。     

认识逻辑(4):关于认识逻辑的可判定性

判定问题是逻辑研究中的重要问题.本文讨论了关于带有索引的认识逻辑ELI的基于语义tableau方法的判定过程,阐明了ELI的Mwff的可判定性.由于认识逻辑EL的公式与ELI的Mwff是对应的,因而,认识逻辑EL也是可判定的.     

基于m类逻辑的模式分类方法及其硬件实现

基于ｍ类逻辑的模式分类方法及其硬件实现张自力（西南师范大学计算机科学系重庆６３０７１５）ＴＨＥｍ－ＣＬＡＳＳＬＯＧＩＣＢＡＳＥＤＰＡＴＴＥＲＮＣＬＡＳＳＩＦＩＣＡＴＩＯＮＡＮＤＩＴＳＨＡＲＤＷＡＲＥＩＭＰＬＥＭＥＮＴＡＴＩＯＮ￥ＺｈａｎｇＺｉｌｉ（Ｄ...     

缺省推理与认识进程

本文概述了一个可以刻画知识的增长、更新以及假说的进化的开放逻辑理论;给出了有关新假设、事实反驳、假说的重构、认识进程及其极限等概念,讨论了它们的性质并证明了与之有关的定理。本文对开放逻辑和Reiter缺省推理理论做了比较研究,并用开放逻辑的概念给出了缺省的一个模型论解释,给出了扩充的构造,并证明了Reiter缺省证明概念的完全性。     

逻辑框架的语法,语用脑语义

逻辑模型架用以定义逻辑的类型系统，在爱丁保逻辑框架ＥＬＦ（Ｅｄｉｎｂｕｒｇｈ ｌｏｇｉｃａｌ ｆｒａｍｅ－ｗｏｒｋ）和马丁诺夫逻辑框架的基础上，本文提出了一个集两者优点一身的新型逻辑框架，此逻辑框架特别适用于语义分析，文中还给出一结如何在此逻辑框架中表示目标语言的应用实例。     

用可编程控制器实现BEPC安全联锁系统——PLC在测控系统中…

本文介绍一种设计安全联锁系统的新方法，它的基本思想是采用可编程控制器（ＰＲＯＧＲＡＭＭＡＢＬＥ ＣＯＮＴＲＯＬＥＲ或ＰＲＯＧＲＡＭＭＡＢＬＥＬＯＧＩＣＣＯＮＴＲＯＬＬＥＲ－ＰＬＣ）替代过去的继电器和逻辑的控制，组成分布系统，以提高要靠性和可维护性，增加灵活性，缩短工期，节省人力和资金，一台多媒体ＩＢＭ－ＰＣ兼容机有作业上位机，监控整个系统。     

基于结构的多级逻辑优化

本文提出一个基于结构的多级逻辑优化算法ＭＬＯＢＬＳ，多级组合逻辑网络的优化通过分析名逻辑门的可替代函数，并用简单的替代函数作替代变换完成。算法ＭＬＯＢＬＳ具有良好的逻辑结构重构能力，能得到近似最优的多级逻辑结构。整个优化过程在多级逻辑结构上直接进行，其时／空复杂性较少依赖于多级逻辑结构的基本输入／输出数目。／     

认识逻辑(3):基于语义tableau的证明理论

本文定义了带有索引的认识逻辑ELI,讨论了ELI的语义tableau的证明过程,证明了模态tableau的相容性和完备性.由于ELI与认识逻辑EL是等价的,因而,本文讨论的tableau证明过程也可以作为EL的证明理论.     

针对PLD芯片的大型MI/SO组合逻辑ABEL编程文件的自动生成

可编程逻辑器件的应用使逻辑电路的设计与修改更加灵活，实现起来更加方便．但使用现有的可编程逻辑器件计算机辅助设计软件需要一定的专业知识，对于一般用户有一定的困难；而系统内所提供的逻辑自动划分功能算法对于有些特殊应用还会遇到一些难以解决的问题．鉴于此，作者开发了针对指定ＰＬＤ芯片的自动生成多输入单输出（ＭＩ／ＳＯ）组合逻辑的ＡＢＥＬ编程文件的软件．本系统由于仅利用遍历操作实现逻辑划分，按存储器访问次数计算，该算法的计算复杂度仅为Ｏ（ｎ＋ｋｎ），不存在组合爆炸问题，它能够将大规模的多输入单输出组合逻辑函数自动分解，自动生成ＡＢＥＬ语言的设计文件，并能够自动给出芯片之间的连接方式．     

AN EPISTEMIC LOGIC WITH QUANTIFICATION OVER NAMES

Sentential theories of belief hold that propositions (the things that agents believe and know) are sentences of a representation language. To analyze quantification into the scope of attitudes, these theories require a naming map a function that maps objects to their names in the representation language. Epistemic logics based on sentential theories usually assume a single naming map, which is built into the logic. I argue that to describe everyday knowledge, the user of the logic must be able to define new naming maps for particular problems. Since the range of a naming map is usually an infinite set of names, defining a map requires quantification over names. This paper describes an epistemic logic with quantification over names, presents a theorem-proving algorithm based on translation to first-order logic, and proves soundness and completeness. The first version of the logic suffers from the problem of logical omniscience; a second version avoids this problem, and soundness and completeness are proved for this version also.     

基于动态描述逻辑的多主体协作模型

基于动态描述逻辑的主体模型和协作过程就是既考虑了智能主体的知识表示与推理问题，又紧密地结合主体的设计与编程问题，把表示与推理应用到主体的具体设计中．它充分利用了动态描述逻辑的统一的形式化框架，同时从静态的知识表示与推理和动态的运行与变化两个方面来刻画主体的心智状态和协作过程，探讨了主体信念、行为能力、目标和规划等心智要素的表示、推理与修改以及联合目标的形成、多目标的规划问题．多主体协作模型将理论和实践有机地结合起来，能够充分体现智能主体的本质特征与运行机制，为多主体系统的设计与编程奠定了很好的基础．     

BDI模型信念特性研究

Agent计算的典型模型是BDI(belief，desire，intention)，信念是Agent计算的重要属性．把信念拓展为知识性信念和可实现信念．Agent的知识性信念是指Agent当前具有或掌握的知识，具有知识的进化和继承特性．Agent的可实现信念是指当前不成立而在将来会成立的事情，是Agent被意识到的个性倾向和目标．用非标准世界的模态逻辑为形式化工具描述两种信念，将可能世界的可达关系作为认识的不同阶段和达到可实现信念的不同阶段，避免了“逻辑全知问题”和逻辑蕴涵的副作用问题．可实现信念满足KD公理，知识性信念满足KDT4公理．两种信念适合描述Agent的意识状态和意识模型．     

A concurrent dynamic logic of knowledge,belief and certainty for multi-agent systems

This paper extends the logic of knowledge, belief and certainty from one agent to multi-agent systems, and gives a good combination between logic of knowledge, belief, certainty in multi-agent systems and actions that have concurrent and dynamic properties. Based on it, we present a concurrent dynamic logic of knowledge, belief and certainty for MAS, which is called CDKBC logic. Furthermore, a CDKBC model is given for interpreting this logic. We construct a CDKBC proof system for the logic and show that the proof system is sound and complete, and prove that the validity problem for the system is EXPTIME-complete.     

基于可能回答集程序的多Agent信念协调

多Agent系统(Multi-Agent System,MAS)是人工智能领域的一个非常活跃的研究方向。在多Agent系统中,由于Agent之间信念的差异,会不可避免地造成行动冲突。Sakama等提出的严格协调方法只适用于各Agent之间有共同信念的情境,当不存在共同信念时,此协调方法无解。针对该问题,文中提出了一种基于可能回答集程序(Possibilistic Answer Set Programming,PASP)的信念协调方法。首先,针对各Agent的不同信念集,基于加权定量的方法计算PASP的回答集相对Agent信念的满足度,以此来弱化某些信念,并且引入缺省决策理论推理得到Agent信念协调的一致解。然后,根据一致解建立一致的协调程序,将其作为Agent共同认同的背景知识库。最后,以dlv求解器为基础实现了多Agent信念协调算法,使Agent之间可以自主完成信念协调。文中以旅游推荐系统为例,说明该算法能够打破严格协调方法的局限,有效解决各Agent之间无共同信念时的协调问题。     

基于交互历史的多Agent自动协商研究

在多Agent协商过程中,初始信念起到了至关重要的作用.而初始信念的形成是由设计者给予的部分专家知识和策略集,成功的交互历史是Agent在复杂环境中最后达成一致的提议集.通过学习机制从交互历史中获得知识,形成协商的初始信念,将更加有效地预测对方的策略,缩短协商过程的时间,再通过在线学习来协调己方Agent的行为.在此基础上优化协商模型,提高协商的效率和成功率.     

Minimal Belief and Negation as Failure in Multi-Agent Systems

We propose an epistemic, nonmonotonic approach to the formalization of knowledge in a multi-agent setting. From the technical viewpoint, a family of nonmonotonic logics, based on Lifschitz's modal logic of minimal belief and negation as failure, is proposed, which allows for formalizing an agent which is able to reason about both its own knowledge and other agents' knowledge and ignorance. We define a reasoning method for such a logic and characterize the computational complexity of the major reasoning tasks in this formalism. From the practical perspective, we argue that our logical framework is well-suited for representing situations in which an agent cooperates in a team, and each agent is able to communicate his knowledge to other agents in the team. In such a case, in many situations the agent needs nonmonotonic abilities, in order to reason about such a situation based on his own knowledge and the other agents' knowledge and ignorance. Finally, we show the effectiveness of our framework in the robotic soccer application domain.     

可控网络中多Agent系统信念可达性和收敛速度分析

在可控网络中,利用多agent系统是网络控制的一种重要方法.在可控网络中,多agent系统中所有agent持有的信念必须在决策前达到与网络实际状态一致,即多agent系统的信念应具有可达性,是实现网络合理控制的基础.传统的基于agent行为的信念更新模型建模过程复杂,不适合在网络控制中直接分析多agent系统信念的可达性和收敛速度.基于传统的信念更新模型,提出了信念距离的概念,并在该概念的基础上提出了新的多agent系统信念距离更新模型,并证明了该模型的合理性.该模型对多agent系统信念距离更新过程加以描述,利用线性系统对多agent系统信念收敛过程进行描述,简化了对多agent系统信念可达性和收敛速度分析的复杂性.在该模型基础上,对网络控制中多agent系统信念可达性和收敛速度进行了分析,给出了判断多agent系统信念可达性的充要条件和收敛速度的上限.另外,针对全耦合网络和无标度网络两种复杂网络的特点,分别对两种网络下多agent系统信念可达性和收敛速度进行了讨论.提出的信念距离更新模型具有良好的适应性,为判断多agent系统的信念可达性提供了有力的工具.