Problema decisionale
Un problema decisionale nell'ambito della matematica riguarda un problema di scelta in cui si deve prendere una decisione tra un elevato numero di soluzioni (ammissibili) alternative, sulla base di uno o piu criteri. Si parla di problemi decisionali soprattutto all'interno del campo della matematica applicata e, piu nello specifico, della ricerca operativa.
La versione in Inglese di questa voce definisce un problema decisionale come un problema, appartenente alla teoria della computabilita ed alla teoria della complessita computazionale, che puo essere posto sotto forma di una domanda riguardante i dati in ingresso a cui possa essere data una risposta nella forma "si" oppure "no". Un esempio di problema decisionale e, dato un numero naturale, stabilire se si tratta di un numero primo.
Caratteristiche
[modifica | modifica wikitesto]I problemi decisionali sono caratterizzati da:
- Numero dei decisori: chi decide la soluzione al problema.
- Numero degli obiettivi: in base a quali criteri e decisa la soluzione del problema.
- Grado di incertezza dei dati: con quali (quantitativamente e qualitativamente) informazioni si decide la soluzione del problema.
Sulla base di queste caratteristiche diverse sono le scienze e le tecniche che si prefiggono di studiare e risolvere il problema:
- Programmazione matematica: un decisore, un obiettivo.
- Programmazione multi-obiettivo: piu obiettivi.
- Teoria dei giochi: piu decisori.
- Programmazione stocastica: grado di incertezza dei dati maggiore di zero.
Esempi
[modifica | modifica wikitesto]Classici esempi di problemi decisionali sono:
- Assegnamento e distribuzione di risorse limitate;
- Progettazione di reti;
- Ricerca di cammini minimi.
Formalizzazione di un problema decisionale
[modifica | modifica wikitesto]Un problema di decisione e definito dalla sua forma canonica, ossia la quadrupla dove indica lo spazio degli stati di natura, lo spazio delle decisioni, la funzione di perdita e un criterio di ottimalita. In particolare, se si adotta un'impostazione bayesiana della teoria della decisione, e sostituito dal corrispondente spazio di probabilita.
Una volta posto in forma canonica, allora tale problema e risolvibile come un problema di ottimizzazione: va cercato .
Normalmente, si dota di un preordinamento ponendo che se per ogni . Si dice in tal caso che e debolmente preferibile rispetto a , o che la domina debolmente. Notare che l'uso di un preordinamento anziche di un vero e proprio ordinamento e giustificato dal fatto che possono esistere decisioni distinte con funzioni di perdita coincidenti.
Di solito si affianca a questa un'altra relazione, ossia , dove se ; si dice allora che e strettamente preferibile a o che lo domina strettamente. Tale definizione implica che la due funzioni di perdita e devono differire per almeno un punto ; una definizione alternativa e che domina strettamente se vale che ma non che . E importante notare che questa relazione, non essendoci riflessivita, non e un preordinamento.
Alcuni problemi decisionali possono essere definiti con una forma canonica leggermente diversa, , qualora lo spazio degli stati di natura dipenda dalla decisione scelta.
Analisi preottimale
[modifica | modifica wikitesto]L'analisi preottimale consiste nell'effettuare elaborazioni teoriche su un problema di decisione senza ricorrere a un criterio di ottimalita, sfruttando le proprieta delle relazioni di preferibilita.
Classe completa di decisioni
[modifica | modifica wikitesto]Un primo obiettivo dell'analisi preottimale e restringere lo spazio delle decisioni in modo che possa esserne scelta una piu facilmente.
In particolare, si dice che una classe di decisioni e completa se per ogni decisione al di fuori della classe esiste nella classe un'altra decisione strettamente preferibile a . Se vale solo la preferibilita debole, allora si dice che la classe e essenzialmente completa.
Dunque, esaminando un problema decisionale, ci si puo restringere a una classe completa di decisioni, dato che al di fuori di essa non c'e una decisione preferibile a un'altra al suo interno; in altre parole, le decisioni al di fuori di una classe completa non possono essere preferibili a tutte quelle all'interno della classe e dunque, in un'ottica di massimizzazione della preferibilita, non ha senso sceglierle.
Si indica normalmente con l'insieme di tutte le possibili classi complete per un problema; tale classe, essendo banalmente completa, non puo mai essere vuota.
Una classe completa che non contenga in se sottoclassi a loro volta complete e detta minimale. Essa fornisce la massima semplificazione possibile del problema di decisione.
Decisione ammissibile
[modifica | modifica wikitesto]Una decisione e ammissibile se non esistono altre decisioni che le sono preferibili, e la classe delle decisioni ammissibili e denotata con . E ovvio che una decisione ammissibile non dovrebbe essere scartata in un'analisi preottimale, ma va notato che la classe delle decisioni ammissibili non e sempre completa.
Tuttavia, e possibile dimostrare che la classe delle decisioni ammissibili corrisponde all'intersezione di tutte le classi complete. Inoltre, se questa e completa, e anche minimale; e se esiste una classe completa minimale nel problema decisionale, questa coincide con la classe delle decisioni ammissibili.
Bibliografia
[modifica | modifica wikitesto]- Piccinato, Ludovico. Teoria delle decisioni statistiche. Springer, 2009.
Voci correlate
[modifica | modifica wikitesto]Collegamenti esterni
[modifica | modifica wikitesto]- decisione, problema della, in Dizionario di filosofia, Istituto dell'Enciclopedia Italiana, 2009.
- (EN) decision problem, su Enciclopedia Britannica, Encyclopaedia Britannica, Inc.
- (EN) Eric W. Weisstein, Decision Problem, su MathWorld, Wolfram Research.
| Controllo di autorita | NDL (EN, JA) 00565667 |
|---|