1. Intelligenza artificiale (formato PDF)

2. Logica formale - Parte 1 (formato PDF)
Algebra di Boole, linguaggio proposizionale, soddisfacibilità, conseguenza logica

Seminario: Reti Neurali (formato PDF)
A cura del Dott. R. Marmo

3. Logica formale - Parte 2 (formato PDF)
Calcolo logico, derivazioni, assiomi, completezza

4. Logica formale - Parte 3 (formato PDF)
Calcolo automatico, forme normali ed a clausole, risoluzione e refutazione, metodo a tableau

5. Logica formale - Parte 4 (formato PDF)
Linguaggio del primo ordine, soddisfacibilità, modelli, conseguenza logica

6. Sistemi a regole (formato PDF)
Modelli (finiti) di Herbrand, forward chaining, algoritmo Rete

7. Il mondo di Wumpus (formato PDF)
Cicli di percezione, elaborazione, pianificazione, azione

8. Metodi di ricerca (formato PDF)
Ricerca non informata, metodi breadth-first e depth-first, funzione costo e metodi best-first

9. Ricerca euristica (formato PDF)
Funzione euristica, algoritmo A*

Per le esercitazioni con Jess:

Software:

Jess, the Rule Engine for the Java Platform (presso il sito originale)

Wumpus (formato ZIP)

Robocode 1.0.7 (versione modificata del 20060520, formato ZIP - sito originale, help online)

JessRobocode (Integrazione tra Robocode e Jess, versione del 20060619)

Memorabilia:

Hunter di F. Cappelli e R. Tessera (vincitore del torneo di JessRobocode 2006 - formato ZIP)

Riferimento:

Menken, M. - Jess Tutorial (formato PDF)

Approfondimenti:

CLIPS (Attenzione: Jess è un dialetto di CLIPS - vedi documentazione di Jess)

CLIPS - Basic Programming Guide (formato PDF) - LHS Syntax a pag. 30, fino a pag.61

Esercitazioni:

Jess - Esercitazione 1 (formato PDF)

Jess - Esercitazione 2 (formato PDF)