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 条

[21] The scattering of SH waves by a finite crack with a superposition-based diffraction technique
Valencia, Camilo
Gomez, Juan
Jaramillo, Juan
Saenz, Mario
Vergara, Juan
STUDIA GEOPHYSICA ET GEODAETICA, 2017, 61 (01) : 93 - 114
[22] The scattering of SH waves by a finite crack with a superposition-based diffraction technique
Camilo Valencia
Juan Gomez
Juan Jaramillo
Mario Saenz
Juan Vergara
Studia Geophysica et Geodaetica, 2017, 61 : 93 - 114
[23] Superposition-based Modelling of Series FACTS in Nonlinear Mathematical Optimized Grid Operation
Mende, Denis
Stock, David Sebastian
Hofmann, Lutz
2020 IEEE PES INNOVATIVE SMART GRID TECHNOLOGIES EUROPE (ISGT-EUROPE 2020): SMART GRIDS: KEY ENABLERS OF A GREEN POWER SYSTEM, 2020, : 359 - 363
[24] A CONCURRENT MULTISCALE APPROACH FOR FRACTURING OF BRITTLE COMPOSITES BASED ON THE SUPERPOSITION-BASED PHASE FIELD MODEL
Cheng, Panpan
Zhu, Hehua
Sun, Wei
Shen, Yi
Fish, Jacob
INTERNATIONAL JOURNAL FOR MULTISCALE COMPUTATIONAL ENGINEERING, 2022, 20 (02) : 1 - 23
[25] A Superposition-Based Analog Data Compression Scheme for Massively-Parallel Neural Recordings
Rieseler, Jonas David
Kuhl, Matthias
2017 IEEE BIOMEDICAL CIRCUITS AND SYSTEMS CONFERENCE (BIOCAS), 2017,
[26] Superposition-Based URLLC Traffic Scheduling in 5G and Beyond Wireless Networks
Almekhlafi, Mohammed
Arfaoui, Mohamed Amine
Assi, Chadi
Ghrayeb, Ali
IEEE TRANSACTIONS ON COMMUNICATIONS, 2022, 70 (09) : 6295 - 6309
[27] Superposition-Based Adaptive Modulated Space Time Block Coding for MIMO-OFDM Systems
Jung, Junwoo
Kwon, Byungchan
Park, Hyungwon
Lim, Jaesung
IEEE COMMUNICATIONS LETTERS, 2010, 14 (01) : 30 - 32
[28] Labelled Unit Superposition Calculi for Instantiation-Based Reasoning
Korovin, Konstantin
Sticksel, Christoph
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, 2010, 6397 : 459 - 473
[29] Cancellation and regular derivations
Bourqui, David
Sebag, Julien
JOURNAL OF ALGEBRA AND ITS APPLICATIONS, 2019, 18 (09)
[30] Algebraic graph derivations for graphical calculi
Kahl , W
GRAPH-THEORETIC CONCEPTS IN COMPUTER SCIENCE, 1997, 1197 : 224 - 238

← 1 2 3 4 5 →