Regular derivations in basic superposition-based calculi

被引：0
|
作者：
Aleksic, V [1 ]
Degtyarev, A [1 ]
机构：
[1] Kings Coll London, Dept Comp Sci, London WC2R 2LS, England
来源：
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS | 2005年 / 3835卷
关键词：
D O I：
10.1007/11591191_21
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We prove the completeness of the regular strategy of derivations for superposition-based calculi. The regular strategy was pioneered by Kanger in [Kan63], who proposed that all equality inferences take place before all other steps in the proof. We show that the strategy is complete with the elimination of tautologies. The implication of our result is the completeness of non-standard selection functions by which in non-relational clauses only equality literals (and all of them) are selected.
引用
收藏
页码：292 / 306
页数：15
相关论文
共 50 条
  • [41] Complete tableau calculi for Regular MaxSAT and Regular MinSAT
    Coll, Jordi
    Li, Chu-Min
    Manya, Felip
    Yangin, Elifnaz
    COGNITIVE SYSTEMS RESEARCH, 2025, 90
  • [42] The module of derivations of regular local rings
    Maloo, AK
    COMMUNICATIONS IN ALGEBRA, 1999, 27 (12) : 6123 - 6126
  • [43] REGULAR LIE-RINGS OF DERIVATIONS
    SKRYABIN, SM
    VESTNIK MOSKOVSKOGO UNIVERSITETA SERIYA 1 MATEMATIKA MEKHANIKA, 1988, (03): : 59 - 62
  • [44] Regular Derivations of Truncated Polynomial Rings
    Premet, Alexander
    LIE ALGEBRAS AND RELATED TOPICS, 2015, 652 : 123 - 139
  • [45] A note on derivations on basic algebras
    Krnavek, Jan
    Kuehr, Jan
    SOFT COMPUTING, 2015, 19 (07) : 1765 - 1771
  • [46] Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations
    Arieli, Ofer
    Strasser, Christian
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2016, 323 : 21 - 37
  • [47] A note on derivations on basic algebras
    Jan Krňávek
    Jan Kühr
    Soft Computing, 2015, 19 : 1765 - 1771
  • [48] Image encoding based on coherent superposition and basic vector operations
    Wang, Xiaogang
    Zhao, Daomu
    OPTICS COMMUNICATIONS, 2011, 284 (04) : 945 - 951
  • [49] A new double superposition-based shear deformation theory for static analysis of multilayered composite and sandwich doubly-curved shells
    Yao, Dongyong
    Lezgy-Nazargah, M.
    THIN-WALLED STRUCTURES, 2024, 198
  • [50] On f-derivations, regular f-derivations and semigroup of f-derivations on PMS-algebras
    Kassahun, Nibret Melese
    Alaba, Berhanu Assaye
    Wondifraw, Yohannes Gedamu
    Wale, Zelalem Teshome
    RESEARCH IN MATHEMATICS, 2025, 12 (01):
12345