谓词公式相关论文
研究了利用谓词/变迁系统对一阶谓词公式建模的方法。借助于软件工程中"由粗到细,逐层分解"的思想,定义了对各种逻辑联结词进行处......
在人工智能里的知识表达与推理中,经常需要对谓词公式进行演算,以达到子句集的表达,便于以后的推理或证明.本文就是通过二又树来实......
当关系命题的两个关系者词被全称和存在两个量词约束时,即所有事物与有些事物有某关系或有些事物与所有事物有某关系,如何正确表达......
通过形式化的方法描述数据库中数据的性质,从而进一步讨论这些形式化的性质如何能在数据库模型中得到满足.为此,将谓词公式作为形......
讨论了谓词逻辑中带有多重量词的谓词公式的否定问题,得出了对于此类谓词公式可以逐层否定的结论,从而填补了现有诸教材在这个问题上......
将命题翻译成谓词公式时,先要确定论域。如果要用到限定性谓词.还要设定它和其他谓词的关系。量词之间的次序也不能随意摆放,否则意思......
回答集程序设计(ASP)是一种主流的非单调知识表示工具。为了能够在利用ASP求解问题过程中使用现有的以经典逻辑表示的知识,给出了......
把NP最优化类问题的谓词公式表示法改变为与一定的数据结构的对应的比较适适合际计算的形式,更方便便于实际计算结合理论研究,以进一步......
法律需要什么样的逻辑陶景侃宪法、行政法、刑法、民法和诉讼法等法律,以及这些法律的行政适用和司法适用,包含着哪些逻辑问题?具有什......
从数理逻辑中的命题公式等值判定、命题公式类型判别、命题公式的赋值、谓词公式类型判别和推理正确性检验等几方面探讨了主范式的......
本文通过作者多年教授离散数学课程中数理逻辑部分的教学经验,总结谓词命题符号化的学习要点和难点,从而帮助学生更高效地学习好数......
本文通过作者多年教授离散数学课程中数理逻辑部分的教学经验,总结数理逻辑中演绎推理的要点和难点,利用图解法帮助学生更快速简单......