networks - links

Linguaggio e realtà sociale nei sistemi di agenti artificiali

Marco Colombetti, Nicoletta Fornara e Mario Verdicchio






nota storica

I linguaggi di comunicazione per agenti artificiali sono recentemente diventati un punto focale nel campo d'indagine dei sistemi multi-agente, soprattutto in relazione ai cosiddetti sistemi aperti, che necessitano di un supporto di comunicazione uniforme e condiviso. Anche se non esiste ancora un linguaggio di comunicazione per agenti universalmente accettato, tutte le proposte più significative assumono che la comunicazione tra agenti vada trattata in termini di atti linguistici (Austin 1962, Searle 1969), chiamati "atti comunicativi" nel campo dei sistemi multi-agente. Dopo aver svolto un importante ruolo nei modelli della comunicazione uomo-macchina sviluppati nell'ambito dell'intelligenza artificiale, a partire da un lavoro pionieristico di Cohen e Perrault 1979, gli atti linguistici sono stati adottati come fondamento della comunicazione tra agenti dai ricercatori che hanno proposto il linguaggio KQML e dalla Foundation for Intelligent Physical Agents (FIPA), un'organizzazione non lucrativa che si propone di definire un sistema integrato di standard per i sistemi ad agenti. Come recentemente riconosciuto dalla stessa FIPA, tuttavia, il problema di definire in modo rigoroso la semantica di un linguaggio di comunicazione per agenti è tuttora aperto.


pagine web

