Abbonati a DeepL Pro per tradurre file di maggiori dimensioni.

Per ulteriori informazioni, visita www.DeepL.com/pro.

TEMA 2 - Problemi e processi di ricerca

1

Problemi, rappresentazione e caratteristiche

Introduzione
Rappresentazione:
• attraverso gli Stati
• per riduzione
Caratteristiche dei problemi
Caratteristiche dei processi di ricerca Ricerca
della soluzione. Alberi e grafi Ragionamento in
avanti e all'indietro Selezione dell'operatore
Euristica. Funzioni di valutazione euristica
L'esplorazione come paradigma di risoluzione e ricerca

Laurea in Ingegneria Sistemi intelligenti Anno accademico 2023-

 PROBLEMI, RAPPRESENTAZIONE E CARATTERISTICHE

INTRODUZIONE
Non disponiamo di un algoritmo deterministico generale per risolvere i problemi
perché:
• I problemi sono complessi (complessità), ad esempio gli scacchi,
• Il mondo sta cambiando (robot per raccogliere un pezzo che cambia posto),
• Mondo parzialmente sconosciuto (labirinto), ecc.
Esistono tecniche o metodi specifici per la risoluzione dei problemi, ma a noi
interessa analizzare l'insieme dei metodi di risoluzione dei problemi che
consideriamo più generali (con le opportune varianti, ampiamente utilizzati).

Imparare a progettare sistemi di problem solving

Analizzare gli elementi generali di qualsiasi sistema per trovare soluzioni ai problemi.

Utile per affrontare nuovi problemi in modo formalizzato o sistematico

Laurea in Ingegneria Sistemi intelligenti Anno accademico 2023-

 Problemi, rappresentazione e caratteristiche
Introduzione
Elementi principali dei sistemi di problem solving:
• Rappresentazione: "descrive" il dominio del problema, l'obiettivo finale da
raggiungere e la situazione iniziale.
• Operatori: "trasformano" la situazione problematica o dividono un problema
in diversi sottoproblemi (più facili da risolvere).
• Strategia di controllo: "seleziona" l'operatore da applicare, in ogni situazione
del problema, tra tutti quelli applicabili. L'applicazione di un operatore sulla
rappresentazione del problema la trasforma in un senso caratteristico di
ciascun operatore.

Strategia da controllo:responsabile di la selezione di la sequenza

appropriata di operatori.
La soluzione a un problema sarà una sequenza appropriata di operatori
che porta alla sua risoluzione.

Laurea in Ingegneria Sistemi intelligenti Anno accademico 2023-

 Problemi, rappresentazione e caratteristiche
Introduzione
Esempio: robot in un mondo bidimensionale con pareti e ostacoli.

Rappresentanza:
• Mappa del mondo e restrizioni
• Situazione iniziale: la scatola
• Situazione finale: la s c a t o l a

Operatori: Strategia di controllo:

• Nord: Cellula verso l'alto
• Sud: Cellula giù
• Est: Cella a destra
• Ovest: Cella a sinistra
Laurea in Ingegneria
• Decidere operatori
applicabile (operatore -
corrispondenza con la situazione)
• Scegliere uno tra diversi
operatori applicabili in base ad
alcuni criteri
Sistemi intelligenti Anno accademico 2023-
 • Obiettivo: raggiungere
la casella attraverso il percorso più breve.

Laurea in Ingegneria Sistemi intelligenti Anno accademico 2023-

 Problemi, rappresentazione e caratteristiche
5
RAPPRESENTANZA
I metodi di rappresentazione dei problemi possono essere basati su:
• Formulazione dello spazio degli stati 🡺 problemi come una collezione di
stati.
• Formulazione per riduzione 🡺 problemi come gerarchia di sottoproblemi di
diversa complessità.

• Per mezzo degli Stati

