Modely s podmínkami pro uvažování o unifikaci v induktivním logickém programování

Abstrakt

Článek popisuje dva modely popisující unifikaci proměnných v hypotéze při řešení problémů induktivního logického programování.

Klíčová slova

• modely s podmínkami
• unifikace
• induktivní logické programování