People

Research activity in 1995

Nel corso del 1995 la ricerca nel settore della Rappresentazione della conoscenza e ragionamento e' andata configurandosi in tre filoni.

Un primo filone, di carattere piu' fondazionale, ha avuto come scopo lo studio della rappresentazione della conoscenza causale e temporale con particolare attenzione a problematiche del cambiamento, della persistenza delle azioni. Strettamente collegate a queste sono le problematiche di ragionamento common-sense in cui particolare rilievo assumono forme di ragionamento non monotone. Risultati interessanti sono stati ottenuti nell'uso di formalismi di rappresentazione logici per rappresentare e ragionare in modo integrato con tempo, causalita' e azionalita'. Nel 1995 questo filone di ricerca ha preso in considerazione anche le interazioni possibili tra un agente razionale che esegue delle azioni e l'evoluzione naturale di un sistema fisico che evolve nel tempo. In particolare sono stati studiati problemi di predizione temporale in presenza di interazione introducendo anche una ontologia causale-temporale.

Un secondo filone che si e' andato rapidamente consolidando nel 1995 e' quello del ragionamento temporale e delle sue applicazioni alle basi di dati temporali. In particolare, e' stato studiato il trade-off fra potere espressivo e complessita' computazionale dei meccanismi di ragionamento temporale, ottenendo innovativi risultati riguardo al trattamento efficiente di domande ed asserzioni ad una base di dati/conoscenza di vincoli temporali. E' stata inoltre proposta una estensione dell'algebra relazionale al fine di trattare anche informazioni temporali di tipo sia metrico che qualitativo, e ne sono state studiate le proprieta'. Sono state inoltre sviluppati formalismi di rappresentazione e tecniche di ragionamento per trattare informazioni temporali concernenti anche sistemi calendariali definiti dall'utente.

Il terzo filone e' quello che da piu' tempo e' attivo e riguarda il settore del ragionamento basato su modello (model-based reasoning) con particolare attenzione alla diagnosi (model-based diagnosis).
Nel 1995 e' stata fornita una analisi di diverse caratterizzazioni logiche della diagnosi, evidenziando condizioni per la loro equivalenza e condizioni che permettono di usare definizioni e modelli semplificati.
E' anche continuato lo studio dell'integrazione di meccanismi di ragionamento temporale nella diagnosi, con lo scopo di diagnosticare sistemi il cui comportamento si articola nel tempo.
E' stata individuata una caratterizzazione logica di diverse forme di ragionamento diagnostico temporale, ed e' stato sviluppato una algoritmo efficiente per l'integrazione del ragionamento diagnostico con la propagazione di vincoli temporali.

Vista la complessita' del ragionamento anche quando il sistema da diagnosticare e' statico, e' stato sviluppato un approccio volto ad integrare meccanismi di case-based reasoning con meccanismi di diagnosi basati su modello.
In particolare, questo ultimo tipo di approccio si e' concretizzato nella costruzione di un prototipo denominato ADAPtER ed in una serie di sperimenti volti a valutare l'impatto e gli eventuali vantaggi relativi all'adattamento di soluzioni di problemi diagnostici simili a quello da risolvere.

E' stato inoltre studiato come la modellazione del processo diagnostico possa avvenire attraverso metodologie di analisi di Reti di Petri icon particolare attenzione a tecniche di analisi algebriche basate sul calcolo degli invarianti della rete fungente da modello per il sistema in esame.

L'attivita' di ricerca e' stata svolta in modo significativo nell'ambito dei finanziamenti MURST 60% e 40%, dei progetto speciale CNR "Ambienti e strumenti per la gestione di informazioni temporali", del progetto bilaterale Italia-Francia GALILEO "Diagnosi Basata su Modello".

1995 Publications

L. Ardissono and R. Cohen, "On the value of user modeling for improving plan recognition," in IJCAI workshop The Next Generation of Plan Recognition Systems, Montreal, 1995, pp. 8-12.

