People

Research activity in 1996

Nel 1996 la ricerca e` stata svolta principalmente in 4 aree: formalismi sintattici a dipendenze, riconoscimento dei piani del parlante, architetture cognitive per l'elaborazione del linguaggio, semantica lessicale.

Per quanto riguarda la ricerca in ambito sintattico, il potere espressivo del formalismo grammaticale, basato sulla sintassi a dipendenze, e' stato ampliato per trattare le dipendenze a lunga distanza. Il risultato e' stato un formalismo lessicalizzato che risulta da un'istanziazione dei vincoli linguistici che coprono una vasta gamma di fenomeni sintattici. E' stato sviluppato un algoritmo di tipo Earley, di complessita' polinomiale, per la parsificazione in parallelo di frasi in linguaggio naturale che contengono delle dipendenze a lunga distanza. E' stato avviato lo studio del fenomeno della coordinazione e della possibile applicazione in questo ambito dei meccanismi introdotti.

Nell'ambito della ricerca sul riconoscimento degli obiettivi del parlante, si e` continuato lo sviluppo della componente di modellazione dell'utente, integrando nel sistema un modulo che rappresenta la conoscenza stereotipale sugli individui del dominio (universitario) e permettendo di costruire un modello dell'utente specifico ad ogni interazione; in tale modello, si inserisce la conoscenza derivata dall'analisi pragmatica delle sue frasi e dall'attivazione di eventuali stereotipi. Il modello dell'utente e` rappresentato in un formalismo a reti uniforme a quello usato per la rappresentazione semantica delle frasi in input. Durante l'anno di attivita`, si e` inoltre continuato lo sviluppo del livello di piani di problem-solving, che ha portato alla definizione di un'architettura di agente, all'interno della quale si intendono utilizzare le librerie di descrizione delle azioni sia in fase di riconoscimento dell'attivita` di un agente, che di generazione del comportamento del sistema stesso.

La fase di generazione per ora si limita alla scelta del contenuto ed alla sua organizzazione mediante un insieme di relazioni retoriche. La scelta del contenuto è ottenuta attraverso il percorrimento dei piani di problem-solving: mentre si prendono in considerazione le azioni che permettono di soddisfare gli obiettivi dell'utente e del sistema, si considera anche l'informazione che è necessario comunicare all'utente affinché il dialogo risulti coerente e cooperativo. I contenuti così selezionati vengono poi messi in relazione con un insieme di strategie retoriche, che rappresentano metodi consolidati di espressione che tengono conto del contesto del dialogo e delle preferenze espresse dai due agenti in esso coinvolti.

La ricerca sulle architetture cognitive per i sistemi di linguaggio naturale ha avuto come principale obiettivo la focalizzazione su due problemi specifici della modellazione del parser umano: l'analisi delle strutture ricorsive a sinistra e la revisione dei cammini errati. Il primo problema e' stato affrontato con la definizione di un modello che individua delle strutture ricorsive minime e le istanzia solo se necessario; per il secondo problema e' stata proposta una soluzione basata su un modello di parsing flessibile e l'applicazione di euristiche per la revisione basate su una rappresentazione formale degli errori di analisi. La ricerca in questa area ha portato all'organizzazione della seconda edizione della conferenza internazionale AMLaP-96 (Architectures and Mechanisms for Language Processing), svoltasi a Torino il 20 e 21 settembre 1996.

In relazione alla semantica lessicale, e' proseguito lo studio dei verbi di comunicazione, approfondendo dell'interazione tra conoscenza pragmatica (speech acts e plan recognition) e conoscenza lessicale. E' inoltre stato effettuato uno studio sui verbi di locazione, con particolare attenzione per il problema del mapping tra sintassi e semantica (linking rules e alternanze). L'analisi semantica delle espressioni aggettivali si e' arricchita con lo sviluppo di un metodo di rappresentazione e di un insieme di procedure di interpretazione per gli aggettivi "relazionali".

Come negli anni precedenti, l'attivita` teorica illustrata e` stata accompagnata dall'estensione del prototipo esistente.

I risultati dell'attivita` sono stati pubblicati su riviste e congressi nazionali e internazionali.

1996 Publications

