交互时态逻辑下的三种模糊信念算子

前期工作交互时态信念逻辑ATBL仅在二值语义下刻画了三种信念算子,没有探?讨它们的模糊语义问题.利用可信度函数给出模糊并发博弈结构,以模态算子的形式在ATL的语法层面给出了三种模糊信念算子,在模糊并发博弈结构下给出其语义,建立了模糊交互时态信念逻辑FATBL,使得ATBL成为FATBL的特殊情况.对Agent认知形式化作了进一步探索,为多Agent系统研究提供了一个较好的形式化工具.     

剖析三种非经典逻辑的思想来源与特征

论述了概率逻辑,模糊逻辑和不确定逻辑的思想来源;揭示了它们的思想本质特性;比较分析了它们的长处和不足.     

逻辑函数化简运算中卡诺图法的特殊应用

卡诺图是逻辑函数化简及运算的有力工具。介绍了用卡诺图对单输出特殊函数的化简以及两输出逻辑函数、多输出逻辑函数的逻辑运算方法，并通过例证说明卡诺图的一些特殊应用，在复杂逻辑函数化简中具有简单、快速、准确的特点。     

扰动模糊逻辑中的连续算子

本文提出了扰动模糊命题逻辑的概念,定义了扰动模糊命题的运算,然后将一维模糊逻辑算子推广到二维的扰动模糊逻辑算子中去,提出了扰动模糊连续算子,同时对这些逻辑算子的性质做了较为系统的研究,从而使模糊逻辑的概念及性质得到进一步的推广。     

采用经典一阶逻辑的混合系统仿真逻辑验证法

针对混合系统难以分析和验证的问题,提出了一种采用经典一阶逻辑的混合系统仿真逻辑验证法.首先给出了混合程序、混合系统仿真逻辑公式、仿真逻辑的命题形式和含义、混合仿真、混合程序仿真语义、仿真逻辑公式的值等定义,然后在经典一阶逻辑、混合程序仿真语义和仿真逻辑公式的值的基础上给出仿真逻辑形式推演规则.最后通过煮鸡蛋的例子验证了混合系统的活性.     

随机逻辑的词义问题

得出了在随机逻辑的词义问题中，标准命题演算系统的每条公理在随机逻辑中都是模糊恒真的，但标准命题演算系统的定理，在随机逻辑中却不都是模糊恒真的。     

数据逻辑结构浅析

在计算机科学中,数据的逻辑结构通常是指程序设计问题中(可以是数值计算,也可以是非数值计算)计算机的操作对象(又叫数据元素)之间的抽象的逻辑上的关系和基于这种逻辑关系的运算。本文介绍了几类常用的逻辑结构。     

逻辑函数的粗糙集表达及最小化方法

提出了基于粗糙集理论对逻辑函数进行知识表达的方法,给出了运用粗糙集进行组合逻辑化简的优化算法.为保证化简前后逻辑上的等价性,用化简前的逻辑矩阵中的on-set项是否被化简后的off-set项的补完全覆盖的方法进行检验,结果表明化简前后是等价的.算法通过了对20变量以下的组合逻辑函数标准的Benchmark例题和部分组合逻辑函数典型实例验证,保证了优化结果正确性和有效性.     

卡诺图法化简异或逻辑函数

探讨了卡诺图化简异或逻辑函数的原理，提出了化简异或逻辑函数的新方法。     

Excel2010逻辑函数的应用

excel2010是当前比较先进的办公软件,处理数据的功能强大,界面友好,使用方便。其中逻辑函数可以代替人的思维,帮助人判断是非,给人类的工作和生活带来很大方便。它有七个函数,比较常用的是AND、IF、NOT、OR。使用这些函数批量处理数据,都要先处理第一组数据,然后把第一组数据的处理方法复制粘贴到其他组数据中。处理第一组数据,一般分三步:确定判断结果的显示位置、调用逻辑函数和输入要检测的参数。     

新型可编程逻辑器件EPLD的应用设计