L. Ardissono, G. Boella, and L. Lesmo, "A Computational Approach to Speech Acts Recognition," in 17th Cognitive Science Conference, Pittsburgh, 1995, pp. 316-321.

L. Ardissono, G. Boella, and D. Sestero, "Recognition of Preliminary Sentences in Dialogue Interpretation," in Lecture Notes in Artificial Intelligence n. 992: Topics in Artificial Intelligence. Berlin: Springer Verlag, 1995, pp. 139-144.

L. Ardissono and D. Sestero, "Using Dynamic User Models in the Recognition of the Plans of the User," User Modeling and User-Adapted Interaction, vol. To appear, .

C. Barbero and V. Lombardo, "Dependency graphs in Natural Language Processing," in Lecture Notes on Artificial Intelligence n. 992: Topics in Artificial Intelligence, M. Gori and G. Soda, Eds. Berlin: Springer-Verlag, 1995, pp. 115-125.

C. Barbero, L. Lesmo, and V. Lombardo, "Un approccio cognitivo all'analisi di testi reali," in AI*IA Notizie, Anno VII, N. 2, June '95, L.C. Aiello, Ed. Milano: Associazione Italiana per l'Intelligenza Artificiale, 1995, pp. 17-20.

C. Baroglio and M. Botta, "Multiple Predicate Learning with RTL," in Italian Conference on Artificial Intelligence - LNAI 992, Firenze, Italy, 1995, pp. 44-55.

C. Baroglio and M. Botta: "Multiple Predicate Learning with RTL" in M. Gori and G. Soda ed. Topics in Artificial Intelligence vol.LNAI 992, October 1995.

C. Baroglio, A. Giordana, R. Piola: "Learning Controllers from Examples" in Proceedings of the second International Workshop on Artificial Intelligence Techniques, Brno, Czech Republic, Sep 1995.

C. Baroglio: "Teaching by Shaping" in Second European Workshop on Reinforcement Learning, Milano, Italy, Sep 1995.

C. Baroglio: "Teaching by shaping" in Proc. of ICML-95 Workshop on Learning by Induction vs. Learning by Demonstration, Tahoe City, CA, USA, 1995.

F. Bergadano, S. Varricchio "Learning Behaviours of Automata from Shortest Counterexamples" in European Conference on Computational Learning Theory, Lecture Notes in Computer Science, Springer Verlag, 1995, pp.380-391.

F. Bergadano, V. Cutello "PAC-learning of fuzzy systems" IEEE Trans. on Fuzzy Systems, to appear.

F. Bergadano, D. Gunetti, M. Nicosia, G. Ruffo."Learning Logic Programs with Negation as Failure", Proc. 5th Int. Workshop on Inductive Logic Programming, Leuven, Belgium, 1995.

E. Blanzieri and A. Giordana: "Mapping Symbolic Knowledge into Locally Receptive Field Networks" in M. Gori and G. Soda ed. Topics in Artificial Intelligence vol.LNAI 992, October 1995.

E. Blanzieri, A. Giordana and P. Katenkamp: "Growing Radial Basis Function Networks" in Proc. of the 4th Workshop on Learning Robots, Karlsruhe, Germany, December 1995.

M. Botta, G. Lo Bello and R. Piola: "Monitoring machine behaviors using fuzzy controllers" in Proc. of the 4th Workshop on Learning Robots, Karlsruhe, Germany, December 1995.

V. Brusoni, L. Console, and P. Terenziani, "On the computational complexity of querying bounds on differences constraints," Artificial Intelligence, vol. 74, no. 2, 367-379, 1995.

V. Brusoni, L. Console, B. Pernici, and P. Terenziani, "Dealing with time in knowledge based systems: a loosely coupled approach," in FLAIRS '95, Melbourne, FL, 1995.

V. Brusoni, L. Console, B. Pernici, and P. Terenziani, "Extending Temporal Relational Databases to Deal with Imprecise and Qualitative Temporal Information," in Int. Workshop on Temporal databases '95, Springer Verlag, 1995.