C. Anglano and L. Portinale: "Parallel Model-based diagnosis using PVM", in Lecture Notes in Computer Science 1156, Springer- Verlag, 1996, pp 331-334.

L. Ardissono, C. Barbero, G. Boella, A. Goy, L. Lesmo, V. Lombardo, P. Rizzo and D. Sestero: "Verso una comprensione del linguaggio", in Proc. 5th Convegno AI*IA, 1996, pp 9-13.

L. Ardissono, G. Boella and L. Lesmo: "Recognition of problem-solving plans in dialogue interpretation", in Proc. 5th Int. Conf. on User Modeling, 1996, pp 195-197.

L. Ardissono, G. Boella, L. Lesmo, P. Rizzo and D. Sestero: "Piani per un'architettura di agente BDI", in Proc. 5th Convegno AI*IA, 1996, pp 273-276.

L. Ardissono, G. Boella and D. Sestero: "A plan-based agent architecture for a flexible interpretation of dialogue phenomena: the case of pre-requests", in Proc. AMLaP-96 Conference: Architectures and Mechanisms for Language Processing, 1996, pp 44.

L. Ardissono, G. Boella and D. Sestero: "Uso di piani di problem-solving nel riconoscimento di piani e obiettivi", in Numero Speciale AIIA Notizie su Interfacce Intelligenti, n. 3, 1996, pp 157-160.

L. Ardissono and R. Cohen: "Extending the role of user feedback in plan recognition and response generation for advice-giving systems: an initial report", in Lecture Notes in Artificial Intelligence n. 1081: Advances in Artificial Intelligence, Springer-Verlag, 1996, pp 109-120.

L. Ardissono and D. Sestero: "Using Dynamic User Models in the Recognition of the Plans of the User", in User Modeling and User-Adapted Interaction, vol. 5, n. 2, 1996, pp 157-190.

C. Baroglio, A. Giordana, M. Kaiser. M. Nuttin and R. Piola: "Learning Controllers for Industrial Robots", in Machine Learning Journal, vol. 23, 1996, pp 221-249.

A. Beimel, F. Bergadano, N. Bshouty, E. Kushilevitz and S. Varricchio: "On the Applications of Multiplicity Automata in Learning", in Proc. Symp. on the Foundations of Computer Science (FOCS), 1996.

F. Bergadano, D. Catalano and S. Varricchio: "Learning Sat-k-DNF formulas from membership queries", in ACM Symposium on the Theory of Computing (STOC), 1996, pp 126-130.

F. Bergadano and D.Gunetti: "Inductive Logic Programming: from Machine Learning to Software Engineering", MIT Press, 1996.

Bergadano, F., Gunetti and D.: "Testing Based on Inductive Inference", in ACM Transactions on Software Engineering and Methodology, vol. 5, n. 2, 1996, pp 119-145.

F. Bergadano, D. Gunetti, M. Nicosia and G. Ruffo: "Learning Logic Programs with Negation as Failure", in L. De Raedt (ed.), Advances in Inductive Logic Programming, IOS Press, 1986, pp 107-123.

F. Bergadano, A. Puliafito, S. Riccobene, G. Ruffo and L. Vita: "Intelligent Agents: a Tool for Managing and Retrieving Information in Distributed Systems", in Proc. of ICCCN'96 - Fifth International Conference on Computer Communictaions and Networks, IEEE Computer Society, 1996, pp 271-272.

Bergadano, F., Varricchio and S.: "Learning Behaviours of Automata from Multiplicity and Equivalence Queries", in SIAM J. on Computing, December 1996.

E. Blanzieri and P. Katenkamp: "Learning Radial Basis Function Networks On-line", in 13th International Conference on Machine Learning, July 1996, pp 37-45.

M. Botta and A. Giordana: "Combining Symbolic and Numeric Methods for Learning to Predict Temporal Series", in 3nd Multistrategy Learning Workshop, 1996, pp 234-249.

V. Brusoni, L. Console, E. Lamma, P. Mello, M. Milano and P. Terenziani: "Resource-based vs. Task-based Approaches for Scheduling Problems", in Z. Ras and M. Michalewicz (eds.), Foundations of Intelligent Systems, LNCS 1079, Springer-Verlag, 1996, pp 325-334.

