Corso di Sistemi Basati su Conoscenza Anno Accademico 2002/2003 Nome...Cognome...

Transcript

1 ESERCIZIO WUMPUS WORLD COMPITO 1 Supporre di essere in un mondo del Wumpus infinito in cui vi sia solo un mostro del tipo disegnato in figura che emana puzze percepibili nelle caselle indicate, non vi siano buche e non vi siano ori. Implementare i predicati di un agente che permettano di localizzare questo nuovo Wumpus supponendo di potersi muovere ne mondo e di capitare in una casella in cui vi sia una puzza. Dividere la risoluzione in due parti: 1) Graficare (sulla figura) e discutere (sinteticamente) la strategia adottata per l individuazione del Wumpus 2) implementare i predicati prolog necessari per realizzare la strategia descritta in precedenza ricordando che l agente in questione ha come di ciclo principale il seguente: run_agent(perception,action):- tell_kb(perception), ask_kb(action), tell_kb_action(action).

2 ESERCIZIO ONTOLOGIE COMPITO 1 Dato un linguaggio di rappresentazione di gerarchie definito come segue: 1) isa([x1,...,xn],y). che indica che ciascun Xi appartiene alla classe Y (ovvero Xi è figlio di Y) 2) prop(x,[p1,...,pk]). che indica che la classe X ha le proprietà Pi. Si noti che Xi, Y, Pi sono tutti degli atomi. Definire il predicato: is_a_kind_of(x,y). che sia vero se X è una sottoclasse (non necessariamente diretta) di Y. Esempio gerarchia is_a([frutta,carne,verdura],cibo). is_a([mela,arancia],frutta). is_a([renetta,golden,stark],mela). is_a([carne_bianca,carne_rossa],carne). props(frutta,[dolce]). props(mela,[rotonda]). props(golden,[gialla]). props(renetta,[verde]). props(stark,[rossa]).?- is_a_kind_of(stark,cibo). yes?- setof(x,is_a_kind_of(stark,x),y). (ovvero dammi tutte le soluzioni X nella lista Y che verificano il predicato is_a_kind_of(stark,x)) Y = [mela,frutta,cibo]

3 ESERCIZIO PROLOG COMPITO 1 Esercizio 1 Scrivere il predicato member(a,l,lma). vero se A è una elemento che appartiene alla lista L e se LMA è la lista L privata dell elemento A con tutti gli altri elementi nello stesso ordine in cui si trovano nella lista L. Esercizio 2 Scrivere il predicato flatten(tree,list). vero se TREE è un albero rappresentato sotto forma di lista di liste e LIST è la lista degli elementi di TREE?- flatten([[k,n],[c,[d,e]],a],[k,n,c,d,e,a]). Yes

4 ESERCIZIO WUMPUS WORLD COMPITO 2 Supporre di essere in un mondo del Wumpus infinito in cui vi sia solo un mostro del tipo disegnato in figura che emana puzze percepibili nelle caselle indicate, non vi siano buche e non vi siano ori. Implementare i predicati di un agente che permettano di localizzare questo nuovo Wumpus supponendo di potersi muovere ne mondo e di capitare in una casella in cui vi sia una puzza. Dividere la risoluzione in due parti: 3) Graficare (sulla figura) e discutere (sinteticamente) la strategia adottata per l individuazione del Wumpus 4) implementare i predicati prolog necessari per realizzare la strategia descritta in precedenza ricordando che l agente in questione ha come di ciclo principale il seguente: run_agent(perception,action):- tell_kb(perception), ask_kb(action), tell_kb_action(action).

5 ESERCIZIO ONTOLOGIE COMPITO 2 Dato un linguaggio di rappresentazione di gerarchie definito come segue: 1) isa([x1,...,xn],y). che indica che ciascun Xi appartiene alla classe Y (ovvero Xi è figlio di Y) 2) prop(x,[p1,...,pk]). che indica che la classe X ha le proprietà Pi. Si noti che Xi, Y, Pi sono tutti degli atomi. Assumendo di aver definito il predicato: is_a_kind_of(x,y). che sia vero se X è una sottoclasse (non necessariamente diretta) di Y. definire il predicato: has_prop(y,p). che sia vero se P è una proprietà (eventualmente ereditata) del nodo Y. Esempio gerarchia is_a([frutta,carne,verdura],cibo). is_a([mela,arancia],frutta). is_a([renetta,golden,stark],mela). is_a([carne_bianca,carne_rossa],carne). props(frutta,[dolce]). props(mela,[rotonda]). props(golden,[gialla]). props(renetta,[verde]). props(stark,[rossa]).?- has_prop(mela,dolce). yes?- setof(x,has_prop(mela,x),y). (ovvero dammi tutte le soluzioni X nella lista Y che verificano il predicato has_prop(mela,x)) Y = [rotonda,dolce]

6 ESERCIZIO PROLOG COMPITO 2 Esercizio 1 Scrivere il predicato set(a). vero se A è una lista che rappresenta un insieme (ovvero ogni elemento è contenuto una sola volta) Esercizio 2 Dato il predicato member(element,list) vero se Element è elemento di List, definire il predicato /*deep_member(element,list).*/ dove List è una lista i cui elementi o sono atomi o sono liste che sia vero se Element appartiene a List o una delle liste di List.?- deep_member(a,[b,[[g,h,[a]],l]). Yes?- deep_member(a,[b,[[[p],g,n,m],l]). No.