Abstrakt. Induktiv Logisk programmering är ett subfält av maskininlärning som handlar om induktion av logiska program. I Shapiros Model Inference System - ett system som härleder teorier från exempel-användning av nedsänkta förfining operatörer infördes för att gå igenom ett beställd sökområde av klausuler. Nedåtgående och uppåtgående förädlingsoperatörer beräknar specialiseringar respektive generaliseringar av klausuler. I denna artikel presenterar vi resultaten av vår studie av fullständighet och riktighet av förfining operatörer för ett obegränsat sökområde av klausuler som beställts av O-subsumtion. Vi bevisar att lokalt ändliga ned- och uppåtförfining operatörer som är både kompletta och lämpliga för obegränsad sökning utrymmen som beställts av 0-subsumtion inte existerar. Vi presenterar också en komplett men felaktig uppåtförfining operatör. Denna operatör utgör en motsvarighet till Lairds verksamhetsutövare för förfining nedåt med samma egenskaper.
Detta har använts tidigare för att visa att idealiska förfiningsföretag för klausuler som beställts av underkonsumtion inte finns REF.
Existence and nonexistence of complete refinement operators
{'venue': 'ECML', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}