Horn公式相关论文
开放逻辑旨在描述形式系统与外界的交互作用,它为常识推理研究开辟了一条新途径,并在机器学习、知识获取、故障诊断以及知识库维护......
本文为解决一类混合Horn公式([13,14]),又称为层次图公式([15])的MAXSAT问题进行了基于随机局部搜索过程的经验研究.具体地,我们首......
本文证明了 Horn函数的极大可满足性即使是限制在如下两种情况中的任何一种也是 MAX SNP困难的,第一种情况是每个公式都是二次的,第二种是公式......