谓词/变迁系统对一阶谓词公式的建模

研究了利用谓词/变迁系统对一阶谓词公式建模的方法。借助于软件工程中"由粗到细,逐层分解"的思想,定义了对各种逻辑联结词进行处理的基本模型。给出了一阶谓词公式的二叉树表示方法,进而利用二叉树的递归性质,提出了递归构造一阶谓词公式对应的谓词/变迁级的"事实变迁"表示的方法,克服了已有相关建模方法中存在的不足,为一阶谓词公式的自动化建模提出了新的思路。最后,探讨了一阶谓词公式的谓词/变迁系统模型在谓词逻辑推理领域的应用及其意义。

基于一阶谓词公式去除商务数据冗余关联规则的研究

由于现代网络数据量的急速增长,利用现有的算法生成关联规则时,冗余规则的数量远远大于实际有价值的规则,冗余规则不仅影响用户分析,而且使关联规则的利用率也大大降低。针对关联规则的冗余问题,提出了一种基于一阶谓词公式去除商务数据冗余关联规则的方法,利用一阶谓词公式来表示关联规则,通过等价公式进行转换,并利用算法和矩阵等价将谓词公式转换为邻接矩阵,然后利用冗余规则算法进行删除。实验原始数据为UCI数据集,并利用Weka生成关联规则。最后利用Matlab和Java实现冗余规则的去除。

一阶谓词公式关联矩阵的构造方法

一阶谓词逻辑可以借助关联矩阵进行有效推理。为了提高关联矩阵的构造效率,从而提高一阶谓词逻辑推理的效率,提出一种由一阶谓词公式构造对应关联矩阵的递归方法。该方法利用二叉树的递归性质,对任意一个一阶谓词公式,在化去量词后直接构造关联矩阵。该方法为借助关联矩阵实现一阶谓词逻辑的自动化推理提供了可能。

谓词公式的分层及其模型和应用

通过形式化的方法描述数据库中数据的性质,从而进一步讨论这些形式化的性质如何能在数据库模型中得到满足。为此,将谓词公式作为形式化的工具,并根据谓词公式中量词的不同情况对谓词公式进行了分层。针对分层公式、模型的概念被定义,研究了分层公式在模型中的性质。这些性质表明了分层公式中量词的特性与模型之间的关系。在此基础上,讨论了分层公式及其模型在实际当中的应用。由此得到:数据性质的分层公式描述不仅便于从理论上弄清数据与模型之间的关系,而且对于应用也具有实际的指导意义。

带有多重量词的谓词公式的否定

讨论了谓词逻辑中带有多重量词的谓词公式的否定问题,得出了对于此类谓词公式可以逐层否定的结论,从而填补了现有诸教材在这个问题上的一个空白。

谓词公式的翻译

将命题翻译成谓词公式时,先要确定论域。如果要用到限定性谓词,还要设定它和其他谓词的关系。量词之间的次序也不能随意摆放,否则意思会很不一样。最后用一个例子给出了翻译时可以参考的一个过程。

一阶谓词公式F与其Herbrand扩张之间的关系

任意一个一阶谓词公式F,先找到其中的个体常元和函数符号,并由此产生公式F的Herbrand域,然后用Herbrand域中的项替代公式F中的变元,以消去量词符号而得到公式F的函数形式.公式F的所有可能的函数形式组成的集合就是Herbrand扩张.研究了寻找一阶谓词公式与Herbrand扩张之间的关系.

关于一阶逻辑中的谓词公式对偶式的讨论

提出谓词公式对偶式、对偶前束范式等概念以及对偶原理，并给出若干结论。

关于NP最优化类问题的谓词公式表示法

把ＮＰ最优化类问题的谓词公式表示法改变为与一定的数据结构相对应的比较适合实际计算的形式，更方便于以实际计算结合理论研究，以进一步探讨这一类难的问题的可行的解法。

数理逻辑中谓词命题符号化的难点解析

本文通过作者多年教授离散数学课程中数理逻辑部分的教学经验，总结谓词命题符号化的学习要点和难点，从而帮助学生更高效地学习好数理逻辑．

从经典逻辑知识构建ASP知识库的新方法

回答集程序设计(ASP)是一种主流的非单调知识表示工具。为了能够在利用ASP求解问题过程中使用现有的以经典逻辑表示的知识,给出了一种把以谓词逻辑公式表示的约束型知识和定义型知识转化为ASP程序或知识库的新方法,并以实例说明了其有效性。该方法满足转化后ASP程序的回答集与原公式集的模型具有一一对应关系。在实际应用中,该方法提供了一项从现存的以谓词逻辑为表示语言的知识库,构建以ASP为知识表示语言的非单调知识库的技术。

关系命题的语形和语义——一个逻辑分析的实例

当关系命题的两个关系者词被全称和存在两个量词约束时,即所有事物与有些事物有某关系或有些事物与所有事物有某关系,如何正确表达和理解这类命题的含义以及它们之间的关系?这是现代逻辑必须研究和解决的问题。可以运用一阶逻辑工具及其解释的方法,分析该类命题的语形和语义,揭示不同量词在关系命题中位置变化的规律,对关系命题相应的普效式、可满足式给出严格的证明,从而提供一个逻辑分析实例。

法律需要什么样的逻辑

法律需要什么样的逻辑陶景侃宪法、行政法、刑法、民法和诉讼法等法律，以及这些法律的行政适用和司法适用，包含着哪些逻辑问题？具有什么样的思维形式结构？需要什么样的思维形式规律？对于这类问题作出明确的解答，是构造法律逻辑系统的先决条件。一、法律规范的逻辑分...

计算机数学基础期末复习

1命题逻辑 1.1命题与联结词. 具有确定真假意义的陈述句为命题.命题必须具备:第一,语句是陈述句;第二,语句有确定的真假意义.

主范式在数理逻辑中的重要作用

从数理逻辑中的命题公式等值判定、命题公式类型判别、命题公式的赋值、谓词公式类型判别和推理正确性检验等几方面探讨了主范式的重要作用。

真值表在数理逻辑中的重要作用

从数理逻辑中的命题公式等值判定、联结词定义、主析取范式求法、谓词公式类型辨别和推理正确性检验等几方面探讨了真值表所起的重要作用，指明真值表是数理逻辑学科体系的最重要的基石，重点抓好真值表的教学是解决好整个数理逻辑教学的关键.