
A logika szerepe a mesterseges intelligenciában: hétköznapi gondolkodás formalizálása, tudásreprezentáció, tervezés. Tudásreprezentáció kijelentés és elsőrendű logikában.
Praktikus elsőrendű logika, az elsőrendű logika variánsai és gyengítései: szemantikus hálók, leíró logikák, igazság -karbantartó rendszerek. Játékstratégiák és formális logika, játékok, mint keresési stratégiák.
Modális logika: Kripke-szemantika, teljességi tételek, véges frame tulajdonság, eldönthetőség, temporális logika, dinamikus logika, elsőrendű modális logika.
Modális logika egy alkalmazása: tudásról való érvelés többszereplős rendszerekben. A tervezés logikái: szituációkalkulus,eseménykalkulus.
Bizonytalan tudás és következtetés: valószínűségi (induktív) logika, következtetések valószínűséggel, valószínűségi hálók, nem-monoton logika.