Divvy: An ATP Meta-system Based on Axiom Relevance Ordering

被引：0
|
作者：
Roederer, Alex [1 ]
Puzis, Yury [1 ]
Sutcliffe, Geoff [1 ]
机构：
[1] Univ Miami, Coral Gables, FL 33124 USA
来源：
AUTOMATED DEDUCTION - CADE-22 | 2009年 / 5663卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This paper describes two syntactic relevance orderings on the axioms available for proving a given conjecture, and an ATP meta-system that uses the orderings to select axioms to use in proof attempts. The system has been evaluated, and the results show that it is effective.
引用
收藏
页码：157 / 162
页数：6
相关论文
共 50 条
  • [1] A Meta-System for Conflict Resolution
    Brugha, Cathal M.
    [J]. 2013 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC 2013), 2013, : 2184 - 2189
  • [2] META-SYSTEM IN DISTRIBUTED INTELLIGENCE SYSTEMS
    RAO, M
    [J]. INFOR, 1993, 31 (01) : 24 - 38
  • [3] 3 Architecture for a Process Meta-System
    Lockheed Martin Federal Systems, MD 0902 State Route 17C, Owego
    NY
    13827, United States
    [J]. INCOSE Int. Sym., 1 (211-216):
  • [4] Meta-system in distributed intelligence systems
    Rao, M.
    [J]. INFOR Journal (Canadian Journal of Operational Research and Information Processing), 1993, 31 (01):
  • [5] A META-SYSTEM FOR THE DELIVERY OF PRIMARY PREVENTIVE INTERVENTIONS
    REMER, R
    NIGUETTE, GF
    ANDERSON, GL
    TERRELL, JE
    [J]. JOURNAL OF COUNSELING AND DEVELOPMENT, 1984, 63 (01): : 30 - 34
  • [6] META-SYSTEM APPROACH AS A METHODOLOGICAL PRINCIPLE OF PSYCHOLOGICAL RESEARCH
    Karpov, Anatoly V.
    [J]. PSYCHOLOGY IN RUSSIA-STATE OF THE ART, 2010, 3 : 154 - 170
  • [7] An overview of the neurobiology of suicidal behaviors as one meta-system
    M Sokolowski
    J Wasserman
    D Wasserman
    [J]. Molecular Psychiatry, 2015, 20 : 56 - 71
  • [8] An overview of the neurobiology of suicidal behaviors as one meta-system
    Sokolowski, M.
    Wasserman, J.
    Wasserman, D.
    [J]. MOLECULAR PSYCHIATRY, 2015, 20 (01) : 56 - 71
  • [9] A Meta-System Architecture for the Energy-Water Nexus
    Lubega, William Naggaga
    Farid, Amro M.
    [J]. 2013 8TH INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING (SOSE), 2013, : 76 - 81
  • [10] Reverse Salients at the Meta-System Level: The Case of Containerization
    Sawhney, Harmeet
    Wang, Xiaofei
    [J]. PROMETHEUS, 2009, 27 (02) : 153 - 169
12345