Superposition-based equality handling for analytic tableaux

被引：0
|
作者：
Giese, Martin [1 ]
机构：
[1] Austrian Acad Sci, Johann Radon Inst Computat & Appl Math, A-4040 Linz, Austria
来源：
JOURNAL OF AUTOMATED REASONING | 2007年 / 38卷 / 1-3期
关键词：
superposition rules; equality handling; analytic tableaux;
D O I：
10.1007/s10817-006-9050-1
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We present a variant of the basic ordered superposition rules to handle equality in an analytic free-variable tableau calculus. We prove completeness of this calculus by an adaptation of the model generation technique commonly used for completeness proofs of superposition in the context of resolution calculi. The calculi and the completeness proof are compared to earlier results of Degtyarev and Voronkov. Some variations and refinements are discussed.
引用
收藏
页码：127 / 153
页数：27
相关论文
共 50 条
  • [21] Superposition-Based Analysis of First-Order Probabilistic Timed Automata
    Fietzke, Arnaud
    Hermanns, Holger
    Weidenbach, Christoph
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, 2010, 6397 : 302 - +
  • [22] Semantic tableaux with equality
    Beckert, B
    JOURNAL OF LOGIC AND COMPUTATION, 1997, 7 (01) : 39 - 58
  • [23] 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
  • [24] 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
  • [25] 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
  • [26] The complexity of analytic tableaux
    Arai, Noriko H.
    Pitassi, Toniann
    Urquhart, Alasdair
    JOURNAL OF SYMBOLIC LOGIC, 2006, 71 (03) : 777 - 790
  • [27] ANALYTIC TABLEAUX AND INTERPOLATION
    Kapetanovic, Miodrag
    PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, 2007, 82 (96): : 93 - 97
  • [28] Analytic fuzzy tableaux
    L. Di Lascio
    Soft Computing, 2001, 5 (6) : 434 - 439
  • [29] Linear analytic tableaux
    Meyer, RK
    McRobbie, MA
    Belnap, N
    THEOREM PROVING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1995, 918 : 278 - 293
  • [30] 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
12345