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 条
  • [1] A proof theoretic approach to qualitative probabilistic reasoning
    Parsons, S
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 1998, 19 (3-4) : 265 - 297
  • [2] On direct and indirect probabilistic reasoning in legal proof
    Prakken, Henry
    LAW PROBABILITY & RISK, 2014, 13 (3-4): : 327 - 337
  • [3] Probabilistic Graph Reasoning for Natural Proof Generation
    Sun, Changzhi
    Zhang, Xinbo
    Chen, Jiangjie
    Gan, Chun
    Wu, Yuanbin
    Chen, Jiaze
    Zhou, Hao
    Li, Lei
    FINDINGS OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS, ACL-IJCNLP 2021, 2021, : 3140 - 3151
  • [4] Uncertain inheritance and recognition as probabilistic default reasoning
    Cao, TH
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2001, 16 (06) : 781 - 803
  • [5] Relations between geometric proof justification and probabilistic reasoning
    Braithwaite, David W.
    LEARNING AND INDIVIDUAL DIFFERENCES, 2022, 98
  • [6] A Probabilistic Logic for Reasoning about Uncertain Temporal Information
    Doder, Dragan
    Ognjanovi, Zoran
    UNCERTAINTY IN ARTIFICIAL INTELLIGENCE, 2015, : 248 - 257
  • [7] Probabilistic Deontic Logics for Reasoning about Uncertain Norms
    De Wit, Vincent
    Doder, Dragan
    Meyer, John Jules
    JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2023, 10 (02): : 193 - 220
  • [8] Probabilistic Deontic Logics for Reasoning about Uncertain Norms
    de Wit, Vincent
    Doder, Dragan
    Meyer, John Jules
    Journal of Applied Logics, 2023, 10 (02): : 193 - 220
  • [9] Probabilistic Box Embeddings for Uncertain Knowledge Graph Reasoning
    Chen, Xuelu
    Boratko, Michael
    Chen, Muhao
    Dasgupta, Shib Sankar
    Li, Xiang Lorraine
    McCallum, Andrew
    2021 CONFERENCE OF THE NORTH AMERICAN CHAPTER OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS: HUMAN LANGUAGE TECHNOLOGIES (NAACL-HLT 2021), 2021, : 882 - 893
  • [10] Probabilistic proof systems - A survey
    Goldreich, O
    STACS 97 - 14TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, 1997, 1200 : 595 - 611
12345