Esempio di testo
d'esame, svolto
Gli esercizi scritti possono riguardare:
- mostrare cosa fa Davis-Putnam su un insieme di clausole
- applicare tableau a una formula proposizionale, oppure
del primo ordine oppure modale
- dimostrare una implicazione usando la deduzione naturale
- eseguire AC3 su un problema di programmazione a vincoli
- verificare se un problema di programmazione a vincoli
è node/arc/path consistent
- far vedere cosa succede eseguendo un algoritmo di
ricerca locale su un problema di programmazione a vincoli
- mostrare l'esecuzione dell'algoritmo di model checking
su una formula e una struttura