×
特里安塔菲鲁，E。;王，J.-C。

Horn子句系统中提出最少问题的问题。 （英语） Zbl 0820.90061号

数学。计算。建模 20，第9期，75-87（1994）.
摘要：本文研究了具有Horn子句规则库的专家系统中的提问策略问题。一个好的战略应该尽可能少地提出问题以得出结论。本文描述了一种高效启发式方法的开发，该方法是由Z.Wang（王）和J.范德瓦特【《数学与人工智能年鉴》，1359-370（1990）】。与最初的战略类似，拟议的方法也分为两个阶段。在第一阶段，按照原始策略形成一组候选问题。在第二阶段，从上一组问题中选择一个问题。该策略使用了一个新的问题选择规则。给定一组候选问题，此规则是最佳的。此外，计算结果表明，新的提问策略是一种高效实用的方法。

引用于2文件

MSC公司：

90B50型 管理决策，包括多个目标
第68页第35页 人工智能语言和软件系统理论（基于知识的系统、专家系统等）

关键词：

提问策略;推理机;反向链接;集合覆盖问题;专家系统中的策略;Horn子句规则基础;启发式方法
PDF格式BibTeX公司 XML格式引用
\textit{E.Triantaphyllou}和\textit{J.C.Wang}，数学。计算。模型20，编号9，75--87（1994；Zbl 0820.90061）
全文： 内政部

参考文献：

[1] 王，J。；Vande Vate，J.，《Horn子句系统的提问策略》，《数学与人工智能年鉴》，1359-370（1990）·Zbl 0875.68805号
[2] 德克莱尔，J。；威廉姆斯，B.C.，《诊断多个故障》，《人工智能》，32，97-130（1987）·Zbl 0642.94045号
[3] de Kleer，J.，使用粗略概率估计指导诊断，人工智能，45，381-391（1990）
[4] Jeroslow，R.G。；Hammer，P.L.，基于逻辑的决策支持：混合整数模型公式，《离散数学年鉴》，40（1989），专刊·Zbl 0698.90062号
[5] 胡克，J.N.，逻辑推理的定量方法，决策支持系统，445-69（1988）
[6] 布坎南，B.G。；Shortiffe，E.H.，《基于规则的专家系统》（The MYCIN Experimentas of The Stanford Heuristic Programming Project（1984），Addison-Wesley：Addison-Whesley Reading，MA）
[7] Shortiffe，E.H。；阿克斯林，S.G。；布坎南，B.G。；梅里根，T.C。；Cohen，S.N.，《为医生提供抗菌治疗、计算机和生物医学研究方面建议的人工智能程序》，6544-560（1973）
[8] 巴肯，J。；McDermott，J.，《R1重访：战壕中的四年》，AI杂志，5，21-32（1984）
[9] McDermott，J.，R1:基于规则的计算机系统配置器，《人工智能》，19（1982）
[10] 沃伦，D.H.D。；佩雷拉，L.M。；Pereira，F.，PROLOG-与LISP相比的语言及其实现，人工智能与编程语言（ACM）研讨会论文集，64，109-115（1977），SIGPLAN通知12；和SIGART新闻稿
[11] Hayes-Roth，F。；Waterman，D.A。；Lenat，D.B.，《建筑专家系统》（1983），艾迪森·韦斯利：马萨诸塞州艾迪森·韦斯利·雷丁
[12] 杜达，R。；Gashing，J。；Hart，P.，矿物勘探PROSPECT顾问系统中的模型设计，（微电子时代的专家系统（1979），爱丁堡大学出版社：英国爱丁堡学院出版社）
[13] Mellish，C.S.，《作为专家系统问题选择指南的广义alpha-beta修剪》，专家系统85，（英国计算机学会专家系统专家组第五次技术会议记录（1985），剑桥大学出版社：剑桥大学出版社），31-41
[14] Garey，M.R。；Johnson，D.S.，《计算机与难处理性》（1979），W.H.弗里曼：W.H.弗里曼，纽约·Zbl 0411.68039号
[15] Jeroslow，R.G。；Wang，J.，《动态编程、积分多面体和Horn子句知识库》，ORSA计算机期刊，1，7-19（1989）·Zbl 0753.90069号
[16] 道林，W.F。；Gallier，J.H.，测试Horn公式可满足性的线性时间算法，《逻辑编程杂志》，3，1，267-284（1984）·Zbl 0593.68062号
[17] Wang，J.，基于规则的专家系统和离散优化，（乔治亚理工学院管理学院博士论文（1990）：乔治亚理工大学院管理学院，佐治亚理工大学亚特兰大分校）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。