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.
I en annan artikel REF, Vi har visat att det inte finns ideal uppåt och nedåt förfining operatörer för obegränsad 0-konsumtion beställda uppsättningar av klausuler (~, ~-) och definierade en lokalt ändlig, komplett men felaktig uppåtförfining operatör för sådana uppsättningar.
Existence and nonexistence of complete refinement operators
{'venue': 'ECML', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}