×
尤金·查尼亚克;所罗门·埃亚尔·希莫尼

基于成本的诱拐和MAP解释。 （英语） Zbl 0807.68079号

Artif公司。智力。 66，第2期，345-374（1994）.
概要：基于成本的诱拐试图通过寻找最低成本的事实证据来找到对一组事实的最佳解释。成本是通过将证明所需的假设成本与规则成本相加来计算的。我们将现有的构造解释（证明）的方法作为DAG（有向无环图）上的最小化问题进行研究。然后，我们定义了成本的概率语义，并证明了成本最小化问题与系统的贝叶斯网络MAP（最大后验概率）解的等价性。提出了一种简单的寻找最小代价证明的最佳优先算法，并提出了可能的改进。然后，将完整模型的基于成本的外推语义推广到处理否定。这反过来又允许我们将最佳优先搜索算法作为一种计算MAP分配的新方法应用到可以按概率递减顺序枚举分配的信念网络。一个重要的点是，最佳第一搜索算法的改进结果会延续到MAP的计算中。

引用于17文件

MSC公司：

68吨15 定理证明（演绎、解析等）（MSC2010）

关键词：

有向无圈图;概率语义学

软件：

NESTOR公司
PDF格式BibTeX公司 XML格式引用
\textit{E.Charniak}和\textit{S.E.Shimony}，Artif。智力。66，编号2，345--374（1994；Zbl 0807.68079）
全文： 内政部

参考文献：

[1] Appelt，D.E.，基于模型偏好的诱拐理论，（AAAI春季诱拐研讨会论文集（1990））
[2] 查尼亚克，E。；Goldman，R.P.，《语义解释的逻辑》（计算语言学协会第26届年会论文集，纽约州布法罗市计算语言学学会第26届年度会议论文集，1988年）
[3] 查尼亚克，E。；Husain，S.，《最小成本证明的一种新的可接受启发式算法》（Proceedings AAAI-91）。美国加利福尼亚州阿纳海姆AAAI-91会议记录（1991年）
[4] 查尼亚克，E。；Shimony，S.E.，《基于成本的诱拐的概率语义》（Proceedings AAAI-90）。AAAI-90诉讼，马萨诸塞州波士顿（1990年）·Zbl 0742.68076号
[5] 查尼亚克，E。；Shimony，S.E.，《基于规则的系统的概率语义》（技术报告CS-90-02（1990），布朗大学计算机科学系：罗得岛州普罗维登斯布朗大学计算机系）·Zbl 0742.68076号
[6] Cooper，G.F.，NESTOR：一种基于计算机的医学诊断辅助工具，集成了因果和概率知识，（1984年斯坦福大学博士论文：斯坦福大学，加利福尼亚州斯坦福）
[7] Feldman，J.A。；Yakimovsky，Y.，《决策理论与人工智能I：基于语义的区域分析器》，Artif。智力。，5, 349-371 (1974) ·Zbl 0289.68055号
[8] Garey，M.R。；Johnson，D.S.，（《计算机与不可处理性：NP-完备性理论指南》（1979），弗里曼：弗里曼纽约）·Zbl 0411.68039号
[9] Geeman，S。；Geeman，D.，《随机松弛、吉布斯分布和图像的贝叶斯恢复》，IEEE Trans。模式分析。机器。智力。，6, 721-741 (1984) ·Zbl 0573.62030号
[10] Genesereth，M.R.，《自动诊断中设计描述的使用》，Artif。智力。，24, 411-436 (1984)
[11] 霍布斯，J.R。；Stickel，M.E。；Martin，P.等人。；Edwards，D.，《解释为诱拐》，（计算语言学协会第26届年会论文集，纽约州布法罗市计算语言学学会第26届年度会议论文集（1988））
[12] Kautz，H.A。；Allen，J.F.，《广义计划识别》（Proceedings AAAI-86）。美国宾夕法尼亚州费城AAAI-86会议记录（1986年）
[13] 麦克德莫特，D.V.，纯粹理性批判，计算机。智力。，3, 151-160 (1987)
[14] 莫德斯蒂诺，J.W。；Zhang，J.，基于马尔可夫场模型的图像解释方法，（IEEE计算视觉模式设计（1989））
[15] Neapolitan，R.E.，（专家系统中的概率推理（1990），威利：威利纽约），第8章
[16] Pearl，J.（《智能系统中的概率推理：合理推理网络》（1988），Morgan Kaufmann：Morgan Kaufmann San Mateo，CA）
[17] 彭，Y。；Reggia，J.A.，诊断问题解决的概率因果模型，（IEEE Trans.Syst.Man Cybern.（1987）），395-406，（第1部分和第2部分）·Zbl 0635.68112号
[18] Santos，E.，基于成本的诱拐和线性约束满足，（技术报告CS-91-13（1991），布朗大学计算机科学系：罗得岛州普罗维登斯布朗大学计算机系）·Zbl 0787.68092号
[19] Santos，E.，《基于成本的诱拐、线性约束满足和替代解释》（《AAAI诱拐研讨会论文集》（1991年））
[20] Artif公司。智力。，65, 1-27 (1994) ·Zbl 0787.68092号
[21] Santos，E.，《关于产生具有信念修正含义的替代解释》（第七届人工智能不确定性国际会议论文集。第七届国际人工智能不确定会议论文集，加利福尼亚州洛杉矶（1991））
[22] 塞尔曼，B。；Kautz，H.A.，《模型-参照默认理论的复杂性》（Reinfrank等，《非单调推理》，《人工智能课堂讲稿》，346（1989），施普林格：施普林格-柏林），115-130·Zbl 0675.68059号
[23] Shachter，R.D.，评估影响图，Oper。研究，34，6，871-882（1986）
[24] Sher，D.B.，《走向科学证据的规范理论——最大似然解决方案》，（第六届人工智能不确定性国际会议论文集。第六届国际人工智能不确定会议论文集，马萨诸塞州剑桥（1990）），509-515
[25] Shimony，S.E.，《关于信念网络的无关性和部分分配》（技术报告CS-90-14（1990），布朗大学计算机科学系：罗得岛州普罗维登斯布朗大学计算机系）·Zbl 0742.68076号
[26] Shimony，S.E.，《解释、无关性和统计独立性》，（会议记录AAAI-91。美国加利福尼亚州阿纳海姆AAAI-91会议记录（1991年）
[27] Shimony，S.E.，《解释的概率框架》（博士论文（1991），布朗大学：普罗维登斯布朗大学，RI），技术报告CS-91-57·Zbl 0742.68076号
[28] Stickel，M.E.，《自然语言口译中计算最小成本诱因解释的Prolog-like推理系统》（《技术报告》451（1988），人工智能中心，SRI：人工智能中心（加利福尼亚州SRI Menlo Park）·Zbl 1004.68552号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。