1. Programma di Ricerca di tipo: interuniversitario

Ci si propone inoltre di affrontare lo studio di modelli computazionali innovativi basati su tecnologia neurale per lo sviluppo e la realizzazione di software ad alto livello di efficienza. A tale scopo verranno analizzate diverse topologie di rete ed i relativi algoritmi di apprendimento e si svilupperanno tecniche che guidino alla scelta delle soluzioni piu efficienti ed adeguate
alla soluzione dei problemi di interesse.

8.2 Inoltre si vogliono sviluppare tecniche per la derivazione di software corretto ed efficiente a partire da specifiche formali sia nell'ambito della programmazione funzionale che in quello
della programmazione logica. Alcune di queste tecniche sono utilizzabili per la sintesi dei programmi e possono anche essere utilizzate per costruire strumenti automatici per lo sviluppo del software.

8.3 Per quanto attiene ai modelli computazionali innovativi basati su tecnologia neurale ci si propone di definire le tecniche che guidino nella scelta delle soluzioni piu efficienti per la realizzazione di software.
 

L'approccio alla specifica e alla verifica di programmi basato sulla teoria degli automi e' ampiamente consolidato (vedi, ad esempio, R.P Kurshan, Formal Verification of coordinating processes: The Automata-Theoretic Approach,1996). Uno degli metodi piu' studiati per affrontare con successo il problema dell'esplosione dello spazio degli stati si basa sulla teoria delle tracce di Mazurkiewicz. Si tratta di introdurre un'opportuna relazione di indipendenza sulle azioni e poi considerare per la verifica quei comportamenti originati dall'esecuzione di una sola delle azioni indipendenti. Su questa strada P. Godefroid, in Partial-Order Methods for the verification of Concurrent Systems, LNCS n.1032,1996, ottiene un metodo che da' un buon compromesso tra sforzo computazionale necessario per la ottenere la riduzione e la riduzione stessa. Ma la costruzione dello spazio ridotto dipende dalla proprieta' che
si vuole dimostrare.

Per quanto riguarda la trasformazione e la sintesi dei programmi la metodologia proposta puo' essere applicata con successo a vari paradigmi di programmazione, e in particolare, ai programmi funzionali e logici come mostrato da R. M. Burstall and J. Darlington, in: A Transformation System for Developing Recursive Programs", JACM, Vol. 24, 1, 44-67, 1997, e da H. Tamaki and T. Sato, in: Unfold/Fold Transformation of Logic Programs, Proceedings of the Second International Conference on Logic Programming, Uppsala, Sweden Uppsala University,127-138, 1984.

Nell'ambito della realizzazione di software di tipo neurale ci si basera' sulle caratteristiche dei principali modelli di reti neurali, Reti di Hopfield, Perceptron, Reti Multilayer, Macchina di Boltzmann, Self-Organizing Map, degli algoritmi di apprendimento, Rumelhart-Zipser,Grossberg, e dei criteri di valutazione delle prestazioni dei sistemi realizzati.

1. Pettorossi, A. and Proietti, M.: "Transformation of Logic Programs: Foundations and  Techniques", Journal of Logic Programming, Vol. 19-20, 1994, 261-320.

2. Proietti, M. and Pettorossi, A.: "Unfolding-Definition-Folding, in this order, for Avoiding Unnecessary Variables in Logic Programs", Theoretical Computer Science 142
    (1) 1995, 89-124.

3. Pettorossi, A. and Proietti, M.: "Rules and Strategies for Transforming Functional and Logic Programs", ACM Computing Surveys, Vol. 28, No. 2, June 1996, 36-414.

4. Pettorossi, A. and Proietti, M.: "A Comparative Revisitation of Some Program Transformation Strategies", Invited paper. In: O. Danvy, R. Glueck, and T. Thiemann
    (eds.), Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 1996, Lecture Notes in Computer Science 1110, Springer, 1996, 355-385.

5. Pettorossi, A., Proietti, M., and Renault, S.: "Reducing Nondeterminism while Specializing Logic Programs", In: Proceedings of the 24th ACM Symposium on Principles
    of Programming Languages (POPL '97), La Sorbonne, Paris, France, 1997, ACM Press, 1997, 414-427.

6. Pettorossi, A. and Proietti, M.: "Program Derivation via List Introduction", In: R. Bird and L.G.L.T. Meertens (eds.) Proceedings of the IFIP TC2 Working Conference on
    Algorithmic Languages and Calculi, Le Bischenberg, France, February 17-21, 1997, Chapman & Hall, 1997, 296-323.

7. Pettorossi, A. and Proietti, M.: "Transformation of Logic Programs", in: D. M. Gabbay, C. J. Hogger, and J. A. Robinson (eds.), Handbook of Logic in Artificial
    Intelligence and Logic Programming, Vol. 5, Logic Programming, Oxford University Press, 1998, 697-787.

13.1 Personale universitario dell'Università sede dell'Unità di Ricerca

QUADRO RD

QUADRO RA

15.2 Altro (origine e importi dettagliati)

16.1 Disponibili ed utilizzabili per la ricerca proposta
(tutte le cifre sono espresse in milioni)

Quota necessaria per l'adeguamento:

1. Descrizione:

 

Valore presunto (milioni):

 

2. Descrizione:

 

Valore presunto (milioni):

 

3. Descrizione:

 

Valore presunto (milioni):

 

(per la copia da depositare presso l'Ateneo e per l'assenso alla divulgazione via Internet delle informazioni riguardanti i programmi finanziati; legge del 31.12.96 n° 675 sulla "Tutela dei dati personali")
 
 

Firma ____________________________________

Data 29/7/97