Horn子句逻辑程序的Petri网模型

Horn 子句逻辑程序 H 可以逻辑等价地转化为 Petri 网模型 M,在 M 中从初始标识 N_0到目标变迁/g(?)形成的发射序列对应着求解 H 的调用序列,在 M 中存在变迁不变式 X≥(?),并且 X(tg)≠0是 H 有解的充要条件。     

复句内部分句间关系的本质属性与逻辑意义

对复句内部分句间关系的认识和理解,传统汉语语法理论注重从结构层次、语义特征等方面进行分析,忽视了对分句间关系的本质属性和逻辑意义的认识。其实,复句作为一种语言形态,是思维活动的载体,也是思维活动的物质表现形式,同样受到全人类共同的思维规律和逻辑方法的制约;只有在结构、语义层面的认识基础上,进一步从复句内部分句间诸关系中确定本质属性的关系,正确理解关联词语的逻辑意义,才能真正认识和掌握复句内部分句间多元关系中的内在联系。     

Horn集上的有向调解法

本文证明了在一定条件下输入有向调解法在Horn集上是完备的,进而得出了在该条件下的单元有向调解法对Horn集的完备性。     

Horn集上的语义正单元归结

Ｌ． Ｈｅｎｓｃｈｅｎ证明了语义归结对 Ｈｏｒｎ集是完备的［１］。但是语义归结不是正单元归结。本文的主要结果是不可满足的Ｈｏｒｎ子句集合Ｓ有这样一个反驳，对于这个反驳的每一个归结来说，或者一个祖先子句是正单元，而且该正单元在 Ｉ上是假的；或者一个祖先子句是正单元，而且从另一个祖先子句和这个归结式中删去他们的正义字后剩下的子句在 Ｉ上都是假的．其中 Ｉ是 Ｓ的任何一个解释。     

TRIPS协议弹性条款与我国《专利法》修正

TRIPS协议为平衡WTO成员国的权利义务设定了若干弹性条款。TRIPS协议的弹性条款包括原则性和规则性两部分。我国正在进行的《专利法》第三次修改是充分利用TRIPS协议弹性条款的良好契机。这次修改应当在等同原则、创造性标准、外观设计授权例外、权利用尽和平行进口规定、科学实验例外、＂Bolar＂例外和强制许可这几个方面作出更为详尽的规定,并采取一切办法解决在利用TRIPS协议弹性条款上还存在的诸多困难,以维护我国国际贸易领域的利益。     

对《刑法》第九十三条第二款的思考

刑法总则是指导分则的，刑法分则是刑法总则的具体化。两者相辅相成，缺一不可。在运用刑法分则条文时，必须符合刑法总则规定的一般原理和原则。目前刑法总则条款九十三条第二款有疏漏，其指导的分则条款却很完善。那么，根据罪行法定原则，建议将该条款中国有公司、企业、事业单位、人民团体修改为国有单位，就不会出现前后矛盾。     

Hom-结合代数与Hom-余结合余代数的性质

首先简要地概述了文献中A．Makhlouf和S．D．Silvestrov引入的Hom-结合代数与Hom-余结合余代数的相关概念,接着进一步讨论了Hom-结合代数同态与Hom-余结合余代数同态之间的关系．     

在最坏情况下Horn集上的单元反驳长度

１９７４年Ｃｏｏｋ和Ｒｅｃｋｂｏｗ讨论了命题演算中的证明长度。本文作者曾讨论了最好情况下基本Ｈｏｒｎ集上的单元反驳与输入反驳长度及最坏情况下基本Ｈｏｒｎ集上的输入反驳长度。本文讨论了在最坏情况下基本Ｈｏｒｎ集上的单元反驳长度上界．这一上界对某些Ｈｏｒｎ集来说是可达到的．     

可满足性问题的充分必要条件

可满足性问题是计算机和人工智能领域内的一个重要的问题,是第一个被证明是NPC的问题。本文主要把子句集进行分类,给出翻转定义、简单集定义,翻转同构定义,并且证明翻转同构不改变子句集的可满足性。论文证明了可满足子句集的三个充要条件。并且这些充要条件可以用于判断可满足问题的完全搜索和不完全搜索算法。     

并行单元归结

给出了基于神经网络的单元归结算法.首先将子句集S表示为δ形,并且用算子对(⊙, )引入两种类型的神经元,然后用这两种神经元构造子句集S的神经网络结构,而后给出基于Horn子句集的神经网络的归结算法,最后证明了该算法的完备性,并用实例进行了验证.