2 classi di entità:
• Stati: rappresentanza rappresentazione di la situazione del
problema in un dato momento (contiene le informazioni un
determinato momento (contiene le informazioni rilevanti).
• Operatori: azioni che possono trasformare uno stato in un altro.
Stato iniziale 🡺 situazione iniziale del problema.
Stato finale (meta, obiettivo) 🡺 configurazione determinata che rappresenta l'obiettivo
desiderato
Laurea in Ingegneria Sistemi intelligenti Anno accademico 2023-
 Stati intermedi 🡺 Stati ottenuti applicando gli operatori

Laurea in Ingegneria Sistemi intelligenti Anno accademico 2023-

 Problemi, rappresentazione e caratteristiche
Rappresentazione
Un problema rappresentato da stati è specificato come: (S,O,G)
- S e G insiemi di stati iniziali e finali,
- O insieme di operatori.

Una strategia definisce una soluzione o una traiettoria nello spazio degli stati (dallo
stato iniziale allo stato finale) 🡺 la traiettoria equivale alla sequenza di operatori.

Esempio:
Il mondo dei
blocchi

Inizial Obiettiv
e o

Laurea in Ingegneria Sistemi intelligenti Anno accademico 2023-

 Problemi, rappresentazione e caratteristiche
Rappresentazione
• Per riduzione
Questo schema risponde a alla possibilità di di che il
problema possa essere trovato a può essere scomposto in
sottoproblemi più piccoli.
L'elemento principale è la descrizione del problema da risolvere e la d i n a m i c a
risolutiva consiste nella sua scomposizione in problemi più semplici.
• La situazione iniziale è definita dalla formulazione del problema e da un
insieme di operatori o trasformatori di problemi.
• La descrizione del problema iniziale viene risolta applicando una sequenza di
trasformazioni che la trasformano in un insieme di sottoproblemi che possono
essere risolti immediatamente.
Op
Un operatore può trasformare un problema in
• diversi sottoproblemi figli: per risolvere il problema
principale, devono essere risolti tutti i problemi figli.
• diversi sottoproblemi alternativi: si verifica quando allo Op1 Op2
stesso problema vengono applicati operatori diversi --- Op3
con la soluzione di un caso si risolve quello principale.
Laurea in Ingegneria Informatica Sistemi intelligenti Anno accademico 2023-2024
 Problemi, rappresentazione e caratteristiche
Rappresentazione 8
Esempio 𝑥2

: ! 𝑑𝑥
𝑥2
3 1 + 2𝑥 𝑡 =3 1 + 2𝑥 ⇒ 𝑡3 = 1 + 2𝑥 ⇒ 𝑥 =
𝑡3 - 1

Integral ! 𝑑𝑥 sostituzione(- 3𝑡2𝑑𝑡

e 𝑥
3 1 + 2 ) 2𝑑𝑥 = 3𝑡2𝑑𝑡 ⇒ 𝑑𝑥
𝑑𝑥 = 3𝑡2𝑑𝑡 ⇒ 𝑑𝑥 =
! (𝑡7 - 2𝑡4 + 𝑡)𝑑𝑡
8
Funzione costante(-)
3
!(𝑡7 - 2𝑡4 + 𝑡)𝑑𝑡
8✓
somma(-)

! 𝑡7𝑑𝑡 !(-2)𝑡4𝑑𝑡𝑡 !
✓ 𝑡𝑑𝑑𝑡
✓
𝑡 𝑡
Funzione costante(-)
8 ✓
(-2) ! 𝑡4𝑑𝑡 2
8 ✓ 2
𝑡5
Soluzion
e: 5
𝑥2 3
𝑑𝑥=3 ( 1+2𝑥)8
3
( 1+2𝑥)5
+ (3 1+2𝑥)2 )
Laurea (
∫ in Ingegneria Informatica -2 Sistemi intelligenti Anno accademico 2023-
3
1+2𝑥 8 8 5 2
 Problemi, rappresentazione e caratteristiche

CARATTERISTICHE DEI PROBLEMI

Per scegliere il metodo (o la combinazione di metodi) più appropriato per risolvere
un problema, è necessario analizzarlo lungo diverse dimensioni chiave:

• Problemi scomponibili: il problema può essere scomposto in un insieme di

sottoproblemi più piccoli o più facilmente indipendenti?
• Problemi recuperabili o irrecuperabili: i passaggi illogici della soluzione possono
essere annullati?
• Una buona soluzione al problema è ovvia senza bisogno di confrontarla con
tutte le altre soluzioni possibili?
• Coerenza e ruolo della conoscenza. La base di conoscenza da utilizzare per
risolvere il problema è coerente; è assolutamente necessaria una grande
quantità di conoscenza per risolvere il problema o la conoscenza è importante
solo per limitare la ricerca?

Laurea in Ingegneria Informatica Sistemi intelligenti Anno accademico 2023-2024

 10
CARATTERISTICHE DEI PROCESSI DI RICERCA

TROVARE SOLUZIONI: ALBERI E GRAFI

Ci sono molti problemi per i quali un algoritmo, cioè una traiettoria nello spazio del
problema, non è noto o non può essere conosciuto.
Una possibile causa
Complessità del problema
Rapporto con il volume di dati possibile
Tempo necessario per esaminarli

Metodi di risoluzione: Esplorazione delle alternative (ricerca)

(in pratica il metodo Test-Error)
strutture sottostanti di base

alberi reti

Laurea in Ingegneria Informatica Sistemi intelligenti Anno accademico 2023-2024

 Caratteristiche dei processi di ricerca
Ricerca di soluzioni: alberi e grafici
Uno spazio degli stati può essere trattato come 🡺
Un albero o un grafico diretto (o un albero espanso come alternativa) dove
• I nodi contengono stati e
• gli archi rappresentano gli operatori del problema.
Nella notazione ad albero/grafo, la soluzione del problema è un percorso che parte
da un punto
nodo iniziale a un nodo finale. P
Il numero di operatori determina il grado di O1 Oi On
ramificazione dell'albero che rappresenta il problema. H1 ... Hi ... Hn
Il nodo principale o distinto corrisponde allo stato iniziale.
Nella struttura (albero o rete) esiste un nodo associato allo stato finale, che
chiamiamo nodo finale, obiettivo o meta. A seconda della presenza del nodo
finale nella struttura, possiamo distinguere tre casi:
• Il nodo finale non è presente.
• Il nodo finale compare una sola volta.
qualche condizione per scegliere la soluzione
migliore).
Laurea in Ingegneria Sistemi intelligenti Anno accademico 2023-
 • Il nodo finale appare più volte (richiede la verifica di

qualche condizione per scegliere la soluzione

migliore).
Laurea in Ingegneria Sistemi intelligenti Anno accademico 2023-
 Caratteristiche dei processi di ricerca
