Hivatkozók

Mesterséges Intelligencia

• 9. fejezet - Következtetés elsőrendű logikában
• 9.2. Egyesítés és kiemelés
• 9.3. Előrefelé láncolás
• 9.4. Hátrafelé láncolás
• 9.5. Rezolúció
• 9.6. Összefoglalás
• 14.7. Egyéb módszerek a bizonytalan környezetben történő következtetéshez