王金昌;约翰·范德·瓦特 Horn子句系统的提问策略。 （英语） Zbl 0875.68805号 安。数学。Artif公司。智力。 1，No.1-4，359-370（1990）. 引用于8文件 MSC公司： 68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等） 68瓦10 计算机科学中的并行算法 PDF格式BibTeX公司 XML格式引用 \textit{J.Wang}和\textit{J.Vande Vate}，Ann.数学。Artif公司。智力。1，编号1--4，359--370（1990；Zbl 0875.68805） 全文： 内政部 参考文献： [1] A.V.Aho、J.E.Hopcroft和J.D.Ullman，《计算机算法的设计与分析》（Addison-Wesley，Reading，MA，1974年）·Zbl 0326.68005号 [2] B.G.Buchanan和E.H.Shortiffe，基于规则的专家系统？斯坦福启发式程序设计项目的MYCIN实验（Addison Wesley，Reading，MA，1984）。 [3] W.F.Dowling和J.H.Gallier，《测试Horn公式可满足性的线性时间算法》，《逻辑编程》3（1984）267-284·Zbl 0593.68062号 ·doi:10.1016/0743-1066（84）90014-1 [4] R.Duda、J.Gasching和P.Hart，矿物勘探PROSPECT顾问系统中的模型设计，微电子时代的专家系统（英国爱丁堡大学出版社，1979年）。 [5] M.R.Garey和D.S.Johnson，《计算机与难治性》（W.H.Freeman，纽约，1979年）。 [6] E.Hayes-Roth，D.A.Waterman和D.B.Lenat，《建筑专家系统》（Addison-Wesley，Reading，MA，1983）。 [7] R.G.Jeroslow和J.Wang，动态编程积分多面体和Horn子句知识库，ORSA的J.Computing（1989年冬季）7-19·兹比尔0753.90069 [8] R.G.Jeroslow和J.Wang，解决介词可满足性问题，《数学年鉴》。和AI 1（1990）167-187。 [9] C.S.Mellish，作为专家系统问题选择指南的广义α-β修剪，专家系统85，Proc。英国计算机学会专家系统专家组第五届技术会议，沃里克大学，1985年（剑桥大学出版社，剑桥CB2 1RP，1985年），第31-41页。 [10] R.E.Tarjan，《数据结构和网络算法》，工业和应用数学学会，费城（1983年）·Zbl 0584.68077号 [11] J.D.Ullman和A.Van Gelder，逻辑规则自上而下终止的有效测试，J.ACM 35（1988）345-373·数字对象标识代码：10.1145/42282.42285 [12] J.Wang，命题逻辑和离散优化，佐治亚理工学院管理学院，正在编写中。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。