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

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

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

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

带有约束的缺省逻辑

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

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

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

非单调推理的研究现状

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

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

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

有序缺省理论及其扩充

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

广义归结中的强蕴涵和涵盖

本文讨论了涵盖和强蕴涵之间的关系,给出并证明了强蕴涵是涵盖的条件,还证明了在广义归结中同时使用涵盖和强蕴涵做为删除策略仍是完备的.

不完全信息下的溯因诊断

研究缺省逻辑表示下的溯因框架。

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

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

标记模态归结的推广

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

约束可满足问题求解策略的改进和实验结果

通过对那些属于NP－Complete的约束可满足问题（如图着色、规划、SAT问题等）的求解实验，指出了局部搜索算法的局限性，由此给出改进的搜索策略．实验结果表明，应用改进的搜索策略使算法效率明显提高．

煤炭销售的管理问题探究

随着当前我国现代经济制度的建立,提高企业的销售管理水平已经成为企业在经营中的重要措施,这对于竞争激烈的煤炭行业尤为如此。下面,笔者就煤炭销售管理的重要性做出具体论述,并阐述了当前我国煤炭销售管理过程中存在的问题。同时,针对问题,笔者给出相应的解决措施以解决存在的问题。

煤炭销售的品牌战略研究

随着当前市场经济的快速发展,企业与企业之间的竞争日益激烈,尤其是煤炭企业中的煤炭产品,由于其产品本质并没有差别,其竞争尤显激烈。在这种情况下,构建煤炭产品销售的品牌战略尤为重要。笔者就当前煤炭销售品牌的现状作出介绍,并针对现状提出相应改进的措施。

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

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

浅谈煤炭销售的管理问题

随着当前我国现代经济制度的建立，提高企业的销售管理水平已经成为企业在经营中的重要措施，这对于竞争激烈的煤炭行业尤为如此。下面，笔者就煤炭销售管理的重要性做出具体论述，并阐述了当前我国煤炭销售管理过程中存在的问题。同时，针对问题，笔者给出相应的解决措施。

浅谈煤炭销售的管理问题探究

随着当前我国现代经济制度的建立，提高企业的销售管理水平已经成为企业在经营中的重要措施，这对于竞争激烈的煤炭行业尤为如此。下面，笔者就煤炭销售管理的重要性做出具体论述，并阐述了当前我国煤炭销售管理过程中存在的问题。同时，针对问题，笔者给出相应的解决措施以解决存在的问题。

浅析煤炭销售渠道问题与对策

煤炭是关系国家民生与经济的重要能源产品,而销售渠道在煤炭行业中又有着至关重要的地位。本文通过对煤炭销售渠道的现状分析,发现了一些煤炭渠道销售过程中村中的问题,并对此提出了相关解决对策。

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

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