Logica per la risoluzione di problemi

  1. Introduzione
    Intelligenza artificiale e programmazione logica

  2. Sintassi
    1. Definizione di clausola
    2. Clausole di Horn
    3. Interpretazione procedurale delle clausole di Horn

  3. Semantica
    1. Concetti semantici
    2. Semantica della clausola vuota
    3. Semantica delle conclusioni alternative

  4. Apparato deduttivo
    Principio di risoluzione
    1. Definizione procedurale di risoluzione
    2. Risoluzione diretta

    3. Deduzione di risoluzione
    4. Alberi di deduzione
    5. Forma AND/OR

    6. Metodi di ricerca su alberi

  5. Metateoria
    1. Correttezza e completezza della risoluzione diretta

  6. Sistemi a regole

  7. Programmi logici
    1. Definizione di programma logico
    2. Algoritmo = Logica + Controllo
    3. Non determinismo

    4. Programmi ben strutturati