Generalizing programs via subsumption

被引：0
|
作者：
Gutiérrez-Naranjo, MA [1 ]
Alonso-Jiménez, JA [1 ]
Borrego-Díaz, J [1 ]
机构：
[1] Univ Seville, Dept Comp Sci & Artificial Intelligence, Seville, Spain
来源：
COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2003 | 2003年 / 2809卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper we present a class of operators for Machine Learning based on Logic Programming which represents a characterization of the subsumption relation in the following sense: The clause C, subsumes the clause C-2 iff C-1 can be reached from C-2 by applying these operators. We give a formalization of the closeness among clauses based on these operators and an algorithm to compute it as well as a bound for a quick estimation. We extend the operator to programs and we also get a characterization of the subsumption between programs. Finally, a weak metric is presented to compute the closeness among programs based on subsumption.
引用
收藏
页码：115 / 126
页数：12
相关论文
共 50 条
  • [1] Privacy via subsumption
    Riecke, JG
    Stone, CA
    INFORMATION AND COMPUTATION, 2002, 172 (01) : 2 - 28
  • [2] GENERALIZING ABSTRACTION AND JUDGMENT OF SUBSUMPTION IN GURWITSCH,ARON VERSION OF HUSSERL THEORY OF INTENTIONALITY
    NULL, GT
    PHILOSOPHY AND PHENOMENOLOGICAL RESEARCH, 1978, 38 (04) : 469 - 488
  • [3] Abstraction and subsumption in modular verification of C programs
    Lennart Beringer
    Andrew W. Appel
    Formal Methods in System Design, 2021, 58 : 322 - 345
  • [4] Abstraction and subsumption in modular verification of C programs
    Beringer, Lennart
    Appel, Andrew W.
    FORMAL METHODS IN SYSTEM DESIGN, 2021, 58 (1-2) : 322 - 345
  • [5] Generalizing updates: From models to programs
    Leite, JA
    Pereira, LM
    LOGIC PROGRAMMING AND KNOWLEDGE REPRESENTATION, 1998, 1471 : 224 - 246
  • [6] TABLING AND ANSWER SUBSUMPTION FOR REASONING ON LOGIC PROGRAMS WITH ANNOTATED DISJUNCTIONS
    Riguzzi, Fabrizio
    Swift, Terrance
    TECHNICAL COMMUNICATIONS OF THE 26TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'10), 2010, 7 : 162 - 171
  • [7] Retroactive Subsumption-Based Tabled Evaluation of Logic Programs
    Cruz, Flavio
    Rocha, Ricardo
    LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, 2010, 6341 : 130 - 142
  • [8] Reduction of resolution refutations and interpolants via subsumption
    Bloem, Roderick
    Malik, Sharad
    Schlaipfer, Matthias
    Weissenbacher, Georg
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8855 : 188 - 203
  • [9] First-Order Subsumption via SAT Solving
    Rath, Jakob
    Biere, Armin
    Kovacs, Laura
    2022 FORMAL METHODS IN COMPUTER-AIDED DESIGN, FMCAD, 2022, 3 : 160 - 169
  • [10] A space efficient engine for subsumption-based tabled evaluation of logic programs
    Johnson, E
    Ramakrishnan, CR
    Ramakrishnan, LV
    Rao, P
    FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 1999, 1722 : 284 - 299
12345