Fondamenti di Intelligenza Artificiale M. Altri possibili esercizi

Dimensione: px

Iniziare la visualizzazioe della pagina:

Download "Fondamenti di Intelligenza Artificiale M. Altri possibili esercizi"

Geronimo Lillo
6 anni fa
Visualizzazioni

1 Fondamenti di Intelligenza Artificiale M Altri possibili esercizi 1

2 Esempi di possibili esercizi Description Logic e SW e domande sui seminari in generale Introdurre brevemente la differenza tra Open World Assumption e Close World Assumption, illustrando tale differenza con una piccola knowledge base di esempio. Illustrare brevemente i possibili modelli semantici visti nel corso per rappresentare la conoscenza. Spiegare brevemente, nell ambito dell iniziativa Semantic Web, il ruolo degli standard RDF e OWL. Nell ambito di Semantic Web, introdurre brevissimamente la funzione dello standard SPARQL, eventualmente con qualche esempio di query. Considerando gli operatori (EXISTS, FORALL, AND, FILLS) e i simboli logici di Description Logic visti a lezione, rappresentare la seguente conoscenza: Le conferenze importanti sono tutte quelle che hanno almeno 3 iscritti. Le conferenze italiane sono quelle dove tutti gli iscritti sono italiani. Alla conferenza xyz si sono iscritti Federico, Marco e Paolo. Tutti e tre sono italiani. Cosa è possibile inferire in Description Logic da questa base di conoscenza? 2

3 Esempi di possibili esercizi Meta-interpreti in Prolog Semplicissime varianti del vanilla meta-interprete 3

4 È dato lo stato iniziale descritto dalle seguenti formule atomiche: [ handempty] (a,c,d rappresentano dei blocchi e p1,p2,p3 sono le uniche 3 posizioni occupabili del tavolo Le azioni sono modellate opportunamente come segue: pickup(x,pos) PRECOND: ontable(x,pos), clear(x), handempty DELETE: ontable(x,pos), clear(x), handempty ADD: holding(x), empty(pos) putdown(x,pos) PRECOND: holding(x), empty(pos) DELETE: holding(x), empty(pos) ADD: ontable(x,pos), clear(x), handempty (Pos è una variabile che rappresenta la posizione del tavolo, X,Y rappresentano blocchi) 4

5 stack(x,y) PRECOND: holding(x), clear(y) DELETE: holding(x), clear(y) ADD: handempty, on(x,y), clear(x) unstack(x,y) PRECOND: handempty, on(x,y), clear(x) DELETE: handempty, on(x,y), clear(x) ADD: holding(x), clear(y) e il goal ontable(a,p2) Si descriva come l algoritmo lineare backward STRIPS trova un piano per questo goal (quindi si mostri SOLO una strada nell albero di ricerca considerando come ordinamento tra precondizioni in and nello stack quello che considera prima le precondizioni che unificano direttamente con un letterale dello stato e poi quelle che per essere soddisfatte hanno bisogno di una azione). Si descriva lo stato e lo stack dei goal passo passo. 5

6 handempty ontable(a,p2) handempty ontable(a,p2) unifica con una postcond. dell azione empty(p2) holding(a) empty(p2) unifica con un letterale nello stato 6

7 handempty Handempty empty(p2) unifica con un letterale nello stato holding(a) holding(a) unifica con una postcond. dell azione pickup(a,pos) ontable(a,pos) clear(a) handempty ontable(a,pos) clear(a) han dempty pickup(a,pos) ontable(a,pos) unifica con un letterale dello stato Pos/p1 7

8 Handempty ontable(a,pos) unifica con un letterale dello stato Pos/p1 clear(a) handempty ontable(a,p1) clear(a) hand empty pickup(a,p1) Handempty clear(a) ed handempty unificano con un letterale nello stato ontable(a,p1) clear(a) hand empty pickup(a,p1) la congiunzione è soddisfatta 8

9 Handempty la congiunzione è soddisfatta pickup(a,p1) eseguo pickup(a,p1) empty(p1), holding(a), la congiunzione è soddisfatta 9

10 empty(p1), holding(a), la congiunzione è soddisfatta Eseguo empty(p1), handempty(a), ontable(a,p2) 10

11 Planning Oppure domande di teoria o modellazione di azioni in STRIPS 11

Documenti analoghi

Fondamenti di Intelligenza Artificiale M

Fondamenti di Intelligenza Artificiale M 1 Esempi di possibili esercizi Description Logic e SW Introdurre brevemente la differenza tra Open World Assumption e Close World Assumption, illustrando tale differenza