Hivatkozók

• Golog
• kényszerlogikai-programozás
• korlátozott logikai programozás CLP
• LIFE nyelv

Mesterséges Intelligencia

• 7.4. Az ítéletkalkulus következtetési mintái
• 9. fejezet - Következtetés elsőrendű logikában
• 9.4. Hátrafelé láncolás
• 9.6. Összefoglalás
• 10.9. Összefoglalás
• 14.8. Összefoglalás
• 19.2. A tudás szerepe a tanulásban
• 19.5. Induktív logikai programozás
• 19.6. Összefoglalás
• 22.8. A nyelvtan indukciós tanulása
• 22.9. Összefoglalás
• 1. Mesterséges intelligencia általánosságban