格伦·谢弗 信念功能的理论和实践观点。 （英语） Zbl 0714.62001号 国际J近似推理 4，编号5-6，323-362（1990）。 信念函数理论是贝叶斯主观概率判断理论的推广。作者的著作《证据的数学理论》（1976；Zbl 0359.62002号)，仍然是该理论的标准参考，但它主要涉及数学基础。自1976年以来，在理论的解释和实施方面做了大量工作。本文回顾了这项工作，以及关于数学基础的新工作。它还考虑了信念函数在更广泛的概率主题中的位置，以及概率在人工智能使用的更大形式中的位置。 引用于1审查引用于60文件 MSC公司： 62A01型 统计学基础和哲学主题 68T99型 人工智能 关键词：Dempster-Shafer理论;独立;内部措施;交互式系统;连接树;低概率;多值映射;概率传播;随机集;信念函数理论;主观概率判断的贝叶斯理论 引文：Zbl 0359.62002号 PDF格式BibTeX公司 XML格式引用 \textit{G.Shafer}，《国际近似推理4》，第5--6323--362号（1990；Zbl 0714.62001） 全文： 内政部 参考文献： [1] Almond，R.，《图形信念模型的融合与传播》，（博士论文，研究报告S-130（1989），哈佛大学统计系） [2] 安德森，S.K。；Olesen，K.G。；詹森，F.V。；Jensen，F.，HUGIN--为专家系统构建贝叶斯信念宇宙的外壳，IJCAI-891080-1085（1989）·Zbl 0713.68051号 [3] 安德烈斯，K。；Kak，A.，证据积累和控制流，AI Mag.，9，2，75-94（1988） [4] Arnborg，S。；科内尔·D·G。；Proskurowski，A.，在（k）树中寻找嵌入的复杂性，SIAM J.代数离散方法，8277-284（1987）·Zbl 0611.05022号 [5] Barnett，J.A.，证据数学理论的计算方法，IJCAI-81868-875（1981） [6] Baron，J.，二阶概率和置信函数，理论决策，23，25-36（1987） [7] Berres，M.，《关于信念和似然函数的乘法和积分理论》，J.Math。分析。申请。，121, 487-505 (1987) ·Zbl 0644.60003号 [8] Berres，M.，λ-测度空间上的可加测度，模糊集系统。，27, 159-169 (1988) ·Zbl 0646.28013号 [9] Berteke，美国。；Brioschi，F.，《非串行动态规划》（1972），纽约学术出版社·Zbl 0244.49007号 [10] 比斯瓦斯，G。；Anand，T.S.，《在混合智能专家系统外壳中使用Dempster-Shafer方案》，（Kanal，L.N.；Levitt，T.S；Lemmer，J.F.，《人工智能中的不确定性》，第3卷（1989年），北韩：北韩纽约），223-239 [11] Brooks，R.A.，移动机器人的鲁棒分层控制系统，IEEE J.robot。自动。，2, 1, 14-23 (1986) [12] Cheeseman，P.，《计算机理解探究（讨论）》，《计算机》。智力。，4, 58-66 (1988) [13] Choquet，G.，《容量理论》，傅立叶学院，格勒诺布尔，5131-295（1953）·Zbl 0064.35101号 [14] Cohen，P.R.，《不确定性下推理的控制：一些程序的讨论》，《知识工程评论》，第2期，第5-25页（1987年） [15] Cox，R.T.，《概率推理代数》（1961），约翰霍普金斯出版社：巴尔的摩·Zbl 0103.11404号 [16] Dawes，R.M。；浮士德·D·。；Meehl，P.E.，《临床与精算判断》，《科学》，243168-1674（1989） [17] Dempster，A.P.，《基于样本数据推理后验分布的新方法》，《数学年鉴》。Stat.，37，355-374（1966年）·Zbl 0178.54302号 [18] Dempster，A.P.，《多值映射诱导的上下概率》，《数学年鉴》。Stat.，38，325-339（1967）·Zbl 0168.17501号 [19] Dempster，A.P.，基于有限单变量群体样本的上概率和下概率推断，Biometrika，54515-528（1967） [20] Dempster，A.P.，随机闭区间生成的上下概率，《数学年鉴》。Stat.，39，957-966（1968）·Zbl 0251.62010 [21] Dempster，A.P.，《贝叶斯推断的推广》（含讨论），J.Roy。统计社会服务。B、 30205-247（1968）·Zbl 0169.21301号 [22] Dempster，A.P.，《单调密度比假设族的上下概率推断》，《数学年鉴》。Stat.，40，953-969（1969）·Zbl 0211.50204号 [23] Dempster，A.P.，一类随机凸多面体，《数学年鉴》。Stat.，43，260-272（1972）·Zbl 0255.62018号 [24] Dempster，A.P.，Comment，J.Am.Stat.Assoc.，77，339-341（1982） [25] Dempster，A.P.，《概率、证据和判断（含讨论）》，（Bell，D.E.；Raiffa，H.；Tversky，A.，《决策：描述性、规范性和规定性交互作用》（1988），剑桥大学出版社：剑桥大学出版社，纽约），284-298·Zbl 0675.62005号 [26] Dempster，A.P.，网络置信函数的构造和局部计算方面，（Oliver，R.M.；Smith，J.Q.，影响图、置信网和决策分析（1990），《威利：威利纽约》，第6章·Zbl 0309.62021号 [27] Dempster，A.P。；Kong，A.，Lindley，Shafer和Spiegelhalter的论文讨论，Stat.Sci。，1, 32-36 (1987) [28] Dempster，A.P。；Kong，A.，《不确定性证据和人工分析》，《美国统计局规划推断》，第20卷，第355-368页（1988年）·兹伯利0655.62110 [29] Dubois，D。；Prade，H.，信念函数的集合理论观点，《国际遗传学系统》。，12, 193-226 (1986) [30] Dubois，D。；Prade，H.，《可能性理论：计算机处理不确定性的方法》（1988年），《全体会议：纽约全体会议》·Zbl 0703.68004号 [31] 杜达，R.O。；Hart，P.E.，《模式分类和场景分析》（1973年），威利出版社：威利纽约·Zbl 0277.68056号 [32] 埃夫隆，B.，《统计学基础的争议》，《美国数学》。月刊，85，231-246（1978）·Zbl 0381.62006号 [33] 费金，R。；Halpern，J.Y.，《不确定性、信念和概率》，IJCAI-89，1161-1167（1989）·Zbl 0718.68066号 [34] 费金，R。；Halpern，J.Y.，更新信念与组合信念（1989），未发表的报告·Zbl 0742.68067号 [35] Fishburn，P.C.，概率不完全知识下的决策分析，Oper。决议，第13号，第217-237页（1965年）·Zbl 0137.36402号 [36] Freeling，A.N.S。；萨林，N.-E.，《综合证据》（Gärdefors，P.；汉森，B.；萨林，N--E.，证据价值（1983），Gleerups:Gleerups Lund，瑞典） [37] （Gärdefors，P.；Hansson，B.；Sahlin，N.-E.，《证据价值：理论的哲学、司法和心理学方面》（1983），Gleerups:Gleerups Lund，瑞典） [38] Good，I.J.，《不可测集合的测度》（Nagel；Suppes；Tarski，《逻辑、方法论和科学哲学》（1962），斯坦福大学出版社：斯坦福大学出版社，加利福尼亚州斯坦福），319-326·Zbl 0206.01904号 [39] Good，I.J.，Glenn Shafer，J.Am.Stat.Assoc.对“Lindley悖论”的讨论，77，342-344（1982） [40] I.R.古德曼。；Nguyen，H.T.，《基于知识的系统的不确定性模型》（1985年），北荷兰：北荷兰纽约·Zbl 0576.94001号 [41] J.戈登。；Shortiffe，E.H.，《证据的Dempster-Shafer理论》（布坎南，B.G.；Shortiffer，E.H.，基于规则的专家系统：斯坦福启发式编程项目的MYCIN实验（1984），Addison-Wesley：Addison-Whesley Reading，马萨诸塞州） [42] J.戈登。；Shortliffe，E.H.，在层次假设空间中管理证据推理的方法，AI，26323-358（1985）·Zbl 1134.68530号 [43] Halmos，P.R.，测量理论（1950），Van Nostrand：新泽西州普林斯顿·Zbl 0117.10502号 [44] 夏，Y.-T。；Shenoy，P.P.，《专家系统的证据语言》，（Ras，Z.，《智能系统方法论》，第4卷（1989年），北荷兰：北荷兰纽约），9-16 [45] Isaacs，H.H.，决策对概率估计误差的敏感性，Oper。决议，11536-551（1963年）·兹伯利0113.13104 [46] Jaffray，J.-Y.，信念函数的线性效用理论，Oper。Res.Lett.公司。，8, 107-112 (1989) ·Zbl 0673.90010号 [47] Kadane，J.，《贝叶斯统计的稳健性》（1984），北荷兰人：北荷兰纽约·Zbl 0537.62031号 [48] Kanerva，P.，《稀疏分布存储器》（1988年），麻省理工学院出版社：麻省理学院出版社剑桥·Zbl 0685.68009号 [49] Kelley，J.，《一般拓扑学》（1955），Van Nostrand-Reinhold:Van Nostrand-Reinheld New York·Zbl 0066.16604号 [50] 科夫勒，E。；Kmietowicz，Z.W。；Pearman，A.D.，《线性部分信息决策》，J.Oper。Res.Soc.，351079-1090（1984年）·Zbl 0549.90056号 [51] Kohlas，J.，条件信念结构，（《技术报告131》（1987），弗里堡大学：瑞士弗里堡大学）·Zbl 1134.68474号 [52] Kong，A.，多元信念函数和图形模型，（哈佛大学统计系博士论文（1986）） [53] Kong，A.，《从三角图构建树状团》（科技报告S-118（1986），哈佛大学统计系） [54] Kong，A.，吉布斯系综的信念函数推广，（《技术报告239》（1988），芝加哥大学统计系） [55] Krantz，D.，证据理论基础，受邀演讲（1982年），数学心理学学会 [56] Krantz，D.，《似然证据的判断》（《技术报告》（1990），哥伦比亚大学心理学系） [57] “将军”，D。；宫本茂，J.，作为证据的先验和似然比，《美国统计协会期刊》，78，418-423（1983）·Zbl 0518.62003号 [58] Kyburg，H.E.，贝叶斯和非贝叶斯证据更新，AI，31294-297（1987）·Zbl 0622.68069号 [59] Laskey，K.B.，《信念函数中的信念：Shafer典型示例的检验》（Kanal，L.N.；Levit，T.s.；Lemmer，J.F.，《人工智能中的不确定性》，第3卷（1989年），北韩：北韩纽约） [60] Laskey，K.B。；科恩，M.S。；Martin，A.W.，代表和引出关于不确定证据及其含义的知识，IEEE Trans。系统。人，赛博。，19, 536-557 (1989) [61] Lauritzen，S.L。；Spiegelhalter，D.J.，《图形结构概率的局部计算及其在专家系统中的应用》，J.Roy。统计社会服务。B、 50、157-224（1988）·Zbl 0684.68106号 [62] 列维，I.，《知识的企业》（1980），麻省理工学院出版社：麻省理学院出版社剑桥，马萨诸塞州 [63] Lindley，D.V.，《贝叶斯统计学：综述》（1972），SIAM:SIAM费城·Zbl 0246.62009号 [64] Lowrance，J.D.，《自动论点构建》，J.Stat.规划推断，20，369-387（1988）·Zbl 0655.68120号 [65] 劳伦斯，J.D。；T·D·加维。；Strat，T.M.，证据推理系统框架，AAAI-86896-903（1986） [66] McDermott，D.V.，《纯粹理性批判》（带讨论），《计算》。智力。，3, 151-160 (1987) [67] 马瑟隆，G.，《随机集与积分几何》（1975），威利出版社：威利纽约·Zbl 0321.60009号 [68] Mellouli，K.，《利用Dempster-Shafer证据理论在网络中传播信仰》（堪萨斯大学商学院博士论文（1987）） [69] Neveu，J.，《概率微积分的数学基础》（1965），霍尔登·戴：霍尔登·戴旧金山·Zbl 0137.11301号 [70] Nguyen，H.T.，《关于随机集和置信函数》，数学杂志。分析。申请。，65, 531-542 (1978) ·Zbl 0409.60016号 [71] Nilsson，N.J.，《学习机器》（1965），麦格劳-希尔：麦格劳–希尔纽约·Zbl 0152.35705号 [72] 尼尔森，N.J.，概率逻辑，AI，28，71-87（1986）·Zbl 0589.03007号 [73] Pearl，J.，信仰网络中的融合、传播和构建，AI，29，241-288（1986）·Zbl 0624.68081号 [74] Pearl，J.，《智能系统中的概率推理》（1988），Morgan，Kaufmann:Morgan、Kaufman San Mateo、Cal [75] Rose，D.J.，《三角图和消除过程》，J.Math。分析。申请。，32, 597-609 (1970) ·Zbl 0216.02602号 [76] Ross，D.，《无可分性随机集》，Ann.Probab。，14, 1064-1069 (1986) ·Zbl 0593.60018号 [77] 罗塔，G.-C.，莫比乌斯函数理论，Z.Wahrscheinlichkeits理论。德国。，2340-368（1964年）·Zbl 0121.02406号 [78] Ruspini，E.H.，《认识逻辑、概率和证据演算》，IJCAI-87，924-931（1987） [79] Savage，L.J.，《统计学基础》（1954），威利出版社：威利纽约·Zbl 0121.13603号 [80] Savage，L.J.，《重新考虑统计学的基础》（Neyman，J.，第四届伯克利数理统计与概率研讨会论文集，第1卷（1961年），加利福尼亚大学出版社），575-586·Zbl 0121.13603号 [81] Shafer，G.，概率分配，（普林斯顿大学统计系博士论文（1973））·兹比尔0414.60002 [82] Shafer，G.，《证据的数学理论》（1976），普林斯顿大学出版社：普林斯顿大学出版，新泽西州普林斯顿·Zbl 0359.62002号 [83] Shafer，G.，《统计证据理论》（Harper，W.L.；Hooker，C.A.，《概率论、统计推断和科学统计理论基础》，第2卷（1976年），Reidel:Reidel Dordrecht，Holland），365-436·Zbl 0326.62009号 [84] Shafer，G.，Bernoulli和Lambert，Arch工作中的非加性概率。历史精确科学。，19, 309-370 (1978) ·Zbl 0392.01010号 [85] Shafer，G.，概率分配，Ann.Probab。，7, 827-839 (1979) ·Zbl 0414.60002号 [86] Shafer，G.，《构造概率，综合》，48，1-60（1981）·兹伯利0522.60001 [87] Shafer，G.，Lindsey悖论（与讨论），《美国统计协会期刊》，77，325-351（1982）·Zbl 0491.62004号 [88] Shafer，G.，信念函数和参数模型（含讨论），J.Roy。统计社会服务。B、 44、322-352（1982）·Zbl 0499.62007号 [89] Shafer，G.，《依赖证据问题》（工作文件164（1984），堪萨斯大学商学院）·Zbl 1386.68172号 [90] Shafer，G.，《证据组合》，《国际情报杂志》。系统。，1, 155-179 (1986) ·Zbl 0656.62009号 [91] Shafer，G.，《萨维奇重访》（讨论），《统计科学》。，1, 463-501 (1986) ·Zbl 0613.62002号 [92] Shafer，G.，（Genest，C.；Zidek，J.V.，《关于“组合概率分布”的讨论》，《统计科学》，1（1986）），135-137 [93] Shafer，G.，《人工智能和专家系统中的概率判断（含讨论）》，《统计科学》。，2，3-44（1987年）·Zbl 0955.68506号 [94] Shafer，G.，《信念函数和可能性测度》（Bezdek，J.C.，《模糊信息分析》，第1卷（1987），CRC出版社：佛罗里达州博卡拉顿CRC出版社）·Zbl 0655.94025号 [95] Shafer，G.，（Cheeseman，Peter，《关于“计算机理解的探究”的讨论》，《计算机智能》，第4期（1988年），第121-124页 [96] Shafer，G.，《概率的统一》（von Furstenberg，G.），《不确定性下的行动：多学科概念》（1990），克鲁沃，95-126 [97] 谢弗，G。；Logan，R.，《对等级证据实施Dempster规则》，AI，33，271-298（1987）·兹伯利0633.68093 [98] 谢弗，G。；Shenoy，P.P.，超树中的局部计算，（工作论文201（1988），堪萨斯大学商学院） [99] Shafer，G.和Shenoy，P.P.，《概率传播》，安。数学。人工智能，待发布。；Shafer，G.和Shenoy，P.P.，《概率传播》，安。数学。人工智能，待发布·Zbl 0875.68676号 [100] Shafer，G.和Srivastava，R.P.，《贝叶斯和信念函数形式主义：审计的一般观点》，审计：J.Pract。理论9（补遗），待出版。；Shafer，G.和Srivastava，R.P.，《贝叶斯和信念函数形式主义：审计的一般观点》，审计：J.Pract。理论9（增刊），即将出版。 [101] 谢弗，G。；Tversky，A.，《概率判断的语言和设计》，Cogn。科学。，9, 309-339 (1985) [102] 谢弗，G。；Shenoy，P.P。；Mellouli，K.，《在定性马尔可夫树中传播信念函数》，《国际近似推理》，1349-400（1987）·Zbl 0641.68158号 [103] 谢弗，G。；Shenoy，P.P。；Srivastava，R.P.，《审计师助理：审计决策的知识工程工具》（1988年Toche-Ross/堪萨斯大学研讨会论文集（1988）），61-84 [104] Shenoy，P.P.，《专家系统的基于评估的语言》，《国际近似推理》，3，383-411（1989） [105] Shenoy，P.P.，《论斯波恩的信念修正规则》（工作文件213（1989），堪萨斯大学商学院）·Zbl 0719.60003号 [106] Shenoy，P.P。；Shafer，G.，使用局部计算传播信念函数，IEEE专家，1，3，43-52（1986） [107] Shenoy，P.P。；Shafer，G.，概率和信念函数传播的公理，（Shachter，R.；Levitt，T.S.；Lemmer，J.F.；Kanal，L.N.，《人工智能的不确定性》，第4卷（1990年），北荷兰：北荷兰-纽约） [108] Smets，P.，证据的信息内容，国际J.Man-Mach。螺柱，19，33-43（1983） [109] Smets，P.，《信念函数》（Smet，P.；Mamdani，A.；Dubois，D.；Prade，H.，《自动推理的非标准逻辑》（1988），学术：纽约学术出版社），253-286·Zbl 0669.03002号 [110] Smith，C.A.B.，《统计推断和决策的一致性（讨论）》，J.Roy。统计社会服务。B、 23，1-25（1961）·兹伯利0124.09603 [111] 斯诺，P.，无点估计的贝叶斯推断，AAAI-86233-237（1986） [112] Speigelhalter，D.J.，《专家系统中不确定性的统计观点》（Gale，W.，《人工智能与统计》（1986），Addison-Wesley：Addison-Whesley Reading，马萨诸塞州），17-56 [113] 斯利瓦斯塔瓦，R.P。；Shenoy，P.P。；Shafer，G.，《审计风险：信任函数方法》（工作文件212（1989），堪萨斯大学商学院） [114] Strat，T.，证据推理的连续信念函数，AAAI-84，308-313（1984） [115] Sugeno，M.，《模糊积分理论及其应用》（东京理工大学博士论文（1974））·Zbl 0316.60005号 [116] Suppes，P.，《信念的测量》，J.Roy。统计社会服务。B、 36160-191（1974）·Zbl 0287.60007号 [117] Tarjan，R.E。；Yannakakis，M.，测试图的弦性、测试超图的非循环性和选择性减少非循环超图的简单线性时间算法，SIAM J.Comput。，13, 566-579 (1984) ·Zbl 0545.68062号 [118] Thoma，H.M.，信念函数的因式分解，（哈佛大学统计系博士论文（1989）） [119] Trichtler，D.和Lockwood，G.，配对比较可靠性建模，数学杂志。精神病。，以显示。；Trichtler，D.和Lockwood，G.，配对比较可靠性建模，数学杂志。精神病。，以显示·Zbl 0749.92026号 [120] Wagner，C.，信念函数和相关不确定性度量的共识，理论决策，以显示。；Wagner，C.，信念函数和相关不确定性度量的共识，理论决策，以显示·Zbl 0674.90002号 [121] Walley，P.，《统计证据的信念函数表示》，《Ann.Stat.》，第15期，第1439-1465页（1987年）·兹比尔0645.62003 [122] 沃利，P。；Fine，T.L.，《走向高概率和低概率的频率学家理论》，《Ann.Stat.》，10741-761（1982）·Zbl 0488.62004号 [123] Wasserman，L.A.，《信念函数和统计推断》（《技术报告》458（1989），卡内基梅隆大学统计系）·Zbl 0708.62005 [124] Wasserman，L.A.，《基于信念函数的优先信封》，《Ann.Stat.》，第18期，第454-464页（1990年）·Zbl 0711.62001号 [125] Wasserman，L.A.和Kadane，J.，Choquet容量的Baye定理，Ann.统计。，以显示。；Wasserman，L.A.和Kadane，J.，关于Choquet容量的Baye定理，Ann.统计。，以显示·Zbl 0736.62026号 [126] Weisberg，H.，有序多项式数据的上下概率推断，（哈佛大学统计系博士论文（1969））·Zbl 0256.62025号 [127] Wesley，L.P.，《关于控制的推理：证据方法》，（《技术报告324》（1984年），人工智能中心，SRI国际：人工智能中心、SRI国际门罗公园，加利福尼亚州） [128] Wesley，L.P.，基于证据的计算机视觉，Opt。工程师，25，3，363-379（1986） [129] 韦斯利，L.P。；劳伦斯，J.D。；Garvey，T.D.，《关于控制的推理：证据方法的调查》，IJCAI-83203-206（1983） [130] West，S.，逻辑函数的上下概率推理，（博士论文（1971），哈佛大学统计系） [131] 威廉姆斯，P.M。；Glenn Shafer，“信念函数和参数模型”讨论。关于“信念函数和参数模型”的讨论，J.Roy。统计社会服务。B、 44、341-342（1982） [132] Williams，P.M.，平均并引出专家意见，人工智能，出现。；Williams，P.M.，平均并引出专家意见，人工智能，以显示。 [133] Winograd，T.，《计算机系统推理中的扩展推理模式》，AI，13，5-26（1980）·Zbl 0435.68071号 [134] Yager，R.R.，《证据数学理论中的熵和特异性》，《国际遗传系统杂志》。，9, 249-260 (1983) ·Zbl 0521.94008号 [135] Yen，J.，GERTIS：诊断分层假设的Dempster-Shafer方法，Commun。ACM，32，5，573-585（1989） [136] Zadeh，L.A.，模糊集作为可能性理论的基础，模糊集系统。，1, 3-28 (1978) ·Zbl 0377.04002号 [137] Zadeh，L.A.，Dempster-Shafer证据理论及其对组合规则的影响的简单观点，AI Mag.，7，2，85-90（1986） [138] 扎利，D。；夏，Y.-T。；Shafer，G.，使用DELIEF的证据推理，AAAI-88205-209（1988） [139] Zhang，L.，支持功能的证据权重和内部冲突，信息科学。，38, 205-212 (1986) ·兹比尔0596.62004 [140] 张，L.，超图研究，（工作论文215（1990），堪萨斯大学商学院）·Zbl 0774.05074号 [141] 张，L。；王平，乔奎特定理在可测空间中的推广，科学通宝，321596-1601（1987）·Zbl 0654.28015号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。