一阶谓词相关论文
本文讨论了RKIF规范的设计和推理引擎的实现。最终定义的RKIF实际上是一个默认封闭世界假设，并去掉了一些不常用的KIF语法特性的KIF......
为解决Web数据集成中大量事件表象语句共指现实世界同一事件,导致数据冗余问题,提出一种基于Markov逻辑网的事件表象统一方法。该......
人工智能原理中,基于一阶谓词逻辑下的归结推理方法可以在机器上实现"自动定理证明以及问题的求解",实际研究应用表明归结原理中的......
本文给出了一个在自然数的有穷客体域Dk={l，2，…，k}（k≥0）内一阶谓词逻辑公式的k普遍有效性的判定算法。对于只包含一元谓词的公式以及......
针对变电站操作票具有操作项目繁多、要求严格的特点,为了规范化操作票内容,开发了操作票规范化学习与考核系统。对标准操作票的具......
用一阶谓词逻辑的形式语言讨论了自然语言的形式描述、数学知识的形式表述、在人工智能中智能行为过程的描述等。总结用一阶谓词逻......
