|
Antonio Gisolfi
DATI PERSONALI
Luogo e data di nascita: Vietri sul Mare (SA)
28 marzo 1945
Residenza: Piazza Matteo Luciani n.11
84121 Salerno
tel. 089/251453
Luogo di lavoro: Università degli Studi di Salerno
Dipartimento di Matematica e Informatica
Via Ponte don Melillo, 84084 Fisciano (SA)
tel.089/963378-Tfax 089/963303 Cell: 3397671337
E.mail gisolfi@unisa.it
STUDI E TITOLI
1971: Diploma di laurea in Matematica
Università di Napoli
1977: Diploma di perfezionamento in
Scienze Fisiche e Cibernetiche
Università di Salerno
ESPERIENZE LAVORATIVE:
-1971/73 Ricercatore presso l'Università di Piura (Perù)
-1975/77 Borsista presso l'Istituto di Scienze
dell'Informazione dell' Università di Salerno
-1978/82 Professore Incaricato presso l'Istituto di Scienze
dell'Informazione dell' Università di Salerno
-1982/98 Professore Associato presso il Dipartimento
di Informatica e Applicazioni dell'Università di Salerno
-1998 al 2000i Professore Associato presso il Dipartimento
di Matematica e Informatica dell'Università di Salerno
- 2000 Professore Ordinario presso il Dipartimento di
Matematica e Informatica dell’Università di Salerno
PRINCIPALI ESPERIENZE INTERNAZIONALI E VISITE DI
STUDIO:
-1971/73 Perù: Università di Piura
Università San Marcos di Lima.
-dal 1989 visite di studio presso
la Universitat Politecnica de Catalunya di Barcellona.
-1989 Soggiorno di studio presso l'Università Parigi VI.
-1992 Professore invitato presso l'Università di Veracruz
-1992 Professore invitato presso l'Università di La Paz
- 1998 Soggiorno di studio presso l’Università de l’Habana
(Cuba)
COMITATI DI PROGRAMMA1, ORGANIZZATORE DI
CONFERENZE2 E CHAIRMAN3:
-1982 IEEE Conf. Int. on Medical Imaging. Berlino (3)
-1985 Convegno Nazionale su Elaborazione di Segnali ed
Immagini in Medicina. Salerno (1,2,3)
-1989 1st European Symposium on Applied Informatics.
Londra (1)
-1990 Int. Conf. A.I. Applic. and Neural Networks.
Svizzera (1)
-1990 7th Int. Conf. Tech. Educ. Bruxelles (3)
-1990 2nd European Symposium on Applied Informatics
Salerno (1,2,3)
-1990 Conv. Naz. Informatica e Didattica. Salerno (1,2,3)
-1991 Conv. Europeo Nuove Frontiere dell'Insegnamento.
Salerno (1,2,3)
-1992-1994-1996 Didamatica 92 (1)
-1994 Convegno Sistemi Tutoriali Intelligenti. Centro
Universitario Europeo per i Beni Culturali. Ravello
(1,2,3)
-1995 Convegno Sistemi Tutoriali Intelligenti e Sistemi
Fuzzy. Centro Universitario Europeo per i Beni Culturali
Ravello. (1,2,3)
-1995 Fifth Italian Conference on Theoretical Computer
Science. Ravello. (2,3).
-1996 Convegno Sistemi Tutoriali Intelligenti e Sistemi
Fuzzy. Centro Universitario Europeo per i Beni Culturali
Ravello. (1,2,3)
-1996 Scuola di Logiche polivalenti ed applicazioni. Centro
Universitario Europeo per i Beni Culturali-Università di
Salerno (1,2,3)
-1997 Scuola di Soft Computing. Centro Universitario
Europeo per i Beni Culturali-Università di Salerno (1,2,3)
-1997 Convegno Sistemi Tutoriali Intelligenti e Sistemi
Fuzzy. Centro Universitario Europeo per i Beni Culturali
Ravello. (1,2,3)
ATTIVITA' DIDATTICA:
Corsi tenuti presso la Facoltà di Scienze dell'Università
di Salerno.:
-Intelligenza Artificiale: Sistemi Adattivi
-Intelligenza Artificiale: Metodi e tecniche
-Calcolo delle Probabilità e Statistica
-Algebra
-Progetto di Sistemi Numerici
-Sistemi II
-Sistemi Operativi
-Logica Matematica
E' stato relatore di circa 250 tesi di laurea di cui circa 50 sono da inquadrarsi come tesi di ricerca.
PRINCIPALI COMPITI ORGANIZZATIVI:
-Presidente Commissione Laurea (5 anni)
-Sviluppo di un laboratorio per l'elaborazione di
immagini
-Giunta di Dipartimento (6 anni)
-Responsabile Scientifico dei Laboratori del
Dipartimento di Informatica (6 anni)
-Commissione di Ateneo (2 anni)
-Responsabile 40% e 60%
-Componente Commissione Concorso Associati
-Responsabile di un laboratorio di ricerca Multimediale.
-Componente del Consiglio di Amministrazione dell'Uni-
versità di Salerno (due mandati)
-Consiglio Scientifico del Centro Universitario Europeo
per i Beni Culturali di Ravello.
Ha curato, quale Guest Editor, due Special Issue per le Riviste: “International Journal of Information Sciences” e “International Journal of Approximate Reasoning” e alcuni volumi di Proceeding di Congressi.
E’ “associate editor” della rivista “Computacion y Sistemas” del Instituto Politecnico Nacional (Mexico City)
Ha svolto attività di revisione per molte riviste e convegni internazionali e nazionali.
Responsabile scientifico dell’unità Università di Salerno del progetto europeo VIM: A Virtual Multicomputer for Symbolic Application, programma HCM, Gennaio 1993, Dicembre 1997. Scopo del progetto è la ricerca in tre areee: sistemi paralleli e distribuiti, compilazione per esecuzione parallela e intelligenza artificiale.
Presso il Centro Universitario Europeo per i Beni Culturali, di cui è membro eletto del Comitato Scientifico europeo, ha sviluppato una intensa attività seminariale e progettuale europea mantenendo un costante rapporto tra tale Centro e l’Ateneo.
Responsabile scientico del Progetto “Nuove Metodologie per la conoscenza del patrimonio culturale europeo” Azione CONNECT.
Laboratorio di Sistemi Intelligenti.
Ha fondato ed è il responsabile di un laboratorio di “Sistemi Intelligenti” presso il Dipartimento di Matematica ed Informatica. Il laboratorio è centro di attività di continue verifiche, implementazioni e calibrazione di nuove tecniche e metodologie in ambito multimediale. La ricerca che viene svolta in tale laboratorio è in particolar modo rivolta allo studio delle concrete possibilità che le più recenti tecnologie sia hardware che software offrono in ambito multimediale; sono di fatto implementate tecniche su reti di database multimediali. Vengono altresì testate ed implementate tecniche di analisi vocale ed image processing in ambito di rete, tecniche di compressione dati e navigazione ipermediale con relativo intervento tutoriale laddove necessario. Obiettivo primario di tali ricerche è quello di erogare servizi di training ed autoformazione sia presso il Dipartimento medesimo per i laboratori didattici sia su di una vasta area (mediante network) con corsi di aggiornamento e formazione multimediale.
Il laboratorio supporta numerose attività di tesi di laurea nel settore. Non mancano collaborazioni esterne sulla verifica formale sia dell’hardware che del software.
Tale laboratorio ha inoltre organizzato nimerosi seminari scientifici sia nell’ambito della multimedialità sia in quello dell’Intelligenza Artificiale e del Soft Computing.
Inoltre ha ospitato numerose scuole per brevi corsi ed attività seminariali.
Software applicativo sviluppato presso il Laboratorio.
Vengono di seguito brevemente descritti alcuni sistemi applicativi sviluppati nel quadro dell'attività di ricerca sui sistemi multimediali intelligenti. Ulteriori informazioni possono essere reperite nelle pubblicazioni relative a ciascun sistema.
Va osservato che questo software è stato costruito per controllare la validità dell'impostazione scientifica adottata. Pertanto i sistemi sono a livello di prototipo e solo per alcuni è stata adottata una sperimentazione più estesa.
-APOLLO: un sistema multimediale intelligente per la visita del Museo Archeologico Provinciale di Salerno
Questo sistema è il più impegnativo realizzato sinora dal gruppo di ricerca e utilizza le tecniche più sofisticate per guidare l'utente in modo ottimale. La prima versione del sistema è attualmente in corso di installazione presso il Museo [L1]
- MULTICOIN: un sistema intelligente per la classificazione di monete antiche
Questo multimediale per la classificazione di monete in ambito archeologico è stato sviluppato per fornire all'archeologo la possibilità di essere guidato nella classificazione delle monete basandosi su un catalogo preesistente o creando una nuova catalogazione [RI9].
- POTCLAS: un sistema intelligente per classificare i reperti ceramici
Questo sistema utilizza la logica fuzzy per ottenere la classificazione dei reperti ceramici trovati durante gli scavi archeologici [RI13]
- CALLIOPE: un sistema multimediale per la storia della musica
Questo sistema presenta alcuni dei compositori più significativi della storia della musica ed è stato sviluppato utilizzando il linguaggio Toolbook [L1]
-SCUOLA MEDICA SALERNITANA: un sistema multimediale sulla Scuola Medica Salernitana.
Il Sistema, scritto in Java, presenta significative soluzioni in termini di adattività, sarà subito dopo l’ingegnerizzazione disponibile nel Museo della Scuola Medica Salernitana.
-SALERNO NEI SECOLI: una storia di Salerno dalle origini ai nostri giorni.
Il sistema ha permesso di verificare tecniche di realtà virtuale, prevede 18 periodo, momentaneamente sono stati sviluppati 5 periodi. Ambiente Java.
-LO SCIAMANESIMO: Storia dello Scamanesimo.
Il sistema ha permesso di realizzare percorsi cognitivi interessanti, scritto in Java.
-Un'interfaccia in linguaggio pseudo-naturale per un sistema tutoriale intelligente
Questo modulo software consente di interfacciare un sistema tutoriale utilizzando un linguaggio molto vicino a quello naturale [RI15]
-Costruzione del modello studente per POSITS, un sistema per la fattorizzazione delle espressioni algebriche
Questo modulo software consente di modellizzare il comportamento dello studente in modo da adattare la strategia tutoriale alle sue specifiche esigenze [RI21]
- Un tutor per il Pascal in Prolog
Questo sistema è stato sviluppato per favorire l'apprendimento del linguaggio Pascal. Del sistema è in corso di sviluppo una versione in Toolbook [RI25, RI30]
-POETI: un sistema multimediale per i poeti italiani del '900
Questo sistema include unità ipermediali relative ai poeti italiani del Novecento [CN4]. I poeti sono inquadrati nello scenario delle situazioni storiche e culturali e di ognuno è possibile acquisire informazioni testuali, visive e sonore, inserite in una rete ipermediale.
-OPLONTIS: visita di una villa romana
Il sistema realizza una visita guidata all'interno di uno dei più importanti lasciti della civiltà romana, Oplontis. Il sistema include sia video che ricostruzioni in realtà virtuale e si prevede la sua messa in rete Internet.
-Salerno nei secoli: un sistema multimediale per l'analisi della città
Questo sistema compie un'analisi della storia di Salerno a partire dal VI sec. a.C. fino ai nostri giorni [L1]
-LOGOOP: un sistema per l'apprendimento del linguaggio LOGO
Questo sistema utilizza un linguaggio caratteristico della programmazione ad oggetti per l'apprendimento del linguaggio LOGO [RI26, ]
-LOGOWORLD: un ambiente di apprendimento per il linguaggio LOGO
Questo micromondo, realizzato in LOGO, si rivolge agli alunni delle elementari per favorire l'apprendimento di concetti matematici di base [RI28]
-Un sistema intelligente per l'apprendimento della grammatica italiana
Questo sistema è rivolto ai docenti delle scuole medie inferiori e favorisce l'apprendimento di concetti di base della nostra grammatica [CN10,CN12]
- SHOOP: uno shell di ITS sviluppato usando il paradigma OOP
Questo sistema è uno shell di ITS, consente cioè di operare, in modo schematico, su diversi domini di conoscenza [CI15, CI16]
Sono inoltre in corso di realizzazione due impegnativi progetti per lo sviluppo di software applicativo, che verranno estesamente sperimentati nelle scuole della nostra provincia:
-Un sistema multimediale per l'insegnamento della fisica nelle scuole secondarie
Questo sistema, in via di realizzazione con la collaborazione di docenti delle scuole secondarie, è rivolto ai docenti e agli studenti delle scuole superiori.
-Un sistema multimediale per la storia della matematica
Questo sistema, in via di realizzazione con la collaborazione con esperti e docenti delle scuole secondarie, è rivolto ai docenti e agli studenti delle scuole medie inferiori e superiori. Contiene metodologie adattive a vari livelli di complessità.
Linee di ricerca e risultati scientifici
Conoscenza e ragionamento approssimato
Il concetto di variabile linguistica, dovuta a Zadeh, cattura i concetti vaghi che la teoria dei fuzzy sets intende formalizzare. In breve ogni elemento di una variabile linguistica è un fuzzy set.
In particolare il trattamento della variabile linguistica Truth diventa essenziale in tutte le applicazioni dell'Intelligenza Artificiale connesse con i modelli di rappresentazione della conoscenza ed i metodi del ragionamento approssimato.
Proprio sul tema della rappresentazione dei valori di una variabile linguistica è stato proposto un nuovo modello di variabile linguistica e sono stati raggiunti dei primi risultati finalizzati ad arricchire di senso una variabile linguistica in termini di verità, precisione e collocazione soggettiva nell'universo del discorso.
In un primo articolo [RI10] è stato costruito un modello di rappresentazione di una varabile linguistica, e quindi di un modificatore, basato su tre parametri (tendenza centrale, valore di verità, livello di precisione) ed identificato mediante un numero intero. In questa rappresentazione, diversamente dall'approccio di Zadeh, i valori numerici sono compatibili con la relazione d'ordine indotta dal significato con cui i valori di una variabile linguistica vengono usati nel linguaggio naturale. Sui valori della variabile linguistica Truth è stato definito un calcolo proposizionale.
In un secondo articolo [RI7] il modello è stato ulteriormente investigato utilizzando la sua principale caratteristica, in base alla quale il valore di verità di ciascun termine è proporzionale ad un'area che rappresenta la quantità di informazione associata al termine stesso. Tre sono i risultati principali: il primo mostra che bastano solo quattro stringhe fondamentali per rappresentare ogni valore della variabile linguistica Truth; il secondo mostra che il modello soddisfa gli assiomi della Hedge Algebra dovuta a Cat-Ho e Wechler; il terzo mostra che in [0, 1] il modello è una MV-Algebra.
- Ragionamento approssimato fuzzy
A questa linea di ricerca si ricollega la definizione e lo studio di fattibilità di un sistema esperto fuzzy, che utilizza la CRI di Zadeh-Yager [RI13] e realizza inferenze su una base di conoscenza che descrive reperti ceramici di scavi medievali. L'approccio fuzzy è particolarmente utile nell'attività di classificazione di tali reperti in quanto essa è necessariamente caratterizzata da valutazioni vaghe e imprecise.
La nozione di media estesa tra numeri triangolari fuzzy e le operazioni definite nella MV-algebra di Lukasiewicz sono stati gli strumenti teorici con cui è stato e viene affrontato il tema del ragionamento approssimato dovuto a Zadeh. A questo è correlata la ricerca del nuovo modello per una variabile linguistica sopra detto.
In un primo approccio i risultati maggiori attengono ad una teoria formale dell'equivalenza logica fuzzy che ha consentito una trattazione originale del problema di Zadeh e la proposta di una nuova regola di inferenza basata su un operatore di media estesa definita su numeri fuzzy [RI4]. I punti di riferimento sono state le analisi critiche fatte in tempi diverse da Mizumoto, Zimmermann ed altri, e i risultati negativi di Hellendoorn sul Generalized Modus Ponens (MPG) di Zadeh. La regola di deduzione proposta soddisfa le condizioni note come FHMZZ constraints (vincoli di Fukami-Hellendoorn-Mitsumoto-Zimmermann-Zimmermann) ed è stata ottenuta nell'ambito di una teoria che formalizza la nozione di label compatibility tra due proposizioni fuzzy e adotta come assiomi alcuni risultati di Bellman-Zadeh.
Nel secondo approccio [RI1] l'MV-algebra fondamentale di Lukasiewicz è stata utilizzata per proporre un nuovo concetto di valutazione, l'hedge valuation, che associa, in particolare, ad una implicazione un modificatore linguistico. Tale valutazione permette di realizzare un originale calcolo algebrico sui modificatori linguistici quali molto, poco, abbastanza. Il calcolo soddisfa gli assiomi di una MV-algebra.
La regola di inferenza fondamentale nella logica classica è senz'altro il modus ponens (MP). Il Generalized Modus Ponens (GMP) è una regola di inferenza che estende il MP al ragionamento approssimato fuzzy.
Il problema di calcolare ed interpretare il fuzzy set ottenuto mediante il GMP è un campo di ricerca a tutt'oggi aperto e ricco di suggestioni. Le ricadute applicative di tale ricerca riguardano il controllo fuzzy, i sistemi esperti e tutti i sistemi di dialogo che usano il linguaggio naturale nella realizzazione di interfacce utente.
Nell'articolo in parola viene preso in considerazione il seguente schema:
Rule: If X is bB then Y is cC
Fact: X is aB _______
Conclusion: Y is dC
dove a, b, c e d denotano modificatori linguistici, as more or less, not, very, mentre B e C sono fuzzy sets.
E viene introdotto un metodo per il calcolo del modificatore d, che prende spunto da alcuni lavori di Zadeh e poi tiene conto della revisione fatta e della condizioni ("FHMZZ" conditions") imposte al fuzzy set presente nella conclusione.
Tale metodo utilizza un insieme linearmente ordinato di modificatori linguistici che sono posti in corrispondenaz biunivoca con un insieme di indici. Su tali insieme è costruita una originale MV-algebra.
La regola di inferenza ottenuta - mA ---> nB, pA ï- hB, dove m, n, p ed h, sono modificatori linguistici - usa le operazioni di Lukasiewicz ma rispetta le condizioni FHMZZ.
Il risultato interessante di tale lavoro consiste nel fatto che esso apre una sorta di canale di comunicazione tra il campo del ragionamento approssimato e la "narrow" logica fuzzy, attualmente completamente separati.
Ulteriori sviluppi potranno permettere di
- estendere tali risultati alla situazione più generale (mA ---> nB, a), (pA, b) ï- (hB, c), dove a, b e c sono valori della variabile linguistica Verità e m, n, p, h sono modificatori linguistici.
- trattare con lo stesso formalismo altre regole fuzzy (Modus Tollendo Tollens, etc);
- estendere tale formalismo al ragionamente approssimato che utilizza il concetto di grado di ottimismo, recentemente introdotto in letteratura;
- sperimentare e validare tali risultati in applicazioni importanti, quali i sistemi esperti fuzzy o le interfacce di comunicazione in linguaggio naturale.
- Sistemi deduttivi fuzzy
E' stato presentato per la pubblicazione un articolo che estende alla logica proposizionale fuzzy, al particolare segmento noto come min-Max fuzzy logic, il metodo dei tableaux di Beth-Smullyan. I tableaux costruiti soddisfano il teorema di terminazione e il lemma di Konig, quindi assicurano la finitezza di una dimostrazione.
Di tale sistema deduttivo sono state dimostrate le proprietà di correttezza e completezza e quella di decidibilità. In particolare è stato fatto vedere che l'operatore di conseguenza logica non è compatto ed è stato presentato un confronto esauriente con i tableaux classici.
Tali sistemi sono facilmente implementabili e permettono di realizzare sistemi di ragionamento approssimato nelle applicazioni già proprie della logica classica [theorem prover, sistemi esperti, etc].
Sulla strada di tale risultato l'obiettivo ulteriore è di estendere ad altre logiche fuzzy tali risultati.
- Apprendimento e valutazione formativa
La rappresentazioni degli stati cognitivi di uno studente ha permesso di formalizzare il concetto di traiettoria cognitiva di uno studente nel processo di apprendimento [RI5]. Tale traiettoria è un insieme di pattern qualitativi che vengono elaborati all’interno di un sistema classificatore basato su un’algebra fuzzy.
La valutazione fuzzy dell'utente di un sistema tutoriale intelligente è un modello della struttura algebrica che permette di valutare mediante espressioni linguistiche sia prove strutturate sia prove non strutturate. Non è superfluo far notare che né il metodo classico né altri metodi fuzzy sono adatti per valutazioni linguistiche di prove non strutturate. La tassonomia di Bloom, sia quella dell'area cognitiva che dell'area affettiva, trova una semplice rappresentazione in [RI2] in cui si evidenziano i vantaggi di completezza ed efficienza della nostra proposta rispetto ad altri metodi presentati in letteratura. [RI18, CN6]
- Ipermedia adattivi intelligenti
I fondamenti della progettazione di un ipertesto e quindi di un ipermedia, la ricerca di soluzioni innovative nell'architettura di un ipermedia, lo sviluppo del concetto di scrittura ipermediale, il rapporto tra libro ed ipermedia nella prospettiva dei cambiamenti che si osservano nel campo della comunicazione, la formalizzazione e validazione di modelli utenti fuzzy, utili per ridurre gli effetti psicologici negativi della navigazione in sistemi ipermediali, sono gli elementi del terzo segmento di ricerca.
Un primo modello di formalizzazione delle interazioni utente-sistema ipermediale è stato già realizzato [RI5].
Più in generale alcune delle soluzioni prospettate convergono verso un'estensione del concetto di ambiente ipermediale, non più e non solo una rappresentazione decostruita di un mondo di conoscenze ma uno strumento per la nascita, in ambito formativo, lo sviluppo e la coltivazione dello spirito della ricerca e la valorizzazione della diversità di approccio ad un area del sapere. Ipertesti puri o gerarchicamente strutturati, localmente o globalmente, possono essere utilizzati per incrementare e non per indebolire il rapporto con il reale. Ma possono essere selettivamente usati per realizzare o per validare apprendimenti, nel primo caso approntando opportuni spazi ipermediali, nel secondo caso proponendo al soggetto la produzione di codice letterario ipertestuale o ipermediale. [RI2, V1]
L'adattività, la restrizione dello spazio ipermediale ai nodi visitati per una ulteriore navigazione più approfondita, interfacce che rendono disponibili e componibili più nodi, sottospazi di sperimentazione e di analisi della conoscenza esplorata, estrazione in forma di documento elettronico lineare o di "libro" della personale navigazione realizzata, sono alcune delle soluzioni presenti nei sistemi ipermediali realizzati. Tra gli altri, citiamo quelli sulla storia della matematica dal periodo pre-greco al 1800, sulla poesia del Novecento, sulle classi sociali nel Medioevo, sulla Scuola Medica Salernitana, sui curricula di fisica nella Scuola Secondaria Superiore, sul Museo Etrusco di Pontecagnano. Capostipite di tutta la ricerca è stato il sistema Apollo. [CN3, CN7, L1]
Sul tema dell'adattività è stato costruito un modello utente adattivo fuzzy, che adatta all'utente reale di un sistema ipermediale la presentazione della conoscenza ipermediale tenendo conto della navigazione fatta e del contesto corrente, mediante una funzione di similarity [CN3, CN4, CN7, CN8, CN9, CN11,CI5, RI9]
Soft computing e Intelligenza Artificiale
Introdotta da Zadeh nel 1965, la teoria dei fuzzy sets ha avuto negli ultimi anni un notevole sviluppo sia dal punto di vista teorico che applicativo. In particolare è oggi in atto un notevole sforzo per sviluppare metodologie fuzzy che possano fornire una risposta soddisfacente a un'ampia varietà di problemi.
La ricerca prende spunto da una struttura algebrica fuzzy originale costruita su stringhe. Tali stringhe sono costituite da sottoinsiemi dell'universo del discorso in cui si riuniscono gli elementi che hanno un valore di appartenenza ad un insieme fuzzy similari tra loro. A questi elementi con misura similare viene attribuita una etichetta linguistica comune che viene rappresentata da un numero fuzzy. Queste etichette possono essere ordinate tra loro inducendo quindi un ordinamento tra i sottoinsiemi che vanno così a formare la stringa. Le stringhe così ottenute rappresentano una normalizzazione delle informazioni contenute nell'insieme fuzzy che possono essere confrontate tra loro [RI20]
Nei lavori [CI7, CI12] si mostra come i cammini di tale struttura fuzzy proposta e dei sistemi fuzzy sono interconnessi. Infatti, partendo dagli elementi base della struttura e dalle operazioni su di essi definite la fuzziness viene inserita in tale contesto e sono esaminate tutte le sue proprietà. L'attenzione viene focalizzata sulla teoria del ragionamento approssimato e viene mostrato che, in alcuni casi, tale struttura può rappresentare un'alternativa alla teoria del ragionamento approssimato. E' utile porre in risalto che la differenza di base tra tale struttura e la logica fuzzy risiede nell'inerente parallelismo della struttura. Questa circostanza consente confronti diretti fra gli elementi ed inoltre si ha una notevole compressione dei dati.
Nel lavoro [CI10] viene descritto come la struttura può essere implementata in Prolog ed il tutto viene esemplificato considerando il caso delle diagnosi mediche. In tal modo una soluzione viene trovata per la modellizzazione dell'incertezza in un ambiente di Sistema Esperto. Va però osservato che l'utilità del prototipo è ristretta a problemi in cui oggetti fuzzy derivano da altri oggetti fuzzy, in tali situazioni è disponibile conoscenza "a priori" sul fatto che connettendo alcune proprietà si giunge ad altre proprietà ed il prototipo risulta utile per modellare l'incertezza.
Successivamente, in [CI11, CI17] è stata descritta una metodologia fuzzy che può essere utilizzata per costruire un sistema esperto, in particolare per l'analisi chimica e fisica di piantagioni e per problemi di classificazione di reperti ceramici medioevali. In tali lavori particolare attenzione viene posta alla gestione delle variabili linguistiche.
In [RI16] le operazioni descritte in [RI20] vengno opportunamente estese al fine di far fronte a problemi di classificazione. Gli aspetti teorici sono messi in risalto al fine di fornire un background adeguato alle possibili applicazioni. La struttura viene quindi implementata in Prolog ed in Lisp ed il sistema risultante rappresenta uno strumento inferenziale il cui naturale dominio di applicazioni sono i problemi di classificazione aventi caratteristiche diffuse (per esempio, forma, colore) ed esempi di tali oggetti sono il plancton, le spugne, i reperti archeologici.
Un lavoro successivo [RI17] propone una approssimazione algebrica al problema di generare classificazioni allorchè le caratteristiche degli elementi sono definite tramite attributi i cui valori sono etichette linguistiche. Le classificazioni vengono generate mediante operazioni tra stringhe ordinate indotte dagli attributi fuzzy. Inoltre una misura euristica, basata sul concetto di varianza statistica è utilizzata per valutare la rilevanza potenziale di ciascun attributo rispetto alle classificazioni generate.
Con una leggera modifica tale euristica può essere utilizzata per valutare la rilevanza potenziale di insiemi di attributi. Inoltre si possono ottenere alberi di decisione mediante la selezione dell'attributo che ha la massima rilevanza potenziale e in tal modo gli attributi "nought" e "don't care" possono essere eliminati.
Nel lavoro [RI8] la struttura fuzzy viene ulteriormente formalizzata attraverso la dimostrazione di alcuni teoremi e proprietà. Viene inoltre ultilizzata nel campo della classificazione e se ne dimostra la bontà confrontandola con altri sei metodi di classificazione internazionalmente conosciuti..
I lavori [RI12, RI11, RI8] descrivono le successive estensioni della struttura algebrica fuzzy che, dotata di un meccanismo di pesatura degli attributi, permette la risoluzione di problemi in cui esistano priorità tra le variabili usate per la classificazione. Vengono inoltre meglio caratterizzate le proprietà algebriche della struttura. [CI7, CI8, CI10, CI11, CI12, CI17]
La classificazione con attributi fuzzy è stata affrontata mediante tale struttura algebrica che dispone di una operazione che a partizioni su insiemi classici, indotte da valori di una variabile linguistica, associa partizioni dello stesso tipo.
Tale struttura consente di trattare temi di ricerca propri dell'Intelligenza Artificiale come problemi di classificazioni.
La linea di fondo che segna questa ricerca è dare al problema della classificazione una collocazione teorica che liberi tale campo da criteri di validità troppo ristretti al particolare problema preso in considerazione. Il lavoro sui fondamenti ha dato già alcuni importanti risultati, relativamente alle proprietà (commutatività, associatività, elemento neutro, etc), ma ha anche consentito di introdurre l'importante concetto di rilevanza di un attributo nell'insieme degli attributi che concorrono ad una classificazione e di costruire, attorno all'operazione, un algoritmo (di "pesatura") capace di modificare la classificazione in base ad una sorta di sensibilità contestuale. Inoltre sono state ottenute classificazioni da attributi descritti mediante variabili linguistiche diverse e che sono, a loro volta, rappresentate mediante una ulteriore diversa variabile linguistica. In tal modo nella struttura hanno un significato prodotti del tipo molto pesante x poco costoso.
L'obiettivo teorico globale è poter disporre di una struttura algebrica il cui insieme di supporto sia costituito da elementi ordinati, eventualmente linearmente ordinati, metrizzabili, che possa far risolvere problemi inversi (data una classificazione C, di cui è nota una componente, calcolare l'altra), che permetta di formalizzare il concetto di classificazione condizionale (ad esempio: in presenza dell'insieme di sintomi S che conducono alla diagnosi C, determinare come alcuni sintomi collaterali S1ÌS influenzano la specificazione della diagnosi C), e che, parte più importante di tale percorso, sia capace di gestire la classificazione in presenza di risorse che mutano e, quindi, possono essere non rinnovabili.
La domanda fondamentale, cui si cerca di rispondere, è se è possibile introdurre in tale struttura un'altra operazione. Un primo risultato parziale è stato già ottenuto, e allo stato la struttura è un modello degli r-monoidi commutativi integrali, in cui vengono studiate le condizioni di soluzione nel monoide che permette di calcolare la classificazione incognita che ha dato origine ad una classificazione finale nota. Questa proprietà permette di realizzare uno schema di calcolo formale per elaborare situazioni del tipo “che succede se ..”.
Sul piano applicativo, la capacità espressiva di tale struttura algebrica è molto ampia e ha consentito di ridurre ad un problema di classificazione con attributi fuzzy questioni molto distanti tra loro.
Una particolare attenzione merita l'approccio al tema delle diagnosi assistita da calcolatore. L'obiettivo è di estrarre dai dati strumentali e diagnostici di una neuropatia molto grave, di eziologia sconosciuta e che accompagna con effetti invalidanti la vita intera di una persona, un insieme di fatti che potrebbero determinare l'instaurarsi della malattia e su tali fatti realizzare un protocollo di ricerca medica. L'estrazione di tali sintomi rilevanti viene accompagnata da una sorta di metodo di variazione dei parametri in gioco che dovrebbe validare la significatività eziologica dei sintomi e da un'analisi statistica dei dati che valida il modello fuzzy con un test di Fisher (exact test).
Ulteriori sviluppi nel campo applicativo potranno
- arricchire il modello utente di ulteriore espressività, in modo che le intenzioni dell'utente di un sistema ipermediale siano esprimibili attraverso un più ampio corredo lessicale, che possa in seguito anche conferire una capacità tutoriale al modello stesso
- ampliare lo studio delle classificazioni con variabili linguistiche diverse, in modo da approfondire il tema, solo ancora accennato, del prodotto di significati diversi;
- esprimere proposizioni logiche fuzzy nel linguaggio della struttura algebrica, con il proposito di trattare nell'ambito della classificazione la formalizzazione del ragionamento approssimato. Il problema fondamentale è la traduzione dei connettivi logici.
Sistemi intelligenti ed Intelligenza Artificiale Distribuita
L'area di ricerca "Sistemi Intelligenti" rappresenta uno dei settori informatici più attivamente esplorati sia dal punto di vista fondazionale che applicativo. L'attività di ricerca in tale settore si è incentrata in particolare sui Sistemi Tutoriali Intelligenti (ITS) che rivestono un notevole interesse per l'ampiezza e la complessità della problematica di fondo. Pur consentendo gli attuali strumenti informatici, sia concettuali che software, di modellare sistemi aventi un cospicuo livello di complessità, riteniamo però che comunque la complessità della problematica di base richieda l'introduzione di nuovi concetti e strumenti. A tal fine si è avanzata una concezione sostanzialmente innovativa per tali sistemi introducendo concetti mutuati dall'Intelligenza Artificiale Distribuita (DAI).
La ricerca sugli ITS è partita dalla consapevolezza che la miriade di problemi coinvolti (di natura cognitiva, psicologica, informatica, epistemologica, linguistica) possono essere solo parzialmente gestiti pur disponendo di potenti strumenti concettuali e tecnologici.
Va notato che solo di recente si è raggiunta una piena consapevolezza dei problemi architetturali da affrontare: moduli quali il Modello Studente, il Modulo Esperto, il Tutore e l'Interfaccia di comunicazione sono oggetto di un'intensa ricerca in tutto il mondo ma ancora oggi non si dispone di soluzioni pienamente adeguate alla complessità della problematica.
La ricerca si è articolata in particolare sullo sviluppo di architetture originali per il modello studente [RI21, RI22, CI13] e per il modulo esperto [RI19, RI27, RI29, CI18, CN16].
Inoltre è stato considerato con attenzione il ruolo che "shell" di ITS, sistemi cioè in grado di esplicare la loro attività su più domini, possono avere in vari ambiti [RI15, RI23, RI24, RI31, CI14, CI15]
A fianco di questa attività di ricerca, sono stati sviluppati sistemi tutoriali a fini di sperimentazione in ambito educativo [RI25, RI26, RI28, RI30, CN10, CN11, CN12, CN13, CN14, CN15, CN17, CN18, CN19, CN20, CI9, CI16, CI19, CI20, V2, L2]
Per lo sviluppo di tali sistemi sono stati utilizzati sia linguaggi orientati agli oggetti (Smalltalk/V), sia linguaggi caratteristici della programmazione logica (Arity Prolog).
L'Intelligenza Artificiale Distribuita (DAI) è una delle aree più attivamente esplorate in questi ultimi anni. Ciò ha stimolato la ricerca in differenti campi dalle scienze cognitive all'etologia. DAI mira a trattare su larga scala i sistemi aperti, che possono essere visti come sistemi le cui componenti sono indipendenti, in continua evoluzione, gestiti da una forma distribuita per mezzo di negoziazioni ed impegni. I Sistemi Aperti consistono di una popolazione di agenti, ognuno di essi è dotato di conoscenza ed influenza approssimativa. Questi agenti possono condividere la loro conoscenza e organizzare le loro attività alla ricerca di uno scopo comune. Brevemente DAI mette in evidenza gli aspetti sociali della conoscenza e l'azione nelle basi dell' Intelligenza Artificiale. Per questa ragione molti significativi aspetti del DAI sono rivolti alla ricerca nell'ambito delle teorie sociologiche e organizzative.
La tecnologia DAI è migliorata grazie al potenziamento dei calcolatori, dell'architettura e dei linguaggi di programmazione. La programmazione concorrente libera il programmatore da specifici requisiti hardware. Essa consente di prendere a modello sistemi multi-agenti e di controllare come un approccio distribuito possa risolvere problemi nei quali la scelta di un approccio monolitico in uno sforzo di calcolo manuale risulta inadeguato nelle strategie.
Generalmente un sistema concorrente ha un tipo di modulo (Actor, Object, Guardian) che è invocato da un messaggio. Attraverso tale messaggio si attivano i processi light-weight dentro un modulo indirizzato.
I lavori [RI14, CI6] presentano una utilizzazione dei principi di base dell'Intelligenza Artificiale Distribuita per la formalizzazione e la realizzazione di un Sistema Tutoriale Intelligente. Tale obiettivo è stato raggiunto usando un linguaggio ad attori implementato grazie alla sua libreria di utility multiprocessing disponibile in Lucid Common Lisp. Il lavoro propone una architettura di un sistema intelligente di problem-solving attraverso un'ottica di attività computazionale distribuita, presentando opportune soluzioni per i vari moduli che compongono un tale Sistema.
E’ stato affrontato il problema di integrare sorgenti multiple di conoscenza all’interno di un ambiente distribuito. Il problema è particolarmente rilevante in quei casi in cui la rappresentazione del problema richiede l’intervento di più modelli di rappresentazione che devono cooperare per il raggiungimento di un obiettivo finale. A tal fine, è stato considerato il ragionamento diagnostico e sono state proposte delle architetture distribuite e concorrenti che realizzano la diagnosi di stati mentali e la diagnosi di sistemi fisici. L’approccio al design di sistemi distribuiti si basa sul modello computazionale ad attori, proposto da Hewitt e Agha. Tale modello è stato adottato per la progettazione di sistemi ipertestuali e multimediali. Un’architettura adattiva e distribuita per sistemi ipermediali è stata definita ed implementata secondo il paradigma ad attori: questa metodologia permette di identificare e trattare a livello di computazione concorrente l’insieme dei task che si prestano ad essere gestiti come processi asincroni sfruttando il parallelismo della computazione.
Lo studio dedicato alla diagnosi cognitiva è stato il punto di partenza di un’ulteriore ricerca avente come obiettivo la definizione di un modello distribuito per la diagnosi di sistemi fisici [RI6]. In questo lavoro viene presentato un modello concorrente ad attori in cui varie strategie di diagnosi basate sulla definizione di modelli del sistema (modello strutturale, comportamentale, funzionale, teleologico) sono integrate attraverso appropriati schemi di cooperazione tra gli agenti, che conducono alla determinazione della diagnosi del guasto in maniera parallela.
Nel lavoro [CI3] i due modelli diagnostici distribuiti, quello per la diagnosi cognitiva e quello per la diagnosi fisica, vengono analizzati evidenziando che entrambi poggiano su un’unica architettura quale dimostrazione dell’approccio uniforme e generale. In [CI2] si videnzia l’interesse a coniugare l’approccio dei sistemi di soft-computing con quello delle architetture ad agenti.
Elaborazione di segnali ed immagini
Ricorrendo alle teorie neurofisiologiche della percezione visiva ed alla teoria psicologica della forma (Gestalt) tenendo in conto i processi percettivi anche come processi dinamici sono stati proposti un certo numero di modelli che simulano le diverse fasi della percezione umana di segnali ed immagini.
L'utilizzo del concetto della "buona forma" della teoria della Gestalt e del contrasto in neurofisiologia ha concorso alla realizzazione di un metodo atto ad estrarre le caratteristiche di un oggetto. E' stato anche messo a punto un algoritmo atto a classificare i vettori caratteristici degli oggetti (clustering).
L'attività può essere così sintetizzata:
-Filtri digitali. E' stato proposto un filtro digitale, facendo ricorso ad una teoria completamente originale, che opportunamente dimensionato è in grado di filtrare-estrarre parti significative delle immagini, quali: contorni, superfici omogenee o con trame regolari (tessiture), shape, ecc. Il filtro è stato sperimentato su diversi tipi di immagini: segnali derivati da rugosimetri, immagini di superfici meccaniche ed immagini mediche (radiografie, T.A.C., ecografie), aeree e da satellite. [RI32, CI28, CI32, CI38, V5, V9, V10]
-Matrice delle caratteristiche. Tale metodo può essere visto come un operatore globale dei segnali o immagini e fornisce diverse informazioni sui segnali in esame: dominio, shape, massima ampiezza, periodicità, ecc. Esiste anche una trasformata inversa che permette la ricostruzione o classificazione del segnale. Tale metodo è particolarmente utile per il ridimensionamento del filtro digitale.
-Analisi di tessiture. Il problema dell'analisi delle tessiture è stato indagato con particolare cura sia per l'importanza che queste hanno nei processi percettivi che per il ruolo che esse giocano nei processi di segmentazione delle immagini. [V3, V4, V6, V8,CI23, CI24, CI25, CI26]
-Un'analisi e classificazione di tessiture, per esempio, può rintracciarsi nel lavoro pubblicato con la North-holland in "Signal Processing".[V4] Metodi atti a filtrare segnali ed immagini invece sono nel lavoro pubblicato con la North-Holland nel volume Digital Signal Processing". Si è anche proposta una trasformata atta ad estrarre le caratteristiche dei segnali ed immagini in Proc. IEEE Int. Conf. on Cybernetics and Society California. [CI35]
Un'immagine è stata poi vista come un insieme strutturato (totalità-Gestalt) che organizza e descrive le strutture in essa esistenti ed i metodi proposti operano in modo non solo da selezionare tali strutture ma anche le mutue relazioni tra loro esistenti. Un'immagine viene così, anche gerarchicamente, sfogliata in relazione alle strutture in essa contenute. Per la implementazione di tali metodi si è fatto ricorso a sistemi sistolici. [CI21]
Si è poi creato un sistema esperto per l'elaborazione ed il riconoscimento di segnali. Prendendo spunto della teoria della Gestalt si è applicato ad essa il metodo strutturale, adeguando a tale scopo la struttura proposta precedentemente, con l'intento di analizzare un segnale nella sua totalità ed in modo contestuale non ricorrendo, come diffusamente avviene, ad operatori locali o maschere per estrarre da essa l'informazione necessaria alle successive analisi. Tale approccio è fondamentale per l'analisi di preparati biomedici e per le tessiture. [CI22]
ELENCO PUBBLICAZIONI
Antonio Gisolfi
RIVISTE INTERNAZIONALI
An algebraic tool for classification with Fuzzy Attributes, in A. Di Nola, G. Gerla (eds), Fuzzy logic and Soft computing, Springer-Verlag, Berlin, pp.129-156, 2001 (coautori Di Lascio L., Fischetti E.)
A Commutative l-Monoid for Classification with Fuzzy Attributes", Int. J. Approximate Reasoning, 26, pp. 1-46 (1999) (coautori Di Lascio L., Rosa G.)
1. Linguistic hedges and the generalized modus ponens
International Journal of Intelligent Systems, 14 (10), pp.981-993 (1999)
(coautori Di Lascio L., Cortes U..)
2. A fuzzy-based approach to stereotype selection in hypermedia
User Modeling and User-Adapted Interaction, User Modeling and User-Adapted Interaction , 9, pp.285-320 (1999)
(coautori Di Lascio L., Fischetti E.)
3. A parallel algorithm for building possibilistic causal networks
International Journal of Approximate Reasoning; vol.18 n.3-4 pp.251-270. (1998)
(coautori Sanguesa R., Cortes U..)
4. Averaging truth values in fuzzy linguistic logic
International Journal of Intelligent Systems, vol 13 n.4 pp.301-318 (1998)
(coautore Di Lascio L.)
5. Uncertainty processing in user-modeling activity
Information Sciences Special Issue n.106 pp.25-47 (1998)
(coautori Di Lascio L., Loia V.)
6. A distributed approach for multiple model diagnosis of physical systems Information Sciences 99, pp.247-288 (1997)
(coautore Loia V.)
7. The algebraic Properties of the Linguistic Truth-Values.
The Journal of Fuzzy Mathematics vol.5 n.4 pp.805-827 (1997)
(coautori Di Lascio L., Cavaliere L.)
8. Classifying Through a Fuzzy Algebraic Structure
Fuzzy Sets and Systems, 78, pp.314-331 (1996)
(coautore Cicalese F.)
9. Multicoin: a tool for classifying coins in a multimedia environment
Archaeometry, 38, 2, pp.279-287 (1996)
(coautori Fischetti E. , Peduto P.)
10. A new model for linguistic modifiers
International Journal of Approximate Reasoning 15 (1) pp.25-47 (1996)
(coautori Di Lascio L., Loia V.)
11. A Complete, flexible fuzzy-based approach to the classification problem
International Journal of Approximate Reasoning. 13, pp.151-183 (1995)
(coautore Loia V.)
• Classifying Through an Algebraic Fuzzy Structure: the Relevance of the Attributes
International Journal of Intelligent Systems, John Wiley & Sons. 10, 8 pp. 715-734 (1995)
13. POTCLAS: a fuzzy expert system for the classification of archaeological pottery fragments
International Journal of Expert Systems. Vol. 8, n.2 pp. 145-164 (1995)
(coautore Di Lascio L.)
14. Designing Complex Systems Within Distributed Architectures: An Intelligent Tutoring Systems Perspective
Applied Artificial Intelligence, 8, pp.393-411 (1994)
(coautore Loia V.)
15. Natural Language Processing Applied to an I.T.S. Interface
ALT-J, 2, 2 pp.38-49 (1994)
(coautore Fischetti E.)
16. A Fuzzy Approach to Some Classification Problems
International Journal of Intelligent Systems, pp.839-854 (1993)
(coautore Di Donato P.)
17. An Algebraic Approximation to the Classification With Fuzzy Attributes
International Journal of Approximate Reasoning, 9, pp.75-95 (1993)
(coautore Nunez G.)
18. A Fuzzy Approach to Student Modelling
Computers & Education 19, 4 pp.329-334 (1993)
(coautori Dattolo A., Balzano W.)
19. Enhancing the Learning Process with Expert Systems
Educational Technology, pp.25-32 (1993)
(coautori Balzano W., Dattolo A.)
20. An Algebraic Fuzzy Structure for the Approximate Reasoning .
Fuzzy Sets and Systems n.45 pp.37-43 (1992)
21. The Student Model in POSITS, a Tutor for the Factorization of Algebraic Expression
Journal of Artificial Intelligence in Education, 3, 3 pp.347-358 (1992)
(coautore Moccaldi G.)
22. Design and Development of the Student Module of an Intelligent Tutoring System Interactive Learning International 8, pp.201-211 (1992)
(coautore Fischetti E.)
23. Constructing and Consulting the Knowledge Base of an Expert System Shell" Expert Systems .
International Journal of Knowledge Engineering. Vol.10, n.1 pp.29-35 (1992)
(coautore Balzano W.)
• Managing Incomplete Knowledge and Forward Processing by an I.T.S. Shell
ETTI-Education and Training Technology International, 30, 1 pp.95-104 (1992) (coautori Balzano W., Dattolo A.)
• Enhancing the Pascal Language by a Tutor Written in Prolog
Computer Education 72 pp.29-31 (1992)
(coautori Balzano W., Dattolo A..)
26. LOGOOP: A Logo Interpreter Based on the O.O.P. Paradigm
Eurologos 1, pp.25-28 (1992)
(coautore Fischetti E.)
27. The Architecture of the Expert System in SHOOP, an I.T.S. Shell based on the O.O.P. Paradigm
Interactive Learning International vol.7 pp.305-320 (1991)
(coautore Fischetti E.)
28. LOGOWORLD: A Learning Environment for the Logo Language
Computer Education, 91 pp.16-19 (1991)
(coautore Fischetti E.)
29. An Intelligent Tutoring System for the factorization og Algebraic Expressions in Smalltalk/V
ETTI - Education and Traing Technology International, vol.27 n.2 pp.406-413 (1990)
(coautore Moccaldi G.)
30. Logprimer a Tutoring System for Prolog Learning
Computer Education, 65, pp.14-17 (1990)
(coautore Fischetti E.)
• From Computer Aided Instruction to Intelligent Tutoring Systems
Educational Technology pp.7-17 (1989)
(coautore Fischetti E.)
32. A Technique for Texture Analysis Using C-Calculus
Signal Processing 1, pp.159-173 North-Holland Pub. (1979)
(coautori Caianiello E.R., Vitulano S.)
33 . A features extraction method from images
Pattern Recognition vol.13 n.!-6 Pergamon Press (1981)
(coautori Caianiello E.R., Vitulano Sergio)
34. Research on Fuzzy Structure and Approximate Reasoning in Salerno
Bulletin Fuzzy Sets and Systems, 50,pp.357-358 (1993)
CONVEGNI INTERNAZIONALI
1. Implementing a Fuzzy Classifier in GIS
Proc. 2nd Int. ICSC '97 Symp. Fuzzy Logic and Applications, Zurich pp.327-332 ICSC Acad. Press (1997)
(coautori Cicalese F., Loia V., Scandizzo S.)
2. A distributed, concurrent architecture for fuzzy evoluzionary models
Proc. European Symposium on Intelligent Techniques, Bari (Italia)
pp..261-264 (1997)
(coautori Cicalese F., Loia V.)
3. Integrating multiple knowledge sources in a distributed environment: experiences in diagnostic reasoning
Proc. Of the Workshop “Collaboration Between Human and Artificial Societies”, may 1-3 1997, Lanjaron, Spain. Una versione estesa del lavoro è stata inserita in un volume di LNCS. (1997) (coautori Cerri S., Loia V.)
4. A system for scientific experiments simulation
Proc: ISMCR '97 Topical Workshop on Virtual Reality and Advanced Man-Machine Interfaces, june 1997, Tampere, Finland (1997)
(coautori Ritrovato P., Ruocco R., Salerno S. )
5. Analytical version control management in a hypertext system
Proc. CIKM 94 Conference on Information and Knowledge Management. pp.132-139 (1994)
(coautore Dattolo A.)
6. Distributed Intelligent Tutoring System
Proc. Informatics and Changes in Learning IFIP Open Conference WG 3.1,3.1 Austria, pp.5-8 (1993)
(coautore Loia V.)
7. Conjuntos Fuzzy Compuestos Aplicados al Razonamiento Aproximado Relazione Invitata IX Reunion de Inteligencia Artificial, Veracruz (1992)
8. Algebraic Structure and Fuzzy Action: A New Solution to the Classification Probrem
Proc. ISUMA '93 - Third Int. Symposium on Uncertainty Modeling & Analysis. IEEE Press. pp. 25-28 (1992)
(coautore Loia V.)
9. A Logo Interpreter
Proc. EUROLOGO 91 Third European Logo Conference pp.227-239 (1991) (coautore Fischetti E.)
10. A Prolog Implementation of a Fuzzy Algebraic Structure for the Uncertainty Modelling
Proc. ISUMA '90, 1st Int. Symp. Uncertainty Modelling and Analysis, University of Maryland. pp.1-6 (1990)
11. Linking O.O.P. and Fuzzy Logic for Building an Expert System
Proc. IASTED 90 - Int. Conf. Artificial Intelligence Applications and Neural Networks. pp.271-274. (1990)
(coautore Moccaldi G.)
12. An Algebraic Approach to the Approximate Reasoning
Proc. Int. Conf. Fuzzy Logic and Neural Networks, Iizuka pp.515-518 (1990) (coautore Vitulano S..)
13. A Student Model for an Algebraic Tutor
Proc. 7th ICTE - Int. Conf. on Technology and Education, pp.274-276 (1990)
(coautore Moccaldi G..)
14. The Architecture of an Authoring System in Smalltalk/V
Proc. 7th Int. Conf. Tech. Educ., pp.277-279 (1990)
(coautore Fischetti E.)
15. Building the Interfacein SHOOP, an O.O.P. Based Shell
Proc. EACT 90 - Education and Application of Computer Technology, pp.411-421 (1990)
(coautore Fischetti E.)
16. The Architecture of SHOOP, A Shell Based on the O.O.P. Paradigm
Proc. 2nd European Symposium on Applied Informatics, pp.71-89 (1990) (coautore Fischetti E.)
17. An Expert System Based on Fuzzy Logic as a Support to the Medical Diagnosis
Proc. IASTED 89 -Int. Conf. Modelling, Identification and Control, Gridelwald, 132-158-1. (1989)
(coautore Crisci F.)
18. A Expert System in Object-Oriented Programming Area
Proc. IASTED '89 - Int. Conf. Modeling, Identification and Control, Gridelwald, 132-159-1 (1989)
(coautore Esposito A.)
19. Intelligent Tutoring Systems
Proc. 1st European Symposium on Applied Informatics, London pp.48-62 (1989) (coautore Fischetti E.)
20. The Spontaneous Geometry: A Microwold for the Primary School
Proc. EUROLOGO '89, Gent., pp.374-389 (1989)
(coautore Fischetti E.)
21. Systolic Algorithms: An application to Image Segmentation
Proc. ISELDECS '87 Int. Symp. Electronic Devices, Circuits and Systems. Kharagpur pp.815-817 (1987)
(coautori Esposito A., Vitulano S.)
22. Texture Analysis and Classification by an Expert System
Proc. ISELDECS '87 Int. Symp. Electronic Devices, Circuits and Systems. Kharagpur, pp.263-265 (1987)
(coautori Vitulano S. Esposito A., Cacace A.)
23. A structural Approach to Image Segmentation
Proc. Platinum Jubilee Conf. on Systems & Signal Processing, Bangalore pp.353-357 (1986)
(coautori Vitulano S., Berardino M., Cacace A.)
24. Texture Analysis: A New Approach and a Comparison
Int. Conf. Image Analysis and Processing, Rapallo (1985)
(coautori Vitulano S. Cacace A.)
25. Algebraic Pattern Recognition: A Parallel Implementation
Proc. 1984 IEEE Int. Conf. on Systems, Man and Cybernetics. Chateau Halifax, Nova Scotia pp.445-451 (1984)
(coautori Vitulano S. Cacace A.)
26. Surface Analysis and Classification
Int. Conf. on Computers, Systems & Signal Processing IEEE Bangalore (1984) (coautori Esposito A., Vitulano S.)
27. C-Matrix: Application to Human Chromosomes
Proc. IAPR '88, Third Scandinavian Conf. on Image Analysis Copenaghen pp.289-295 (1983)
(coautore Vitulano S.)
28. Features Extraction from Human Chromosomes
IEEE Computer Society Ed. 82, pp.342-348 Presented ISMIII, IEEE Comp. Soc. Int. Symposium on Medical Imaging and Image Interpretation, Berlino
e VI Int. Conf. on Pattern Recognition, Munchen (1982)
(coautore Vitulano S.)
29. Some Application of C-Matrix to Pattern Analysis
Proc. Int. Conf. on Digital Signal Processing, Firenze pp.962-972 (1981) (coautore Vitulano S.)
30. Signal Analysis: An Application of C-Matrix
Proc. 2nd ScandinavianConf. on Image Analysis Helsinki, pp.140-145 (1981) (coautore Vitulano S.)
31. C-Matrix in Signal Analysis
Int. Conf. Informatics, Jahorina (1981)
(coautore Vitulano S.)
32. A Features Extraction Method from Images
Proc. Conf. on Pattern Recognition, Oxford,p.27 (1980)
(coautori Caianiello E.R., Vitulano S.)
33. An Image Transform Using C-Matrix
Int. Conf. Acoustics, Speech, Signal Processing (1980)
(coautore Vitulano S.)
34. An Application of C-Matrix
Int. Conf. on Image Analysis and Processing, Pavia pp.63-68 (1980) (coautore Vitulano S.)
35. C-Matrix, A Transformation of Signals
Proc. IEEE Int. Conf. Cybernetics and Society, pp.665-670 (1979)
(coautori Caianiello E.R., Vitulano S.)
36. A Method of Extraction of Features from Signals
Proc. Informatica 79 3.115, Bled (1979)
(coautori Vitulano S. Ricci C.)
37. Three Methods of Extraction of Features for Automatic Classification of Textures
Proc. Informatica 79 3.222 Bled (1979)
(coautore Vitulano S.)
38. A Method of Filtering of Biomedical Specimens
Proc. Int. Conf. on Cybernetic and Society, Tokio pp.229-234 (1978) (coautori Caianiello E.R., Vitulano S.)
39. An Identification of Mitoses
Proc. 4th Int. Conf. Pattern Recognition, Kyoto pp.597-602 (1978) (coautorei Caianiello E.R.,Vitulano S. Ventruto V.)
40 C-Filter: A Method for Filtering of Biomedical Specimens
Proc. Informatica 78 7.103 Bled (1978)
(coautore Vitulano S.)
41. Texture analysis by means of C-calculus
III Int. Conf. On Pattern Recognition, Proc. Informatica 77, Bled, pp.3.114 (1977)
(coautori Caianiello E.R., Vitulano S.)
42. Segmentation by extraction
Meeting on Signal and Image Processing in clinical and biomedical Research, Caserta (Italia) aprile 1987
(coautore Vitulano S.)
43. A systolic algorithm for image processing
CAIP'87 Computer Analysis on images and patterns, Wismar (DDR) settembre 1987 (coautore Vitulano S.)
CONVEGNI NAZIONALI
“Lettori che navigano in ipermedia adattivi fuzzy”, in Atti Didamatica 2001, vol.1 , p.222-231, Bari, 2001 (coautori Di Lascio L., Fischetti E.)
"Molto attento x abbastanza buono = più che discreto”, Atti Didamatica 2000, vol.1, pp.227-233, 2000 (coautori Di Lascio L., Fischetti E.)
1. Multimedialità e sviluppo culturale
Atti SMI 97, Centro Universitario Europeo per i Beni Culturali, Ravello, pp.1-20 (1997)
2. Modellizzazione e valutazione fuzzy dell'utente di un ITM
Didamatica-Aica 97, pp.199-213 (1997)
(coautore Di Lascio L.)
3. Multimedia. Un nuovo senso al mondo, un nuovo senso sul mondo
Atti AICA 95 vol.1 pp. 906-919 (1995)
(coautore Di Lascio L.)
4. Intermedia: uno stadio nell'evoluzione della comunicazione
Atti SMI '95, , Centro Universitario Europeo per i Beni Culturali, Ravello, pp.7-53, (1995)
(coautori Di Lascio L. Fischetti E.)
5. Un'Algebra Fuzzy per la Classificazione .
Atti SMI '95, Centro Universitario Europeo per i Beni Culturali, Ravello, pp.103-174 (1995)
(coautori Cicalese F., Di Lascio L., Loia V.)
6. Una proposta di modello studente che utilizza una struttura algebrica fuzzy . Atti Didamatica 94, pp. 135-150 (1994)
(coautore Di Lascio L.)
7. Sistemi Intelligenti Multimediali e Beni Culturali
Atti SMI '94, Centro Universitario Europeo per i Beni Culturali, Ravello, pp.9-99 (1994)
(coautori Fischetti E, Loia V..)
8. Sistemi Intelligenti Multimediali e formazione
Atti SMI '94, Centro Universitario Europeo per i Beni Culturali, Ravello, pp.435-492 (1994)
(coautore Di Lascio L.)
9. Versioning di rete in un modello ipertestuale
Atti SMI '94, Centro Universitario Europeo per i Beni Culturali, Ravello, pp.220-233 (1994) (coautore Dattolo A.)
10. TIG: Un Sistema Tutoriale Intelligente per l'Apprendimento della Grammatica Italiana
AHC '92 Int. Association for History & Computing, (1992)
(coautore Di Lascio L.)
11. Ipertesto: Libertà e Controllo nella Navigazione
Proc. AHC '92 Int. Association for History & Computing In Storia & Multimedia, pp.606-615 (1992)
(coautori Dattolo A., Balzano W.)
12. Metodologa e sviluppo di un ITS per l'apprendimento della grammatica italiana
Didamatica-Aica 93,pp.325-333
(coautore Di Lascio L.)
13. Un Tutore Pascal in Prolog
Atti Conv. "L'Università per la Scuola nell'Europa del '92", pp.69-90 (1991) (coautore Balzano W., Berardino M.)
14. LOGOEXP: Un Sistema Espertoper la Grammatica Italiana
Atti Conv. "L'Università per la Scuola nell'Europa del '92", pp.185-200 (1991) (coautore Dattolo A.)
15. Un'Interfaccia in Linguaggio Pseudo-Naturale per uno Shell di I.T.S
Atti Conv. Informatica e Didattica, Salerno pp.39-64 (1990)
(coautore Fischetti E.)
16. Architettura di un Sistema Esperto in Prolog
Proc. AICA 90, pp.125-140 (1990)
(coautori Balzano W., Palladino M.)
17. La Programmazione Orientata agli Oggetti Quale Strumento per la Costruzione di uno Shell Autore
Atti Didamatica 90, (1990) (coautore Fischetti E.)
18. Progettazione e Realizzazione del Modello Studente per un I.T.S.
Atti. Conv. Informatica e Didattica, Salerno pp.83-107 (1990)
19. Un Ambiente per l'Apprendimento: Costruzione e Sperimentazione di un Micromondo di Italiano
Proc. Didamatica '89 pp.195-203 (1989)
20. Apprendere ad Apprendere
Proc. Didamatica 88, (1988) (coautore Vitulano S.)
21. Elaborazione di Immagini Biomediche: un Approccio Strutturale
Proc. Int. Computer Graphics. ICO-Graphics Milano pp.421-427 (1986) (coautori Vitulano S., Esposito A.)
22. L'Elaborazione di Immagini Applicate alla Medicina
Conv. Software per Applicazioni Mediche. Milano (1985)
(coautore Vitulano S.)
23. Strutture e Modelli per l'Elaborazione di Immagini
Conv. Elaborazione Segnali ed Immagini in Medicina. Salerno (1985) (coautore Vitulano S.)
24. Analisi, Classificazione e Filtraggio di Tessiture
VII Cong. CNCB, VI Cong. SIBPA Camogli, pp.199-201 (1983)
(coautore Vitulano S.)
• Un esempio significativo di analisi dell'immagine
Int. Con. Analisi e Controllo di Sistemi Complessi (Capri) giugno 1982
Ed in Lamiera n.5 pp.106-110 (1983)
(coautori Sebastio U., Vitulano S., Vota L.)
RIVISTE NAZIONALI
1. Segmentation by Extraction
Bollettino Società Italiana Biologia Sperimentale. 12, LXIV e Conv. Informatica Applicata alla Medicina. Caserta pp.143-159 (1988)
(coautore Vitulano S.)
• Analisi Statistica retrospettiva sull'epatite virale
Giornale di malattie infettive e parassitarie n.4 vol.34 pp.570-572 (1982)
(coautori Vitulano S. et altri)
3. Insiemi composti e C-matrix: alcune considerazioni
Lamiera n.6, pp.56-62 (1983)
(coautori Caianiello E.R., Vitulano S.)
4. Rugosità di superfici di taglio laser
Pixel: Computer Graphics, Cad/Cam, Image Processing n.3 pp.41-46 (1984)
(coautori Vitulano S., Esposito A.)
5. Image processing & pattern recognition: un'introduzione
Pixel: Computer Graphics, Cad/Cam, Image Processing n.5 pp.39-42 (1984)
(coautore Vitulano S.)
6. Applicazioni e limiti degli operatori locali: un confronto
Pixel: Computer Graphics, Cad/Cam, Image Processing n.6 (1985)
(coautori Vitulano S., Esposito A.)
LAVORI PRESENTI IN VOLUMI
1 . A fuzzy algebraic approach to user modeling in adaptive hypermedia
In New trendsin fuzzy logic, eds P.Blonda, M.Castellano, A.Petrosino World Scientific, Singapore pp.59-79 (1998)
(coautori Di Lascio L., Fischetti E.)
2 . The Spontaneous Geometry: A Microwold for the Primary School
in Teaching and Learning in LOGO-Based Environments, (Schuyten G. Ed.), Amsterdam pp.179-195 (1990)
(coautore Fischetti E.)
3 . Texture & Structure
In Advances in Image Processing and Pattern Recognition . (Cappellini-Marconi Eds.) Elsevier Science Pub. pp.179-183 (1986)
(coautori Vitulano S., Cacace A.)
4 . Algebraic Pattern Recognition
In Digital Signal Processing . (Cappellini,V.,Constantinides A.G. Eds.) Elsevier Science Pub. pp.738-743 (1985)
(coautore Vitualano S.)
5 . C-Calculus: an Overwiew
In Cybernetic Systems: Recognition, Learning, Self-Organization . (Caianiello E.R., Musso G. Eds.) Research Studies Press, pp.131-145 (1984) (coautori Caianiello E.R., Vitulano S.)
6 . Tessiture: Un approccio Strutturale
In Sistemi Grafici, Geometria della Natura e CAD Industriale , Jackson pp.388-394 (1984)
(coautore Vitulano S.)
7 . C-Matrix, C-Filter: Application to Human Chromosomes
In Pictorial Data Analysis. Computer and System Sciences . F n.4 Springer-Verlag (Haralick R.M. Ed.) pp.69-85 (1983)
(coautore Vitulano S.)
8 . Un Approccio Algebrico al Riconoscimento di Immagini
In Computer Graphics, CAD, Elaborazione di Immagini: sistemi ed applicazioni . Jackson pp.409-425 (1983)
(coautore Vitulano S.)
9 . A Method for Classifying and Filtering Texture
In Progress in Cybernetics and Systems Research , vol.VI pp.229-239 Hemisphere Pub. Washington. Ed.Pichler-Trappl. Ed. in Proc. of the Fifth Int. Meet. on Cybernetics and Systems Research (1980)
(coautori Vitulano S.,Mtodkowski M.)
10 . On Some Recognition Problems for Biomedical Specimens
In Progress in Cybernetics and Systems Research , (Pichler F.R., Trappl R. Eds.) vol.VI, pp.11-21 Hemisphere Pub. Washington (1980)
(coautori Caianiello E.R., Vitulano S.)
LIBRI
1. Labirinti della conoscenza .
Volume edito dal Centro Universitario Europeo per i Beni Culturali, Ravello (1996) (coautori Fischetti E., Di Lascio L.)
2. Informatica e Didattica: Un Rapporto Complesso
Volume edito dal Centro Servizi Culturali Regione Campania (1989)
(coautore Fischetti E.)
|
