Proof systems for probabilistic uncertain reasoning

被引：16
|
作者：
Paris, J [1 ]
Vencovska, A [1 ]
机构：
[1] Univ Manchester, Dept Math, Manchester M13 9PL, Lancs, England
来源：
JOURNAL OF SYMBOLIC LOGIC | 1998年 / 63卷 / 03期
关键词：
D O I：
10.2307/2586724
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
The paper describes and proves completeness theorems for a series of proof systems formalizing common sense reasoning about uncertain knowledge in the case where this consists of sets of linear constraints on a probability function.
引用
收藏
页码：1007 / 1039
页数：33
相关论文
共 50 条
  • [41] A probabilistic approach to stability and stabilization of uncertain discrete systems
    Bubnicki, Z
    NONLINEAR CONTROL SYSTEMS 2001, VOLS 1-3, 2002, : 1071 - 1076
  • [42] Probabilistic fuzzy logic controller for uncertain nonlinear systems
    Shaheen, Omar
    El-Nagar, Ahmad M.
    El-Bardini, Mohammad
    El-Rabaie, Nabila M.
    JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 2018, 355 (03): : 1088 - 1106
  • [43] Unified approach to probabilistic and possibilistic analysis of uncertain systems
    Langley, R.S.
    Journal of Engineering Mechanics, 2000, 126 (11) : 1163 - 1172
  • [44] Fully probabilistic control for uncertain nonlinear stochastic systems
    Zafar, Ana
    Herzallah, Randa
    ASIAN JOURNAL OF CONTROL, 2023, 25 (04) : 2498 - 2507
  • [45] A modeling and probabilistic reasoning method of dynamic uncertain causality graph for industrial fault diagnosis
    Dong C.-L.
    Zhang Q.
    Geng S.-C.
    International Journal of Automation and Computing, 2014, 11 (03) : 288 - 298
  • [46] A Modeling and Probabilistic Reasoning Method of Dynamic Uncertain Causality Graph for Industrial Fault Diagnosis
    Chun-Ling Dong
    Qin Zhang
    Shi-Chao Geng
    International Journal of Automation & Computing, 2014, 11 (03) : 288 - 298
  • [47] MODELING A DYNAMIC AND UNCERTAIN WORLD .1. SYMBOLIC AND PROBABILISTIC REASONING ABOUT CHANGE
    HANKS, S
    MCDERMOTT, D
    ARTIFICIAL INTELLIGENCE, 1994, 66 (01) : 1 - 55
  • [48] Combining uncertain belief reasoning and uncertain metaphor-based reasoning
    Barnden, JA
    PROCEEDINGS OF THE TWENTIETH ANNUAL CONFERENCE OF THE COGNITIVE SCIENCE SOCIETY, 1998, : 114 - 119
  • [49] Recovery protocols in multi-agent probabilistic reasoning systems
    Butz, C.J.
    Wong, S.K.M.
    Proceedings of the International Database Engineering and Applications Symposium, IDEAS, 1999, : 302 - 310
  • [50] Probabilistic reasoning approach for predicting network congestion in telecommunication systems
    Wang, KQ
    Wang, DH
    Chang, E
    ENGINEERING INTELLIGENT SYSTEMS FOR ELECTRICAL ENGINEERING AND COMMUNICATIONS, 2002, 10 (01): : 53 - 58
12345