Hivatkozók

• diszjunkció
• elemi esemény
• elsőrendű határozott klóz
• És-kiküszöbölés következtetési szabály
• feltételek törlése
• k-DF (döntési fa)
• k-DL (döntési lista)
• konjunkt sorrendezés
• konjunktív lekérdezés
• konjunktív normál forma (CNF)
• következtetési szabály
• logikai összekötőjel

Mesterséges Intelligencia

• 7.3. A logika
• 7.4. Az ítéletkalkulus következtetési mintái
• 8.2. Az elsőrendű logika szintaxisa és szemantikája
• 10.3. Cselekvések, szituációk és események
• 13.6. A Bayes-tétel és használata
• 14.7. Egyéb módszerek a bizonytalan környezetben történő következtetéshez