V. Brusoni, L. Console, and P. Terenziani, "Efficient Query Answering in LaTeR," in TIME-95 International Workshop on Temporal Representation and Reasoning, 1995, pp. 121-128.

V. Brusoni, L. Console, P. Terenziani, and D. Theseider Dupre`, "Characterizing Temporal Abductive Diagnosis," in DX 95, Sixth Int. Workshop on Principles of Diagnosis, Goslar, 1995.

V. Brusoni, L. Console, P. Terenziani, and D.T. Dupre`, "An efficient algorithm for computing temporal abductive diagnoses," in DX 95, Sixth Int. Workshop on Principles of Diagnosis, Goslar, 1995.

M. Gazza and P. Torasso, "Temporal Prediction: Dealing with Change and Interactions within a Causal Framework," in Lecture Notes in Computer Science 992. Springer Verlag, 1995, pp. 79-91.

A. Giordana and F. Neri: "Search-Intensive Concept Induction". 1995. Evolutionary Computation Journal. In press.

A. Goy, Semantica degli aggettivi: una rassegna della letteratura, To appear in Lingua e stile, 1995, .

V. Lombardo, "Parsing and Recovery," in Proc. of the 17th Annual Meeting of the Cognitive Science Society, Pittsburgh, July '95, 1995, pp. 648-653.

V. Lombardo and L. Lesmo, "A Practical Dependency Parser," in Proc. of the 4th International Workshop on Parsing Technologies, Prague, September '95, 1995, pp. 150-151.

F. Neri and A. Giordana: "REGAL: Learning Disjunctive concepts with Distributed Genetic algorithms" in Proc. of Summer Computer Simulation Conference, Ottawa (Canada), 1995, pp 346-351.

F. Neri and L. Giordana: "A Parallel Genetic Algorithm for Concept Learning" in Proc. of International Conference on Genetic Algorithms, Pittsburgh (USA), 1995, pp 436-443. Keywords: GAs, SELECTED.

F. Neri and L. Giordana: "Distributing the Search of Hypothesis Spaces" in Proc. of European Connection Machine Users Meeting, Parma (Italia), October 1995.

F. Neri and L. Saitta: "Analysis of Genetic Algorithms Evolution under Pure Selection" in G. Tascini \and F. Esposito \and V. Roberto ed. Atti del Workshop congiunto su Apprendimento Automatico e Percezione, Italia, 1995.

F. Neri and L. Saitta: "Analysis of Genetic Algorithms Evolution under pure Selection" in Proc. of International Conference on Genetic Algorithms, Pittsburgh (USA), 1995, pp 32-41.

L. Portinale and P. Torasso, "ADAPtER: an Integrated diagnostic system combining case-based and abductive reasoning," in LNAI 1010. Springer Verlag, 1995, pp. 277-288.

L. Portinale, "Petri net reachability analysis meets model-based diagnostic problem solving," in IEEE Intern. Conference on Systems, Man and Cybernetics, Vancouver, BC, 1995, pp. 2712-2717.

L. Saitta and F. Neri.: "Knowledge Representation Changes in Humans and Machines" in P. Reimann \and H. Spada ed. Learning in Humans and Machines: Towards an Interdisciplinary Learning Science, Oxford, UK, 1995.

L. Saitta, A. Giordana and F. Neri: "What is the "Real World"?" in D. Aha and P. J. Riddle ed. Proc. of Workshop on Applying Machine Learning in Practice, Lake Tahoe (CA), 1995, pp 34-40.

D. Theseider Dupre` and M. Rossotto, "The Different Roles of Abstraction in Abductive Reasoning," in Lecture Notes in Computer Science 992. Springer Verlag, 1995, pp. 211-216.

P. Terenziani and P. Torasso, "Time, action-types and causation: an integrated analysis," Computational Intelligence, vol. 11, no. 3, 529-552, 1995.

P. Terenziani, "Reasoning about Periodic Events," in Proc. TIME-95 International Workshop on Temporal Representation and Reasoning, 1995, pp. 137-144.