Formulace problému konzistence vzoru v induktivním logickém programování metodou splňování podmínek

Abstrakt

Článek popisuje metodu pro modelování a řešení problému konzistence vzoru v induktivním logickém programování. Metoda je založena na popisu unifikace proměnných formou problému splňování podmínek.

Klíčová slova

• problému konzistence vzoru
• induktivní logické programování
• splňování
• podmínek