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

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

认识逻辑(2):多认识主体的认识逻辑MEL

认识逻辑ＥＬ给出了知识和信念在单一认识主体情形下的逻辑框架。本文将认识逻辑ＥＬ推广到多认识主体的情形，得到了一个可靠并且完备的系统ＭＥＬ。ＭＥＬ继承了ＥＬ的全部性质。ＭＥＬ的一个重要特点是各个认识主体的知识是可以共享的。ＭＥＬ可以作为分布式多ａｇｅｎｔ系统的逻辑基础。     

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

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

标记模态归结的推广

本文将作者提出的高效的命题模态Ｄ逻辑的标记模态归结方法推广到了命题模态逻辑Ｋ,Ｋ４,Ｄ４,Ｔ,Ｓ４系统,建立了上述命题模态逻辑的标记归结形式系统ＭＲＫ,ＭＲＫ４,ＭＲＤ４,ＭＲＴ,ＭＲＳ４,并用转移子句模式的方法,借助于标记模态归结对命题模态Ｄ逻辑的可靠性结果,证明了标记模态归结系统ＭＲＫ,ＭＲＫ４,ＭＲＤ４,ＭＭＲＴ,ＭＲＳ４分别关于命题模式逻辑Ｋ,Ｋ４、Ｄ４,Ｔ,Ｓ４的可靠性,进而得到了它们的     

改质剂SPE-100在轻型载重斜交轮胎胎面胶中的应用

试验研究改质剂SPE-100在轻型载重斜交轮胎胎面胶中的应用效果。结果表明,与生产配方相比,试验配方胶料的t10和t90稍有缩短;硫化胶物理性能相当,耐磨性能显著提高;成品轮胎耐久性能和高速性能达到国家标准要求,虽然每千克增加成本0．03元,但社会效益显著。     

电弧炉电气保护加设辅助电源

按照设计要求,电弧炉需用两条电源供电:一条是炼钢主回路电源,一般经隔离开关、磁吹断路器控制,由电炉变压器供给,电压为120～210V几个不同等级;另一条是调节器的控制电源。三相四线制线路。由电力变压器供给。图1是我厂铸钢车间1.5t电弧炉的供电系统图。     

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

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

非单调推理的研究现状

一、引言 早在1959年,McCart~[1]就发现常识和常识推理很难处理,因为在常识推理中当前得出的结论,可能会由于以后新事实的加入而被取消.这就是所谓的“非单调性”。     

有序缺省理论及其扩充

讨论了半正规缺省理论和一般抽省理论之间的关系，将有序的概念引入了一般缺省理论，证明了每个有序处理论都有扩张。而且，给出了一个判定缺省理论是否有序的可行算法。