V. Brusoni, L. Console, B. Pernici and P. Terenziani: "LaTeR: an efficient, general purpose manager of temporal information", in IEEE Expert (to appear).

V. Brusoni, L. Console, P. Terenziani and D. Theseider Dupre': "Temporal model-based diagnosis: an overview from an abductive perspective", in Proc. IEEE-SMC CESA'96 IMACS Multiconference, 1996, pp 326-331.

V. Brusoni, L. Console, P. Terenziani, Theseider Dupre' and D.: "A Spectrum of Definitions for Temporal Model-Based Diagnosis", in Proc. DX 96, 7th Int. Workshop on Principles of Diagnosis, 1996.

L. Console, L. Portinale, Theseider Dupre' and D.: "Using Compiled knowledge to guide and focus abductive diagnosis", in IEEE Transactions on Knowledge and Data Engineering, vol. 8, n. 5, 1996, pp 690-706.

R. Delmonte, G. Ferraris, A. Goy, L. Lesmo, B. Magnini, E. Pianta, O. Stock and C. Strapparava: "ILEX: un dizionario computazionale dell'italiano", in Atti del V Convegno Nazionale dell'AI*IA, 1996, pp 27-30.

V. Di Tomaso, V. Lombardo and L. Lesmo: "A Computational Model for the Interpretation of Locative Expressions", in Olivier/Gapp (ed.), Representation and Processing of Spatial Expressions, Lawrence Erlbaum Associates, 1996.

A. Giordana and F. Neri: "Search-Intensive Concept Induction", in Evolutionary Computation, vol. 3, n. 4, 1996, pp 375-416.

A. Giordana, F. Neri and L. Saitta: "A fined-grained parallel evolutionary program for concept induction", in Z. Ras and M. Michalewicz (eds.), Foundations of Intelligent Systems, LNAI 1079, Springer-Verlag, 1996, pp 168-177.

A. Goy: "Semantica degli aggettivi: lo status quaestionis", in Lingua e Stile, n. 2, 1996, pp 179-214.

A. Goy: "Referential Adjectives: the case of 'alto' (high/tall)", in Proc. of the Workshop W13 at the ECAI'96, 1996, pp 3-8.

A. Goy: "Semantic Representation of Italian Adjectives Denoting Mental States", in Proc. of the Student Session at the ESSLLI'96, 1996.

V. Lombardo: "A Computational Model of Recovery", in J. D. Fodor and F. Ferreira (eds.), Reanalysis in Sentence Processing, Kluwer Academic Publisher, 1996.

V. Lombardo and L. Lesmo: "An Earley-type Recognizer for Dependency Grammar", in Proceedings of XVI International Conference on Computational Linguistics (COLING 96), 1996.

F. Neri and L. Saitta: "An Analysis of the Universal Suffrage Selection Operator", in Evolutionary Computation, vol. 4, n. 1, 1996, pp 89-109.

F. Neri and L. Saitta: "Exploring the Power of Genetic Search in Learning Symbolic Classifiers", in IEEE Trans. on Pattern Analysis and Machine Intelligence, vol. PAMI-18, n. 11, 1996, pp 1135-1142.

L. Portinale: "Improving model-based diagnosis through algebraic analysis: the Petri net challange", in Proc. 13th National Conference on Artificial Intelligence - AAAI 96, 1996, pp 952-958.

L. Portinale and P. Torasso: "On the usefulness of re-using diagnostic solutions", in Proc. 12th European Conference on Artificial Intelligence - ECAI 96, 1996, pp 137-141.

L. Saitta, F. Neri, M. T. Bajo, J. Canas, S. Chaiklin, F. Esposito, C. Nedellec, G. Sabah, A. Tiberghien, G. Vergnaud and S. Vosniadou: "Knowledge Representation Changes in Humans and Machines", in P. Reimann and Hans Spada (eds.), Learning in Humans and Machines: towards an Interdisciplinary Learning Science, 1 Pergamon Press., 1996.

P.Torasso: "Ragionamento basato su casi: valutazioni e prospettive", in Sistemi Intelligenti, vol. 8, n. 3, 1996