皮埃尔·汉森；碧姬·杰马尔；马库斯·波吉·德·阿拉戈；法比安·乔尼；西尔万·佩伦 概率不精确的概率可满足性。 （英语） Zbl 0995.68122号 国际J近似推理 24，编号2-3，171-189（2000）. 总结：对知识系统中不确定性的概率可满足性方法中不精确概率的处理进行了调查和讨论。同时考虑了概率区间和定性概率。综述了测试一致性和限制结论概率的分析和数值方法。他们使用多面体组合和先进的线性规划方法。 引用于12文件 MSC公司： 68层37 人工智能背景下的不确定性推理 90立方厘米 随机规划 关键词：概率可满足性 软件：禁忌搜索 PDF格式BibTeX公司 XML格式引用 \textit｛P.Hansen｝et al.，Int.J.近似推理24，No.2-3171-189（2000；Zbl 0995.68122） 全文： 内政部 参考文献： [1] 亚当斯·E·W。；Levine，H.P.，《论演绎推理中从前提到结论的不确定性》，Synthese，30429-460（1975）·Zbl 0307.02031号 [2] Boole，G.，《概率论中的拟议问题》，《剑桥和都柏林数学杂志》，6186（1851） [3] G.Boole，《思维规律的调查》，《逻辑和概率数学理论的建立》，Walton和Maberley，伦敦，1854年（重印多佛，纽约，1958年）；G.Boole，《思维规律的调查》，《逻辑和概率数学理论的建立》，Walton和Maberley，伦敦，1854年（重印多佛，纽约，1958年）·Zbl 1205.03003号 [4] G.Bruno，A.Gilio，Applicazione del metodo del simplesso al teorema fondamentale per le probabilita nella conceptione soggettivistica，Statistica XL（3）（1980）337-344；G.Bruno，A.Gilio，《简单方法的应用》，《统计》XL（3）（1980）337-344·Zbl 0441.60003号 [5] Charnes，A。；库珀，W.W.，《线性分式泛函编程》，《海军研究后勤季刊》，第9期，第181-186页（1962年）·Zbl 0127.36901号 [6] Chvátal，V.，线性规划（1980），弗里曼：弗里曼纽约·Zbl 0318.05002号 [7] Coletti，G.，相干定性概率，《数学心理学杂志》，34297-310（1990）·Zbl 0713.60003号 [8] G.Coletti，概率专家系统中的数值和定性判断，见：R.Scozzafava（Ed.），《概率专家系统研讨会论文集》，罗马SIS，1993年，第37-55页；G.Coletti，概率专家系统中的数值和定性判断，见：R.Scozzafava（Ed.），《概率专家系统研讨会论文集》，罗马SIS，1993年，第37-55页 [9] Coletti，G.，相干数值和序数概率评估，IEEE系统、人与控制论汇刊，24，12，1747-1754（1994）·Zbl 1371.68265号 [10] 科尔蒂，G。；Gilio，A。；Scozzafava，R.，《条件事件的比较概率：连贯性、理论和决策的新视角》，35，237-258（1993）·Zbl 0785.90006号 [11] 科尔蒂，G。；Scozzafava，R.，《相干条件概率的表征作为其评估和扩展的工具》，《不确定性、模糊性和基于知识的系统杂志》，4，2，103-127（1996）·Zbl 1232.03010号 [12] Crama，Y。；Hansen，P。；Jaumard，B.，重温伪布尔编程的基本算法，离散应用数学，29，2-3，171-185（1989）·Zbl 0724.90040号 [13] 德菲内蒂，B。，《公共愿景：逻辑，主体来源》，《亨利·蓬卡研究所年鉴》，第7期，第1-68页（1937年） [14] B.de Finetti，《概率论——一种关键的介绍性治疗》，第1卷，威利出版社，纽约，1974年；B.de Finetti，《概率论——一种关键的介绍性治疗》，第1卷，威利出版社，纽约，1974年·Zbl 0328.60002号 [15] B.de Finetti，《概率论——一种关键的介绍性治疗》，第2卷，威利出版社，纽约，1975年；B.de Finetti，《概率论——一种关键的入门治疗》，第2卷，威利，纽约，1975年·Zbl 0328.60003号 [16] Dinkelbach，W.，《非线性分式规划》，《管理科学》，第13期，第492-498页（1967年）·Zbl 0152.18402号 [17] G.-B Douanya Nguetse，P.Hansen，B.Jaumard，概率可满足性和分解，收录于：C.Froidevaux，J.Kohlas（编辑），推理和不确定性的符号和定量方法，人工智能讲义，第946卷，Springer，柏林，1995年，第151-161页；G.-B.Douanya-Nguetse，P.Hansen，B.Jaumard，概率可满足性和分解，载于：C.Froidevaux，J.Kohlas（编辑），推理和不确定性的符号和定量方法，人工智能讲义，第946卷，施普林格，柏林，1995年，第151-161页 [18] 费金，R。；Halpern，J.Y。；Megiddo，N.，概率、信息和计算推理逻辑，87，78-128（1990）·Zbl 0811.03014号 [19] Gal，T.，《后优化分析、参数规划及相关主题》（1979年），McGraw-Hill:McGraw-Hill纽约·Zbl 0407.90052号 [20] Garey，M.R。；Johnson，D.S.，《计算机与不可纠正性：NP-完备性理论指南》（1979），弗里曼：弗里曼纽约·Zbl 0411.68039号 [21] Georgakopoulos，G。；卡夫瓦迪亚，D。；Papadimitriou，C.H.，概率可满足性，复杂性杂志，4，1-11（1988）·Zbl 0647.68049号 [22] Gilio，A.，处罚标准和条件，意大利足球联合会，4-B，3，意甲（（公元7年，645-660（1990））·Zbl 0716.60002号 [23] A.吉利奥，（C0）；A.吉利奥，（C0） [24] A.Gilio，精确和不精确条件概率评估的算法，收录于：G.Coletti，D.Dubois，R.Scozzafava（编辑），《人工智能中处理部分知识的数学模型》，Plenum出版社，纽约，1995年，第231-254页；A.Gilio，精确和不精确条件概率评估的算法，收录于：G.Coletti，D.Dubois，R.Scozzafava（编辑），《人工智能中处理部分知识的数学模型》，Plenum出版社，纽约，1995年，第231-254页·Zbl 0859.68042号 [25] Gilio，A。；Scozzafava，R.，概率评估和修订中的条件事件，IEEE系统、人与控制论汇刊，24，12，1741-1746（1994）·Zbl 1371.60002号 [26] 手套，F。；Laguna，M.，《禁忌搜索》（Tabu Search）（1997年），Kluwer:Kluwer Dordrecht·Zbl 0930.90083号 [27] Hailperin，T.，事件逻辑函数概率的最佳可能不等式，《美国数学月刊》，72343-359（1965）·Zbl 0132.13706号 [28] T.Hailperin，Boole’s Logic and Probability，Studies in Logic and Foundations of Mathematics 85（第二扩充版），荷兰北部，阿姆斯特丹，1986年；T.Hailperin，Boole’s Logic and Probability，Studies in Logic and Foundations of Mathematics 85（第二扩充版），荷兰北部，阿姆斯特丹，1986年·Zbl 0611.03001号 [29] T.Hailperin，《句子概率逻辑》，利海大学出版社，伯利恒和联合大学出版社，伦敦，1996年；T.Hailperin，《句子概率逻辑》，利海大学出版社，伯利恒和联合大学出版社，伦敦，1996年·Zbl 0922.03026号 [30] P.Hansen，B.Jaumard，概率可满足性，收录于：J.Kohlas，S.Moral，（编辑），《不确定和失效管理系统算法手册》，多德雷赫特Kluwer出版；P.Hansen，B.Jaumard，概率可满足性，收录于：J.Kohlas，S.Moral，（编辑），《不确定和失效管理系统算法手册》，多德雷赫特Kluwer出版社，即将出版 [31] P.Hansen，B.Jaumard，G.-B Douanya Nguetse，M.Poggi De Aragáo，概率和贝叶斯逻辑的模型和算法，收录于：IJCAI-95《第十四届国际人工智能联合会议论文集》，第2卷，1995年，第1862-1868页；P.Hansen，B.Jaumard，G.-B Douanya Nguetse，M.Poggi De Aragáo，概率和贝叶斯逻辑的模型和算法，收录于：IJCAI-95《第十四届国际人工智能联合会议论文集》，第2卷，1995年，第1862-1868页 [32] P.Hansen，B.Jaumard，V.Mathon，约束非线性0-1规划，ORSA计算杂志5（1993）97-119；P.Hansen，B.Jaumard，V.Mathon，约束非线性0-1规划，ORSA计算杂志5（1993）97-119·兹比尔0777.90033 [33] P.Hansen，B.Jaumard，A.D.Parreira，《概率逻辑与π的关系》；P.Hansen，B.Jaumard，A.D.Parreira，《概率逻辑与π的关系》 [34] Hansen，P。；Jaumard，B。；Poggi de Aragáo，M.，Boole关于不确定性下可能经验和推理的条件，离散应用数学，60，181-193（1995）·兹比尔0835.0043 [35] Hansen，P。；Jaumard，B。；Poggi de Aragáo，M.，混合整数列生成算法和概率最大可满足性问题，《欧洲运筹学杂志》，108，671-683（1998）·Zbl 0932.90027号 [36] P.Hansen，N.Mladenović，《可变邻域搜索导论》，载于：S.Voss，S.Martello，I.H.Osman，C.Roucairol（编辑），优化局部搜索范式的进展和趋势，Kluwer，Dordrecht，1999年，第433-458页；P.Hansen，N.Mladenović，《可变邻域搜索简介》，收录于：S.Voss，S.Martello，I.H.Osman，C.Roucairol（编辑），优化局部搜索范式的进展和趋势，Kluwer，Dordrecht，1999年，第433-458页·Zbl 0985.90095号 [37] Jaumard，B。；Hansen，P。；Poggi de Aragáo，M.，概率逻辑的列生成方法，ORSA计算杂志，3135-148（1991）·Zbl 0800.68864号 [38] 卡夫瓦迪亚，D。；Papadimitriou，C.H.，《概率推理的线性规划方法》，《数学与人工智能年鉴》，1189-205年（1990年）·兹比尔0878.68034 [39] 尼尔森，N.J.，概率逻辑，人工智能，28，1，71-87（1986）·Zbl 0589.03007号 [40] S.Perron，Le problème de la satisfiabilityéqualitical，Travail dirigéde mâtrise，sous la direction de F.Chauny et P.Hansen，《上商业区环境》，加拿大蒙特利尔，1997年；S.Perron，Le problème de la satisfiabilityéqualitical，Travail dirigéde mâtrise，sous la direction de F.Chauny et P.Hansen，高等商业教育，加拿大蒙特利尔，1997 [41] Ramsey，F.P.，《数学和其他逻辑论文基础》（1931年），劳特利奇和凯根·保罗：劳特利吉和凯根-保罗·伦敦 [42] Scozzafava，R.，人工智能中不确定性管理的概率背景，《欧洲工程教育杂志》，20，353-363（1995） [43] P.Suppes，概率推理和总证据的概念，见：J.Hintikka，P.Suppe（编辑），《归纳逻辑方面》，北霍兰德，阿姆斯特丹，1966年，第49-65页；P.Suppes，概率推理和总证据的概念，摘自：J.Hintikka，P.Suppe（编辑），归纳逻辑方面，北荷兰人，阿姆斯特丹，1966年，第49-65页·Zbl 0202.29603号 [44] Walley，P.，《概率不精确的统计推理》（1991），查普曼和霍尔：查普曼与霍尔墨尔本·Zbl 0732.62004号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。