Wumpus World: aspetti di ragionamento e verifica
- Studente: Paolo Parise
- Matricola: VR089677
- Insegnamento: Ragionamento automatico
- Anno Accademico: 2010/2011
- Docente: Alessandro Farinelli
Abstract
Partendo da un’implementazione didattica Prolog del Wumpus World [1] descritto in [2] sono state aggiunte nuove funzionalità
ed è stata presentata una tecnica di verifica di correttezza. Vengono trattati argomenti riguardanti gli agenti
basati sulla conoscenza, il calcolo delle situazioni, le architetture tell-ask e la programmazione Prolog.
Links