La pianificazione automatica comprende molte direzioni di ricerca. Una d-cazione di attività, si occupa ad esempio di problemi quali la pianificazione di progetto, la gestione di risorse complesse (sistemi spaziali, strutture sanitarie, impianti manufatturieri), etc. Le tecniche di intelligenza artificiale si pongono l'obiettivo di manipolare in modo sofisticato una rappresentazione simbolica della soluzione. Perseguendo questo obiettivo si è arrivati a proporre dei sistemi interattivi con l'utente che rappresentano una importate evoluzione rispetto ai tradizionali sistemi di supporto alle decisioni. Per risolvere problemi di pianificazione di attività è correntemente utilizzata la pianificazione basata su vincoli. Questa metodologia determina una soluzione tramite un processo di imposizione incrementale di vincoli su una soluzione parziale incompleta. Il processo di risoluzione si appoggia su vari moduli di ragionamento specializzato. Uno dei moduli più rilevanti è il gestore di vincoli temporali in quanto, in tale pianificazione, è rilevante la rappresentazione esplicita del tempo (durata attività, vincoli di precedenza, etc.). Un tale modulo, di cui si occupa il presente articolo, deve fornire un servizio deduttivo corretto, completo e, possibilmente, efficiente. 11 modulo temporale descritto gestisce una particolare classe di vincoli temporali: i vincoli quantitativi tra variabili temporali [Dechter et al 91]. L'aspetto centrale del lavoro è la proposta di algoritmi dinamici per la gestione di tali vincoli. Gli algoritmi dinamici sfruttano efficientemente la soluzione parziale pre-esistente nel calcolare i nuovi parametri dopo una modifica anziché ricalcolare tutto da zero, di conseguenza si integrano bene con lo stile di pianificazione incrementale sopra citato.
Gestione dinamica di vincoli temporali quantitativi per problemi di pianificazione e sequenziamento
Cesta A;Oddi;
1997
Abstract
La pianificazione automatica comprende molte direzioni di ricerca. Una d-cazione di attività, si occupa ad esempio di problemi quali la pianificazione di progetto, la gestione di risorse complesse (sistemi spaziali, strutture sanitarie, impianti manufatturieri), etc. Le tecniche di intelligenza artificiale si pongono l'obiettivo di manipolare in modo sofisticato una rappresentazione simbolica della soluzione. Perseguendo questo obiettivo si è arrivati a proporre dei sistemi interattivi con l'utente che rappresentano una importate evoluzione rispetto ai tradizionali sistemi di supporto alle decisioni. Per risolvere problemi di pianificazione di attività è correntemente utilizzata la pianificazione basata su vincoli. Questa metodologia determina una soluzione tramite un processo di imposizione incrementale di vincoli su una soluzione parziale incompleta. Il processo di risoluzione si appoggia su vari moduli di ragionamento specializzato. Uno dei moduli più rilevanti è il gestore di vincoli temporali in quanto, in tale pianificazione, è rilevante la rappresentazione esplicita del tempo (durata attività, vincoli di precedenza, etc.). Un tale modulo, di cui si occupa il presente articolo, deve fornire un servizio deduttivo corretto, completo e, possibilmente, efficiente. 11 modulo temporale descritto gestisce una particolare classe di vincoli temporali: i vincoli quantitativi tra variabili temporali [Dechter et al 91]. L'aspetto centrale del lavoro è la proposta di algoritmi dinamici per la gestione di tali vincoli. Gli algoritmi dinamici sfruttano efficientemente la soluzione parziale pre-esistente nel calcolare i nuovi parametri dopo una modifica anziché ricalcolare tutto da zero, di conseguenza si integrano bene con lo stile di pianificazione incrementale sopra citato.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
