罗伯特·杰罗斯洛。;王金昌 动态编程、积分多面体和Horn子句知识库。 （英语） Zbl 0753.90069号 ORSA J.计算。 1，第1期，7-19（1989）. 摘要：我们展示了Horn子句知识库中的证明结构是如何由合适的“对偶”线性约束集的某些极端解完全描述的。该线性系统的极点是整数向量，并给出了给定命题在“目标”命题的证明中使用的次数。此对偶的“原始”提供了逐点最大向量，该向量解决了一组动态编程递归，后者的递归来自Horn子句知识库。知识库中事实或规则的变化仅对应于对偶线性规划的准则向量的变化。这种在专家系统中进行推理的线性规划方法还允许检测“近似证明”。根据定义，后者是证明结构，如果只知道另外一个事实是真的，这些结构就会变得有效。 引用于1审查引用于10文件 MSC公司： 90立方厘米 动态编程 03B05号 经典命题逻辑 68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等） 90C27型 组合优化 90C05（二氧化碳） 线性规划 关键词：Horn子句知识库 PDF格式BibTeX公司 XML格式引用 \textit{R.G.Jeroslow}和\textit{J.Wang}，ORSA J.Compute。1，第1号，7--19（1989；Zbl 0753.90069） 全文： 内政部