Ricerca di soluzioni: alberi e grafici
Esempio: Mondo dei blocchi

• Albero:

.....................................

Laurea in Ingegneria Sistemi intelligenti Anno accademico 2023-

 Caratteristiche dei processi di ricerca
Ricerca di soluzioni: alberi e grafici
Esempio: Mondo dei blocchi

• Grafico:

Laurea in Ingegneria Informatica Sistemi intelligenti Anno accademico 2023-2024

 Caratteristiche dei processi di ricerca
Ricerca di soluzioni: alberi e grafici
Un grafo è diverso da un albero: percorsi diversi possono portare allo stesso nodo.
Problema associato alla ricerca in un albero:
• Spesso lo stesso nodo viene generato in percorsi diversi (elaborato più di una
volta).
Problema associato alla ricerca in un grafico:
• Nella ricerca possono essere introdotti dei cicli. Un ciclo è un percorso
attraverso la rete in cui un dato nodo compare più di una volta.
• Di conseguenza, è più difficile dimostrare che il metodo termina.
Ricerca in rete anziché ad albero:
• Riduce lo sforzo di esplorare più volte lo stesso percorso.
• Richiede uno sforzo supplementare, ogni volta che viene generato un nodo,
per vedere se è già stato generato in precedenza.

La scelta dipende dal problema specifico. Se è molto probabile che lo stesso nodo
venga generato su più percorsi, è più conveniente utilizzare un metodo di rete che
non se tale duplicazione si verifica solo raramente.