KQML
Il Knowledge Query and Manipulation Language è un linguaggio per lo scambio di informazioni e conoscenza. La sua definizione è parte di un progetto più vasto, l'ARPA Knowledge Sharing Effort, che mira allo sviluppo di tecniche e metodologie per costruire basi di conoscenza condivise su larga scala.
KIF
Il Knowledge Interchange Format (KIF) è un linguaggio creato per lo scambio di informazioni tra sistemi informatici di diversa natura.
FIPA
La Foundation for Intelligent Physical Agents (FIPA), creata nel 1996, si prefigge l'obiettivo di sviluppare uno standard completo per i sistemi basati su agenti e per il supporto all'interazione tra agenti eterogenei.
AgentCities
Agentcities è un consorzio europeo di centri di ricerca che mira alla costruzione di una rete non proprietaria di sistemi che ospitano servizi basati sulla tecnologia ad agenti. Per la realizzazione dei suoi progetti, il consorzio ha adottato gli standard FIPA.
AgentLink
AgentLink è la rete di eccellenza europea finanziata dall'IST (Information Society Technologies) per la tecnologia ad agenti.
eInstitutor project
Il progetto e-Institutor ha lo scopo di sviluppare uno strumento software per la realizzazione di mercati elettronici mediati da agenti, avvalendosi dell'esperienza dell'IIIA (un istituto di ricerca sull'intelligenza artificiale del Consiglio spagnolo delle ricerche) nella formalizzazione del concetto di istituzione elettronica.
Alfebiite Project
Il progetto europeo Alfebiite, attualmente in via di conclusione, ha indagato sull'applicazione di modelli formali di attività regolate da norme alla definizione, gestione e regolazione delle interazioni dei membri di un sistema distribuito.
link su agenti, Michael Wooldridge
Michael Wooldridge è professore di Computer Science presso il dipartimento di informatica dell'Università di Liverpool. Dirige il gruppo Agent ART, che effettua ricerca di base e applicata nell'area degli agenti autonomi e dei sistemi multiagente. L'interesse principale di Wooldridge consiste nell'uso di metodi formali per specificare e analizzare sistemi multiagente.
link su agenti, Università del Maryland in Baltimora County
AgentWeb è una pagina ipertestuale dell'Università del Maryland contenente numerosi riferimenti a siti di interesse riguardanti la tecnologia ad agenti, e agli eventi e pubblicazioni ad essa legati.




convegni

AAMAS
La serie di conferenze AAMAS (Autonomous Agents and Multi Agent Systems) è nata nel 2002 dalla fusione di tre conferenze già affermate (ICMAS, AGENTS, e ATAL). Lo scopo è di dar luogo ad un forum di alto profilo a carattere internazionale per la ricerca nella teoria e nell'applicazione degli agenti autonomi e dei sistemi multiagente.
AI*IA
L'AI*IA, Associazione Italiana per l'Intelligenza Artificiale, è un'associazione culturale senza fini di lucro, costituita nel 1988 allo scopo di promuovere la ricerca e le applicazioni dell'intelligenza artificiale. È il membro italiano dell'ECCAI (European Committee for Artificial Intelligence).
ECCAI
L'ECCAI (European Committee for Artificial Intelligence) fu creato nel 1982 come corpo rappresentativo della comunità europea dell'intelligenza artificiale. Il suo obiettivo è di promuovere lo studio, la ricerca, e l'applicazione dell'intelligenza artificiale in Europa.
IJCAI
L'IJCAI (International Joint Conference on Artificial Intelligence) è il maggiore evento internazionale che raccoglie i ricercatori in intelligenza artificiale di tutto il mondo. Tenuta negli anni dispari a partire dal 1969, la conferenza è sponsorizzata congiuntamente dalla società IJCAI Inc. e dalle società di intelligenza artificiale della nazione ospitante.
TAC
La Trading Agent Competition (TAC) è un forum internazionale creato per promuovere e incoraggiare ricerche di alto profilo nel campo degli agenti per il commercio elettronico.
TARK
Lo scopo delle conferenze biennali TARK (Theoretical Aspects of Rationality and Knowledge) è di fare incontrare ricercatori provenienti da diversi campi, tra cui l'intelligenza artificiale, l'economia, la teoria dei giochi, la linguistica, la logica, la filosofia e la psicologia, per approfondire gli aspetti interdisciplinari dello studio della razionalità e della conoscenza.


bibliografia

Chaib-draa, B. and D. Vanderveken 1998. "Agent Communication Language: Toward a semantics based on success, satisfaction, and recursion" in Proc. ATAL 1998 (363-379).
Cohen, P.R., H.J. Levesque 1990. "Rational interaction as the basis for communication" in P.R. Cohen, J. Morgan, and M.E. Pollack, eds., Intentions in communication, MIT Press, Cambridge, MA (221-256).
Colombetti, M. 1999. "Semantic, normative and practical aspects of agent communication" in Proc. IJCAI 1999 Workshop on Agent Communication Languages, Stockholm (51-62).
Colombetti, M. 2000a. "A commitment-based approach to agent speech acts and conversations" in Proc. Autonomous Agents 2000 Workshop on Agent Languages and Conversation Policies, Barcelona.
Colombetti, M. 2000b. "A language for artificial agents" in Studies in Communication Sciences 1, 1-32 (scaricabile da www.scoms.ch).
Colombetti, M. 2000c. "Commitment-based semantics for Agent Communication Languages" in Proc. 1st International Workshop on the History and Philosophy of Logic, Mathematics and Computation (HPLMC-00), San Sebastian, E.
Colombetti M., N. Fornara e M. Verdicchio 2002. "The role of institutions in multiagent systems" in Atti del VII convegno dell'Associazione italiana per l'intelligenza artificiale (AI*IA 02), Siena.
Colombetti, M. and M. Verdicchio 2002. "An analysis of agent speech acts as institutional actions" in Proc. AAMAS 2002, Bologna (535-542).
d'Inverno, M., and M. Luck 2001. Understanding agent systems, Springer, Berlin.
Ferber, J. 1999. Multi-Agent Systems: An introduction to Distributed Artificial Intelligence, Addison-Wesley, Harlow, UK.
Finin, T., Y. Labrou and J. Mayfield 1995. "KQML as an agent communication language" in J. Bradshaw, ed., Sofware agents, MIT Press, Cambridge, MA.
Fornara, N., and M. Colombetti 2002. "Operational specification of a commitment-based communication language" in Proc. of AAMAS 2002, Bologna (1157-1164).
Fornara, N. and M. Colombetti 2003. "Defining interaction protocols using a commitment-based Agent Communication Language" in Proc. of AAMAS 2003, Melbourne (accettato per la pubblicazione).
Hewitt, C., P. Bishop, R. Steiger 1973. "A Universal Modular ACTOR Formalism for Artificial Intelligence" in Proc. IJCAI 1973 (235-245).
Jones, A., and M.J. Sergot 1996. "A formal characterisation institutionalised power" in Journal of the IGPL, 4 (429-445).
Perrault, C.R. and J.F. Allen 1980. "A plan-based analysis of indirect speech acts" in American Journal of Computational Linguistics, 6 (167-182).
Searle, J.R. 1969. Speech Acts, Cambridge University Press, Cambridge, UK.
Searle, J.R. 1975a. "A taxonomy of illocutionary acts" in K. Gunderson, ed., Language, mind, and knowledge (Minnesota Studies in the Philosophy of Science VII), University of Minnesota Press (344-369). Reprinted in J.R. Searle 1979, Expression and meaning, Cambridge University Press, Cambridge, UK (1-29).
Searle, J.R. 1975b. "Indirect speech acts" in P. Cole, J. Morgan, eds., Syntax and semantics 3: Speech acts, Academic Press. Reprinted in J.R. Searle 1979, Expression and meaning, Cambridge University Press, Cambridge, UK (30-57).
Searle, J.R. 1995. The construction of social reality, Simon & Schuster.
Searle, J.R., D. Vanderveken 1985. Foundations of illocutionary logic, Cambridge University Press, Cambridge, UK.
Singh, M.P. 1998. "Agent communication languages: Rethinking the principles" in IEEE Computer 31 (40-47).
Singh, M.P. 2000. "A social semantics for Agent Communication Languages" in Issues in Agent Communication (31-45).
Verdicchio, M. and M. Colombetti 2002. "Commitments for agent-based supply chain management" in ACM SIGecom Exchanges, 3-1 (13-23).
Verdicchio, M. and M. Colombetti 2003. "A logical model of social commitment for agent communication" in Proc. AAMAS 2003, Melbourne (accettato per la pubblicazione).
Weiss, G. 1999. Multiagent systems: A modern approach to distributed artificial intelligence, MIT Press, Cambridge, MA.
Wooldridge, M. 2000. Reasoning about rational agents, MIT Press, Cambridge, MA.
Wooldridge, M. 2002. An introduction to multiagent systems, John Wiley, Chichester, UK.



Networks si propone di offrire una panoramica aggiornata su diversi settori di intersezione tra filosofia, intelligenza artificiale e scienze cognitive. Negli articoli (in .pdf) ricercatori di diversa provenienza scientifica descrivono, in un linguaggio accessibile ai non specialisti, i problemi che attualmente li impegnano, il campo di ricerca nel quale si collocano e la prospettiva personale adottata nell'affrontarli. Ad ogni articolo è associato un link (in .html) del campo di ricerca trattato, con rimandi alla bibliografia principale, a siti rilevanti, pagine web e convegni. La maggior parte degli articoli è in italiano (con riassunto in inglese), ma si accettano anche articoli in inglese (con riassunto in italiano).
The aim of Networks is to offer an updated survey of various topics at the intersection of philosophy, artificial intelligence and the cognitive sciences. The Articles (in .pdf) describe in an accessible way the most relevant topics on which the authors are currently working, their disciplinary background, and the personal perspective adopted. Each article is accompanied by a Link, i.e., a map of the related research field, with pointers to the bibliography and to relevant web pages and conferences. The papers are mainly in Italian (with abstract in English), but contributions in English (with abstract in Italian) will also be considered for publication.


SWIF-Sito Web Italiano per la Filosofia - Copyright (c) 1997-98 - Periodico elettronico - registrazione n. ISSN 1126-4780