Polsy

.arcimaestro.

User info:

Registered: Dec 2003
Posts: 477 (0.06 al dì)
Location:
Corso: Info phd
Anno:
Time Online: 17 Days, 17:11:50 [...]
Status: Offline

Post actions:

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) )

Polsy

.arcimaestro.

User info:

Registered: Dec 2003
Posts: 477 (0.06 al dì)
Location:
Corso: Info phd
Anno:
Time Online: 17 Days, 17:11:50 [...]
Status: Offline

Post actions:

DPLL e z-Chaff

Polsy

.arcimaestro.

User info:

Registered: Dec 2003
Posts: 477 (0.06 al dì)
Location:
Corso: Info phd
Anno:
Time Online: 17 Days, 17:11:50 [...]
Status: Offline

Post actions:

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)

Polsy

.arcimaestro.

User info:

Registered: Dec 2003
Posts: 477 (0.06 al dì)
Location:
Corso: Info phd
Anno:
Time Online: 17 Days, 17:11:50 [...]
Status: Offline

Post actions:

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)

Polsy

.arcimaestro.

User info:

Registered: Dec 2003
Posts: 477 (0.06 al dì)
Location:
Corso: Info phd
Anno:
Time Online: 17 Days, 17:11:50 [...]
Status: Offline

Post actions:

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.

Last edited by Polsy on 12-05-2005 at 16:18

Polsy

.arcimaestro.

User info:

Registered: Dec 2003
Posts: 477 (0.06 al dì)
Location:
Corso: Info phd
Anno:
Time Online: 17 Days, 17:11:50 [...]
Status: Offline

Post actions:

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.)

Polsy

.arcimaestro.

User info:

Registered: Dec 2003
Posts: 477 (0.06 al dì)
Location:
Corso: Info phd
Anno:
Time Online: 17 Days, 17:11:50 [...]
Status: Offline

Post actions:

ESERCITAZIONE - SACCHETTI

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

Polsy

.arcimaestro.

User info:

Registered: Dec 2003
Posts: 477 (0.06 al dì)
Location:
Corso: Info phd
Anno:
Time Online: 17 Days, 17:11:50 [...]
Status: Offline

Post actions:

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

Polsy

.arcimaestro.

User info:

Registered: Dec 2003
Posts: 477 (0.06 al dì)
Location:
Corso: Info phd
Anno:
Time Online: 17 Days, 17:11:50 [...]
Status: Offline

Post actions:

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

Lea

User info:

Registered: Feb 2003
Posts: 31 (0.00 al dì)
Location:
Corso: Informatica
Anno: 1
Time Online: 1 Day, 0:15:04: [...]
Status: Offline

Post actions:

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

Polsy

.arcimaestro.

User info:

Registered: Dec 2003
Posts: 477 (0.06 al dì)
Location:
Corso: Info phd
Anno:
Time Online: 17 Days, 17:11:50 [...]
Status: Offline

Post actions:

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

gli esercizi che ha fatto sacchetti sono quelli dei vecchi temi d'esame, per lo più 2003/2004 (c'è il link sul sito del corso)
se intendi lo svolgimento degli esercizi non ho lo scanner a portata di mano...
se ti crea problemi qualche esercizio in particolare postalo pure qua

Lea

User info:

Registered: Feb 2003
Posts: 31 (0.00 al dì)
Location:
Corso: Informatica
Anno: 1
Time Online: 1 Day, 0:15:04: [...]
Status: Offline

Post actions:

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!

Polsy

.arcimaestro.

User info:

Registered: Dec 2003
Posts: 477 (0.06 al dì)
Location:
Corso: Info phd
Anno:
Time Online: 17 Days, 17:11:50 [...]
Status: Offline

Post actions:

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.

Lea

User info:

Registered: Feb 2003
Posts: 31 (0.00 al dì)
Location:
Corso: Informatica
Anno: 1
Time Online: 1 Day, 0:15:04: [...]
Status: Offline

Post actions:

GRAZIE!!!!!

Polsy

.arcimaestro.

User info:

Registered: Dec 2003
Posts: 477 (0.06 al dì)
Location:
Corso: Info phd
Anno:
Time Online: 17 Days, 17:11:50 [...]
Status: Offline

Post actions:

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.