Laurea in Ingegneria Sistemi intelligenti Anno accademico 2023-

 Caratteristiche dei processi di ricerca
Ricerca di soluzioni: alberi e grafici
La rappresentazione per riduzione può essere trattata anche come 🡺
Un albero o un grafico, ma in questa situazione viene introdotto un tipo di struttura
chiamata albero o grafo AND/OR, definito sulla base delle seguenti regole:
• Ogni nodo contiene un singolo problema o un insieme di problemi.
• Un nodo che non si decompone o semplifica è un nodo terminale.
• Un nodo terminale con una soluzione corrisponde a un problema primitivo
(diciamo che è un primitivo).
• Se per ogni possibile operatore viene generato un insieme di s o t t o p r o b l e m i
d i soluzione alternativi, allora viene prodotto un nodo O.
• Se l'applicazione di un operatore genera diversi sottoproblemi ed è necessario
risolverli tutti, viene prodotto un nodo AND.

Laurea in Ingegneria Sistemi intelligenti Anno accademico 2023-

 Caratteristiche dei processi di ricerca
Ricerca di soluzioni: alberi e grafici

La risoluzione di un problema
rappresentato come un albero
AND/OR è associata alla
risoluzione del nodo radice.

Un nodo avrà una soluzione (è risolvibile) se una di queste situazioni è vera:

• È un nodo primitivo.
• È un nodo non terminale di tipo Y e i suoi successori sono tutti risolvibili.
• È un nodo non terminale di tipo O e almeno uno dei suoi successori è
risolvibile.
Un nodo è irrisolvibile se una di queste condizioni è soddisfatta:
• Il nodo è terminale, cioè non ha successori e non è primitivo.
• Il nodo è non terminale di tipo Y e almeno uno dei suoi successori è
irrisolvibile.
• Il nodo è un non-terminale di tipo O e tutti i suoi successori sono irrisolvibili.
Laurea in Ingegneria Sistemi intelligenti Anno accademico 2023-
 Caratteristiche dei processi di ricerca

RAGIONAMENTO IN AVANTI E ALL'INDIETRO

L'obiettivo di un metodo di ricerca è descrivere un percorso attraverso lo spazio del
problema da una configurazione iniziale a una finale.
• Forward (in avanti, data-driven o bottom-up): gli operatori vengono applicati
alla struttura iniziale, provocano una trasformazione della sua
rappresentazione e vengono ripetuti. Il problema viene risolto se l'obiettivo
viene raggiunto.
• Indietro (backward, goal-directed o top-down): partendo dalla configurazione
finale (goal o obiettivo), vengono applicati operatori inversi all'obiettivo. Il
problema viene risolto se è possibile raggiungere la situazione iniziale.

È meglio il ragionamento in avanti o all'indietro?

• Ci sono più stati iniziali o stati di destinazione possibili?
• In quale direzione si trova il fattore di ramificazione maggiore?

Un'altra possibilità: la strategia di ricerca bidirezionale.

Laurea in Ingegneria Sistemi intelligenti Anno accademico 2023-

 Caratteristiche dei processi di ricerca

