Axiomatization of Credulous Reasoning in Default Logics using Sequent Calculus

被引:0
|
作者
Lupea, Mihaiela [1 ]
机构
[1] Univ Babes Bolyai, Fac Math & Comp Sci, R-3400 Cluj Napoca, Romania
来源
PROCEEDINGS OF THE 10TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING | 2009年
关键词
default logics; credulous inference; sequent calculus;
D O I
10.1109/SYNASC.2008.43
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
The family of default logics formalize the default reasoning using nonmonotonic inference rules called defaults. In this paper we propose a uniform abstract characterization of credulous default inference associated to all versions (classical, justified, constrained, rational) of propositional default logic using the credulous default sequent calculi. These axiomatic systems combine sequent and anti-sequent calculus rules for propositional logic with reduction rules specific to the application of the defaults.
引用
收藏
页码:47 / 53
页数:7
相关论文
共 50 条
  • [21] Credulous and autoepistemic reasoning using ordered logic
    Geerts, P.
    Vermeir, D.
    Logic Programming and Non-monotonic Reasoning - Proceedings, 1991,
  • [22] The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs
    Ehle, Arno
    Hundeshagen, Norbert
    Lange, Martin
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (267): : 19 - 37
  • [23] Toward Short and Structural ALC-Reasoning Explanations: A Sequent Calculus Approach
    Rademaker, Alexandre
    Haeusler, Edward Hermann
    ADVANCES IN ARTIFICIAL INTELLIGENCE - SBIA 2008, PROCEEDINGS, 2008, 5249 : 167 - 176
  • [24] A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules
    Cassano, Valentin
    Lopez Pombo, Carlos Gustavo
    Maibaum, Thomas S. E.
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2015), 2015, 9323 : 6 - 21
  • [25] On Verified Automated Reasoning in Propositional Logic: Teaching Sequent Calculus to Computer Science Students
    Lund, Simon Tobias
    Villadsen, Jorgen
    VIETNAM JOURNAL OF COMPUTER SCIENCE, 2024, 11 (04) : 621 - 644
  • [26] Default reasoning using classical logic
    BenEliyahu, R
    Dechter, R
    ARTIFICIAL INTELLIGENCE, 1996, 84 (1-2) : 113 - 150
  • [27] Outlier detection using default reasoning
    Angiulli, Fabrizio
    Ben-Eliyahu-Zohary, Rachel
    Palopoli, Luigi
    ARTIFICIAL INTELLIGENCE, 2008, 172 (16-17) : 1837 - 1872
  • [28] A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non Datur
    Pkhakadze, Sopo
    Tompits, Hans
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2019, 2019, 11481 : 163 - 177
  • [29] Soundly Proving B Method Formulæ Using Typed Sequent Calculus
    Halmagrand, Pierre
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2016, 2016, 9965 : 196 - 213
  • [30] Reasoning in Fuzzy Description Logics using Automata
    Borgwardt, Stefan
    Penaloza, Rafael
    FUZZY SETS AND SYSTEMS, 2016, 298 : 22 - 43