.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- [Logica Matematica] Diario del corso 2004/2005 (http://www.dsy.it/forum/showthread.php?threadid=17688)

Diario del corso 18-4-05

SEMINARIO DI PROLOG (prof. morpurgo)
alcuni libri consigliati:
Bratko - Prolog: Programming for A.I. (pare ci sia solo in inglese)
Furlan, Lanzarone - Prolog: Linguaggio e metodologia della programmazione logica (non è + in stampa, o lo trovate usato o lo scaricate dalla rete, alla pagina del corso c'è il link, oltre ai titoli di altri testi consigliati)

IMPORTANTE: per lunedì prossimo scaricate l'interprete prolog

argomenti della lezione:
- introduzione al prolog e differenze coi linguaggi procedurali
- concetti di: oggetti, relazione tra gli oggetti, proposizioni
- esempio di programma prolog e creazione di regole che si basano sulle relazioni date (es: data la relazione genitore(X,Y) scrivere la regola nonno(X,Y) o antenato(X,Y) )

Diario del corso 22-4-05

DPLL e z-Chaff

Diario del corso 29-4-05

ESERCITAZIONE PROF. SACCHETTI

esercizi su:
-riconoscimento di formule, sottoformle, termini, formule tautologiche/ soddisfacibili/ contraddittorie,
-ricerca di dimostrazione

si consiglia vivamente di provare a svolgere dei temi d'esame vecchi, soprattutto quelli dal 2003 in poi (più simili a quello he capiterà a noi)

Diario del corso 2-5-05

PROLOG - PROF MORPURGO

- ripasso sulle relazioni
- struttura di una regola (testa, implicazione, corpo)
- connettivi ligici in prolog (and/or)
- ricorsione (esempi: fattoriale, palindromi, antenato)

esercizio per casa: definire tutte le versioni possibili della funzione antenato e confrontarne le prestazioni (cioè scrivendo trace, <quesito> al prompt, così l'interprete mostra tutti i passaggi)

Diario del corso 6-5-05

ESERCITAZIONE - PROF SACCHETTI

esercizi su:
- ricerca di contromodelli
- ricerca di dimostrazione
- formalizzazione e dimostrazione di un'inferenza

AVVISO IMPORTANTE
il compitino di logica sarà venerdì 27 maggio, per sostenere la prova bisogna iscriversi, venerdì prossimo a lezione verranno prese le firme per l'iscrizione.

PROLOG - PROF MORPURGO

- tipi di oggetti (semplici, strutturati, costanti, variabili, atomi, numeri)
- variabile anonima (underscore)
- criteri di unificazione per gli oggetti
- liste in prolog
- esercizi sulle liste (scrittura di programmi che data una lista e un elemento x riconoscono se x appartiene alla lista, oppure che concatenano 2 liste, etc.)

Diario del corso 13-5-05

ESERCITAZIONE - SACCHETTI

ancora esercizi su formalizzazioni di inferenze, ricerche di dimostrazioni e skolemizzazioni

Diario del corso 16-5-05

PROLOG - PROF MORPURGO

- albero di esecuzione della procedura di concatenazione di liste
- istanza di una clausola
- variante di una clausola
- significato dichiarativo di un programma su un quesito
- significato procedurale di un programma su un quesito

AVVISO:
il compitino di prolog si terrà il 16 giugno e coinciderà con la parte di prolog dell'appello d'esame

Diario del corso 20-5-05

ESERCITAZIONE - PROF SACCHETTI

esercizi su contromodelli, formalizzazione di inferenze, ricerche di dimostrazione e problemi di unificazione

AVVISO:
il compitino si terrà venerdì questo (27) alle 8.30 in aula G21, non in V4

Ciao, potresti essere così gentile da postare qualche esercizio svolto a lezione?
Grazie.

Originally posted by Lea
Ciao, potresti essere così gentile da postare qualche esercizio svolto a lezione?
Grazie.

Ciao

Vorrei sapere come si risolvono gli esercizi di questo tipo

Esame febbraio 2004 es 1.3

Tutti i gatti sono felini
Tutti i felini miagolano
-----------------------------
Se Tom non miagola allora Tom non è un gatto.

Se qualcuno mi può aiutare...
Grazie!

prima di tutto devi formalizzare:
G(x) = x è un gatto
F(x) = x è un felino
M(x) = x miagola
t = Tom

a questo punto costruisci un sequente in cui metti a sx la formalizzazione delle premesse e a dx la formalizzazione delle conseguenze. se questo sequente è dimostrabile (= chiude su tutti i rami) allora l'inferenza è corretta, altrimenti è scorretta.

Tutti i gatti sono felini ----> perogni x [ G(x) -> F(x) ]
Tutti i felini miagolano ----> perogni x [ F(x) -> M(x) ]
-----------------------------
Se Tom non miagola allora Tom non è un gatto ----> ¬M(t) -> ¬G(t)

perogni x [ G(x) -> F(x) ] , perogni x [ F(x) -> M(x) ] => ¬M(t) -> ¬G(t)
perogni x [ G(x) -> F(x) ] , perogni x [ F(x) -> M(x) ] , ¬M(t) => ¬G(t)
perogni x [ G(x) -> F(x) ] , perogni x [ F(x) -> M(x) ] , G(t) => M(t)
perogni x [ G(x) -> F(x) ] , G(t) -> F(t) , perogni x [ F(x) -> M(x) ] , G(t) => M(t)
1° caso: G(t) falso
perogni x [ G(x) -> F(x) ] , perogni x [ F(x) -> M(x) ] , G(t) => M(t), G(t) ----- chiude
2° caso: F(t) vero
perogni x [ G(x) -> F(x) ] , perogni x [ F(x) -> M(x) ] , G(t) , F(t) => M(t)
perogni x [ G(x) -> F(x) ] , perogni x [ F(x) -> M(x) ] , F(t) -> M(t) , G(t) , F(t) => M(t)
       1° caso: F(t) falso
       perogni x [ G(x) -> F(x) ] , perogni x [ F(x) -> M(x) ] , G(t) , F(t) => M(t) , F(t) ----- chiude
       2° caso: M(t) vero
       perogni x [ G(x) -> F(x) ] , perogni x [ F(x) -> M(x) ] , M(t) , G(t) , F(t) => M(t) ----- chiude

il sequente è dimstrabile quindi l'inferenza è corretta.

GRAZIE!!!!!

di nulla

AVVISO
come riportato sul sito venerdì 3 giugno non ci sarà lezione (ponteeeeeeee!) mentre il 10 giugno a lezione sacchetti farà la correzione del compito.