可擦除可编程逻辑器件(EPLD)是美国Altera公司于80年代中期首先推出的一类新型可编程逻辑器件.作者分析了EPLD的结构特点,介绍了EPLD器件的应用开发过程及注意事项,最后给出了一个具体应用实例.     

三值多β门电路的逻辑完备集

根据多β晶体管和二值多β反相电路的工作特点,提出了三值多β反相电路的设计方案,从而构成了三值多β门电路的逻辑完备集,PSPICE模拟证明了所设计的电路具有正确的逻辑功能。     

带有约束的缺省逻辑

提出了一种改进缺省逻辑的方法，讨论了这种缺省理论的性质，证明了每个缺省都有扩充，具有半单调性和累积性，并讨论了处理多扩充问题的一种方法。     

语义网中描述逻辑的模糊扩展

描述逻辑是本体的基础,在实际应用中,描述逻辑可被扩展.介绍了描述逻辑的一种新的扩展——带比较表达式的模糊描述逻辑(FCDLs)来表示和推理语义网的模糊知识.FCDLs的语法和语义以及公理和断言也有明确的定义.FCDLs是模糊描述逻辑(FDLs)的模糊概念和扩展的模糊描述逻辑(EFDLs)的剪集概念的结合.FCDLs和FDLs一样,它也可以使用语义网上的模糊知识来表示、推理模糊本体.     

中国走和平发展道路的生成逻辑及世界意义

中国走和平发展道路,从理论逻辑来看,延续了中国尚和文化的基因,遵照了社会主义制度的要求,继承了党的历届领导核心的理念;从历史逻辑来看,中国自古以来就没有侵略过其他国家,近代的悲惨遭遇使中国意识到战争的残酷,冷战给全球制造了紧张气氛;从现实逻辑来看,和平愿望深入人心,现代化战争的后果越来越严重,拓展国家利益的途径发生变化。中国走和平发展道路,具有深远的世界意义,不仅维护了世界和平,而且在和平的环境下发展了自己,还开辟了大国崛起的新路径。     

人体形态逻辑:生物逻辑学研究

尝试通过数学与逻辑相结合的方法揭示五行与八卦之间所具有的内在联系,同时证明五行与八卦中蕴含的逻辑原理与人体形态逻辑具有密切的联系.逻辑不只是人类思维的工具还是构造人体乃至生物形态的变化法则.     

硬盘数据逻辑结构及其数据恢复

通过对硬盘数据逻辑结构的分析，总结了逻辑盘区丢失的原因，最后给出了硬盘的修复方法。     

蓄能电站上库进/出水口闸门逻辑技改分析

张河湾蓄能电站上库2号进出水口闸门在正常运行期间,出现过下滑事件。对闸门系统逻辑分析后,发现闸门逻辑的设置偏离实际,其对机组的稳定运行构成了一定的安全隐患。最后通过严谨的数据计算和论证,实施了逻辑技改,技改后极大地提高了闸门和机组的运行稳定性。     

基于PVS的时序逻辑语义模型及其实现

时序逻辑作为一种规格说明语言,能够很好地描述程序性质.为了能够利用现有的定理证明器PVS(prototype verification system)对用时序逻辑公式描述的程序性质予以证明,从而达到程序验证的目的.文中在PVS中建立了时序逻辑的语义模型,同时给出了其语义解释.然后通过一个简单的例子(求解整数平方根的程序),应用时序逻辑公式对该程序的部分性质进行了描述,取得了较好的效果.实现了程序性质的时序逻辑公式表示,为使用PVS验证程序的性质打下了一个好的基础.     

基于K图的逻辑函数变换方法

运用K图(卡诺图),不仅实现了与-或-非代数系统下逻辑函数的变换,并将逻辑函数的变换与化简结合起来,克服了代数法变换的繁琐与不足,丰富了变换的方法和途径;而且实现了将逻辑函数变换成与-异或代数系统下的RM展开式.K图法具有形象直观、方便快捷的特点,能提高数字电路的教学效果和设计效率.