PROOF METHODS FOR REASONING ABOUT POSSIBILITY AND NECESSITY

被引：8
|
作者：
LIAU, CJ
LIN, BI
机构：
[1] ACAD SINICA, INST INFORMAT SCI, TAIPEI 115, TAIWAN
[2] NATL TAIWAN UNIV, DEPT COMP SCI & INFORMAT ENGN, TAIPEI, TAIWAN
来源：
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING | 1993年 / 9卷 / 04期
关键词：
FUZZY SET; POSSIBILISTIC LOGIC; MODAL LOGIC; KRIPKE SEMANTICS; TABLEAU METHOD; NATURAL DEDUCTION METHOD;
D O I：
10.1016/0888-613X(93)90019-A
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Possibilistic logic is a quantitative method for uncertainty reasoning that is closely related to Zadeh's fuzzy set theory. In this paper, we formulate it as a kind of multimodal logic and develop some proof methods for it, including tableau method and two styles of natural deduction methods. The completeness and soundness of these methods are proved. Finally, some potential applications and the possible research directions are pointed out.
引用
收藏
页码：327 / 364
页数：38
相关论文
共 50 条
  • [1] Reasoning about proof and knowledge
    Lewitzka, Steffen
    ANNALS OF PURE AND APPLIED LOGIC, 2019, 170 (02) : 218 - 250
  • [2] Reasoning about DNSSEC
    Babu, Kollapalli Ramesh
    Padmanabhan, Vineet
    Bhukya, Wilson Naik
    MULTI-DISCIPLINARY TRENDS IN ARTIFICIAL INTELLIGENCE, 2011, 7080 : 75 - 86
  • [3] Reasoning about visibility
    Villemaire, Roger
    Halle, Sylvain
    JOURNAL OF APPLIED LOGIC, 2012, 10 (02) : 163 - 178
  • [4] Reasoning and learning in the setting of possibility theory - Overview and perspectives
    Dubois, Didier
    Prade, Henri
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2024, 171
  • [5] Reasoning About Permitted Announcements
    P. Balbiani
    P. Seban
    Journal of Philosophical Logic, 2011, 40 : 445 - 472
  • [6] Reasoning about knowledge of unawareness
    Halpern, Joseph Y.
    Rego, Leandro C.
    GAMES AND ECONOMIC BEHAVIOR, 2009, 67 (02) : 503 - 525
  • [7] Reasoning About Permitted Announcements
    Balbiani, P.
    Seban, P.
    JOURNAL OF PHILOSOPHICAL LOGIC, 2011, 40 (04) : 445 - 472
  • [8] Reasoning about coalitional games
    Agotnes, Thomas
    van der Hoek, Wiebe
    Wooldridge, Michael
    ARTIFICIAL INTELLIGENCE, 2009, 173 (01) : 45 - 79
  • [9] A logic for reasoning about responsibility
    de Lima, Tiago
    Royakkers, Lamber
    Dignum, Frank
    LOGIC JOURNAL OF THE IGPL, 2010, 18 (01) : 99 - 117
  • [10] A logic for reasoning about ambiguity
    Halpern, Joseph Y.
    Kets, Willemien
    ARTIFICIAL INTELLIGENCE, 2014, 209 : 1 - 10
12345