A Decidable First-Order Logic for Medical Reasoning

被引：0
|
作者：
Kamide, Norihiro [1 ]
机构：
[1] Waseda Univ, Waseda Inst Adv Study, Shinjuku Ku, Tokyo 1698050, Japan
来源：
KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT II: 15TH INTERNATIONAL CONFERENCE, KES 2011 | 2011年 / 6882卷
关键词：
Medical reasoning; decidability; first-order logic; temporal logic; non-commutative logic; LINEAR LOGIC; OPERATORS;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This paper is intended to construct a decidable first-order logic for appropriately expressing medical reasoning which may require to express not only time-dependency, paraconsistency, constructiveness, resource-sensitivity, but also order-sensitivity. A first-order temporal paraconsistent non-commutative logic is introduced as a Gentzen-type sequent calculus. This logic has no structural rules and has some bounded temporal operators and a paraconsistent negation connective. This logic is shown to be decidable and cut-eliminable.
引用
收藏
页码：235 / 245
页数：11
相关论文
共 50 条
  • [1] Decidable Reasoning in a First-Order Logic of Limited Conditional Belief
    Schwering, Christoph
    Lakemeyer, Gerhard
    [J]. ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, 285 : 1379 - 1387
  • [2] Decidable Cases of First-order Temporal Logic with Functions
    Walter Hussak
    [J]. Studia Logica, 2008, 88 (2) : 247 - 261
  • [3] Craig Interpolation for Decidable Fragments of First-Order Logic
    ten Cate, Balder
    [J]. 32ND EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC, CSL 2024, 2024, 288
  • [4] Combinations of Theories for Decidable Fragments of First-Order Logic
    Fontaine, Pascal
    [J]. FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS, 2009, 5749 : 263 - 278
  • [5] Anytime reasoning in first-order logic
    Vanderveen, KB
    Ramamoorthy, CV
    [J]. NINTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1997, : 142 - 148
  • [6] Reasoning About Truth in First-Order Logic
    Strannegard, Claes
    Engstrom, Fredrik
    Nizamani, Abdul Rahim
    Rips, Lance
    [J]. JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2013, 22 (01) : 115 - 137
  • [7] Reasoning About Truth in First-Order Logic
    Claes Strannegård
    Fredrik Engström
    Abdul Rahim Nizamani
    Lance Rips
    [J]. Journal of Logic, Language and Information, 2013, 22 : 115 - 137
  • [8] Reasoning about taxonomies in first-order logic
    Thau, David
    Ludaescher, Bertram
    [J]. ECOLOGICAL INFORMATICS, 2007, 2 (03) : 195 - 209
  • [9] Towards abductive reasoning in first-order logic
    Liliana Reyes-Cabello, A.
    Aliseda-Llera, Atocha
    Nepomuceno-Fernandez, Angel
    [J]. LOGIC JOURNAL OF THE IGPL, 2006, 14 (02) : 287 - 304
  • [10] AN AUTOMATED REASONING METHOD ON FIRST-ORDER TENSE LOGIC
    Li, Wenjiang
    Chen, Shuwei
    [J]. PROCEEDINGS OF 2013 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS (ICMLC), VOLS 1-4, 2013, : 1706 - 1711
12345