SELEZIONE DELL'OPERATORE
Utilizzare un processo di ricerca per risolvere i problemi 🡺 applicazione di operatori
appropriati.
Una ricerca "intelligente" 🡺 scelta di operatori che si spera portino a una soluzione.
Corrispondenza: Determinare gli operatori applicabili alla situazione attuale.
Vengono controllate le precondizioni degli operatori.
Quando le precondizioni non sono definite come descrizioni esatte di situazioni
particolari, ma piuttosto descrivono proprietà che tali situazioni devono avere,
sorgono dei problemi (corrispondenza di variabili).
• Spesso, la corrispondenza tra una particolare situazione e le precondizioni di
un operatore comporta un processo di ricerca importante. Un tipo semplice di
corrispondenza non letterale che a volte può richiedere una ricerca
approfondita si ha quando le precondizioni contengono variabili.
Libero(X) e Libero(Y) 🡪 Muovi(X,Y)

Laurea in Ingegneria Sistemi intelligenti Anno accademico 2023-

 Caratteristiche dei processi di ricerca

EURISTICA. FUNZIONI DI VALUTAZIONE EURISTICA

Euristica (heuriskein -- scoprire o trovare): intesa come strategia, metodo o criterio
utilizzato per facilitare la soluzione di problemi difficili.
Conoscenza euristica: conoscenza utilizzata dagli esseri umani per risolvere
problemi complessi.
Tecnica euristica: un insieme di passi da eseguire per identificare una soluzione di
alta qualità con poche risorse (ad esempio, tempo), anche se non possiamo
garantire di trovare la soluzione.
Esistono tecniche euristiche che hanno un'applicazione molto generale e altre che
rappresentano conoscenze specifiche rilevanti per la soluzione di un problema.
Conoscenza euristica Metodi di ricerca
essere incorporato in
a funzione euristica che valuta i
gli operatori singoli stati/sottoproblemi
Funzione euristica: stima di quanto uno stato/sottoproblema sia vicino a uno stato
obiettivo o a un problema primitivo.
Anno accademico 2023-2024
Laurea in Ingegneria Informatica Sistemi intelligenti
 L'ESPLORAZIONE COME PARADIGMA DI RISOLUZIONE E RICERCA

L'esplorazione è un metodo di risoluzione dei problemi provvisorio (basato su

tentativi ed errori), in cui è richiesta la selezione di qualche opzione da un insieme
di possibilità e non esiste un principio deterministico per definire tale scelta.

L'esplorazione viene utilizzata perché molti problemi hanno proprietà come l a

seguente:
• Non è noto quale sia la possibile traiettoria che può portare alla soluzione.
• Tali traiettorie non possono essere trovate in modo sistematico e in molti
problemi il loro tempo di calcolo può superare quello ragionevole.
• Nel mondo reale vengono risolti dall'uomo utilizzando principi euristici, che per
loro natura sono difficili da giustificare.

Laurea in Ingegneria Sistemi intelligenti Anno accademico 2023-

 Esplorazione come paradigma di risoluzione e ricerca
21
Svantaggio:
• Complessità computazionale (misurata come le risorse in tempo e memoria di
cui una macchina ha bisogno per risolvere il problema). In alcuni metodi la
complessità cresce esponenzialmente con la dimensione del problema
(problemi NP): Esplosione combinatoria di possibilità.
Vantaggi:
• È un metodo universale di risoluzione dei problemi, cioè la sua mancanza di
specificità lo rende applicabile a un numero molto elevato di problemi.
• Se hanno sviluppato metodi sono stati sviluppati per
incorporare conoscenza conoscenza, con l'effetto di
aumentarne l'efficacia.
Per questi motivi, l'esplorazione delle alternative è in molti casi l'unico strumento da
utilizzare per risolvere i problemi.
Metodi di scansione o ricerca (a seconda della strategia di controllo):
a) Uninformed (cieco o disinformato).
b) Euristica.
All'interno di ciascuno di essi, si distinguono i metodi dello spazio di stato e della
Laurea in Ingegneria Sistemi intelligenti Anno accademico 2023-
 riduzione del problema.

Laurea in Ingegneria Sistemi intelligenti Anno accademico 2023-