Hivatkozók

• egységpreferencia
• egységterjesztés
• Horn klóz
• inverz rezolúció

Mesterséges Intelligencia

• 7.4. Az ítéletkalkulus következtetési mintái
• 7.5. Hatékony ítéletkalkulus következtetés
• 9.5. Rezolúció