Efficient Semantic Tableau Generation for Abduction in Propositional Logic

被引：0
|
作者：
Yang, Yifan [1 ]
De Aldama, Ricardo [1 ,2 ]
Atif, Jamal [2 ]
Bloch, Isabelle [1 ]
机构：
[1] Univ Paris Saclay, Telecom ParisTech, CNRS, LTCI, Paris, France
[2] Univ Paris 09, PSL, LAMSADE, UMR 7243, Paris, France
来源：
ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE | 2016年 / 285卷
关键词：
D O I：
10.3233/978-1-61499-672-9-1756
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：1756 / 1757
页数：2
相关论文
共 50 条
  • [1] Tableau approach of fuzzy propositional modal logic
    [J]. Lyu, Shuai (lus@jlu.edu.cn), 1600, Editorial Board of Journal of Harbin Engineering (38):
  • [2] Abduction with Estimates for Statements in Fuzzy Propositional Logic
    Plesniewicz, Gerald S.
    [J]. ARTIFICIAL INTELLIGENCE, 2020, 12412 : 164 - 176
  • [3] Rule-Based Visualization of Tableau Calculus for Propositional Logic
    Sharaf, Nada
    Abdennadher, Slim
    Fruehwirth, Thom
    [J]. 2018 22ND INTERNATIONAL CONFERENCE INFORMATION VISUALISATION (IV), 2018, : 368 - 372
  • [4] Extending the Contraposition Property of Propositional Logic for Fuzzy Abduction
    Chakraborty, Aruna
    Konar, Amit
    Pal, Nikhil R.
    Jain, Lakhmi C.
    [J]. IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2013, 21 (04) : 719 - 734
  • [5] An optimal tableau for right propositional neighborhood logic over treesa
    Bresolin, Davide
    Montanari, Angelo
    Sala, Pietro
    [J]. TIME 2008: 15TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2008, : 110 - +
  • [6] Semantic Tableau Versions of Some Normal Modal Systems with Propositional Quantifiers
    Ronnedal, Daniel
    [J]. ORGANON F, 2019, 26 (03) : 505 - 536
  • [7] An optimal tableau-based decision algorithm for Propositional Neighborhood Logic
    Bresolin, Davide
    Montanari, Angelo
    Sala, Pietro
    [J]. STACS 2007, PROCEEDINGS, 2007, 4393 : 549 - +
  • [8] A tableau-based decision procedure for right Propositional Neighborhood logic
    Bresolin, D
    Montanari, A
    [J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 2005, 3702 : 63 - 77
  • [9] Ecumenical Propositional Tableau
    Leme, Renato
    Coniglio, Marcelo
    Lopes, Bruno
    Venturi, Giorgio
    [J]. STUDIA LOGICA, 2024,
  • [10] Abduction in semantic space: Towards a logic of discovery
    Bruza, Peter
    Song, Dawei
    McArthur, Robert
    [J]. LOGIC JOURNAL OF THE IGPL, 2004, 12 (02) : 97 - 109
12345