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 条
  • [21] Generalizing Dataset Distillation via Deep Generative Prior
    Cazenavette, George
    Wang, Tongzhou
    Torralba, Antonio
    Efros, Alexei A.
    Zhu, Jun-Yan
    2023 IEEE/CVF CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION, CVPR, 2023, : 3739 - 3748
  • [22] Generalizing the Hypergraph Laplacian via a Diffusion Process with Mediators
    Chan, T. -H. Hubert
    Liang, Zhibin
    COMPUTING AND COMBINATORICS (COCOON 2018), 2018, 10976 : 441 - 453
  • [23] Generalizing Hyper-heuristics via Apprenticeship Learnin
    Asta, Shahriar
    Oezcan, Ender
    Parkes, Andrew J.
    Etaner-Uyar, A. Sima
    EVOLUTIONARY COMPUTATION IN COMBINATORIAL OPTIMIZATION (EVOCOP 2013), 2013, 7832 : 169 - +
  • [24] Generalizing Group Fairness in Machine Learning via Utilities
    Blandin, Jack
    Kash, Ian A.
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2023, 78 : 747 - 780
  • [25] Generalizing Face Forgery Detection via Uncertainty Learning
    Wu, Yanqi
    Song, Xue
    Chen, Jingjing
    Jiang, Yu-Gang
    PROCEEDINGS OF THE 31ST ACM INTERNATIONAL CONFERENCE ON MULTIMEDIA, MM 2023, 2023, : 1759 - 1767
  • [26] Generalizing to Unseen Domains via Adversarial Data Augmentation
    Volpi, Riccardo
    Namkoong, Hongseok
    Sener, Ozan
    Duchi, John
    Murino, Vittorio
    Savarese, Silvio
    ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 31 (NIPS 2018), 2018, 31
  • [27] The subsumption of reference
    Braddon-Mitchell, D
    BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 2005, 56 (01): : 157 - 178
  • [28] SUBSUMPTION AND IMPLICATION
    GOTTLOB, G
    INFORMATION PROCESSING LETTERS, 1987, 24 (02) : 109 - 111
  • [29] THE EFFICIENCY OF DEMAND-ORIENTED HOUSING PROGRAMS - GENERALIZING FROM EXPERIMENTAL FINDINGS
    CRONIN, FJ
    JOURNAL OF HUMAN RESOURCES, 1983, 18 (01) : 100 - 125
  • [30] Generalized Mutant Subsumption
    Al Blwi, Samia
    Marsit, Imen
    Khaireddine, Besma
    Ayad, Amani
    Loh, JiMeng
    Mili, Ali
    PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES (ICSOFT), 2022, : 46 - 56
12345