[a1]
"Bdi
agents: From theory to practice"
A. S. Rao and M. P. Georgeff
Tech. Rep. 56, Australian Artificial Intelligence Institute, Melbourne, Australia,
Apr 1995.
[a2]
"The Belief-Desire-Intention Model
of Agency" (1999)
Michael Georgeff, Barney Pell, Martha Pollack, Milind Tambe, Michael Wooldridge
Proceedings of the 5th International Workshop on Intelligent Agents V : Agent
Theories, Architectures, and Languages (ATAL-98)
[a3]
"Intelligent Agents: Theory and
Practice"
M. Wooldridge and
Knowledge Engineering Review Volume 10 No 2, June 1995. (c)
[a4]
"A formal theory of knowledge and action"
R. C. Moore
Readings in Planning (San Mateo, CA) (J. Allen, J. Hendler,
and A. Tate, eds.), Morgan Kaufmann Publishers, San Mateo, CA, 1990, pp. 480-519.
[a5]
"Intention is choice with commitment"
P. R. Cohen and H. J. Levesque
Artificial Intelligence 42 (1990), 213-261.
[a6a]
"Asymmetry thesis and side-effect problems in linear time and branching
time intention logics"
A. S. Rao and M. P. Georgeff
Proceedings of the Twelfth International Joint Conference on Artificial Intelligence
(IJCAI-91) (Sydney, Australia), 1991, pp. 498-504.
[a6b]
"Modeling
rational agents within a BDI-architecture"
A. S. Rao and M. P. Georgeff
Proceedings of Knowledge Representation and Reasoning (KR&R-91) (R. Fikes and E. Sandewall, eds.), Morgan
Kaufmann Publishers, 1991, pp. 473-484.
[a7a]
"A logic of capabilities" (extended abstract)
W. van der Hoek, B. van
Linder, and J.-J. Ch. Meyer
Proceedings of the Third International Symposium on the Logical Foundations
of Computer Science (LFCS'94) (A. Nerode and Yu.V. Matiyasevich, eds.),
LNAI, vol. 813, Springer Verlag, 1994, pp. 366-378.
[a7b]
"Communicating rational agents"
B. van Linder, W. van der Hoek,
and J.-J. Ch. Meyer
KI-94: Advances in Artificial Intelligence (B. Nebel
and L. Dreschler-Fische, eds.), LNAI, vol. 861,
Springer Verlag, 1994.
[a8]
"Agent-oriented programming"
Y. Shoham
Artificial Intelligence 60 (1993), no. 1, 51-92.
[a9]
"A Methodology and Modelling Technique
for Systems of BDI Agents"
D. Kinny, M. Georgeff,
A. Rao
Technical note 58, 1996
[a10]
“Applications
of Intelligent Agents”
N.
R. Jennings, M. Wooldridge
Agent
Technology: Foundations, Applications, and Markets. Springer,
1998.
G. Tidhar, M. Selvestrel, C. Heinze
In Proceedings of Eighth International Conference on Industrial and Engineering
Applications of Artificial Intelligence and Expert Systems, (iea-aie '95),
Melbourne, Australia, 1995
[a14] "Introducing
the Tileworld: Experimentally evaluating agent architectures"
M. E. Pollack, M. Ringuette
In Proceedings of the Eighth National Conference on Articial Intelligence
(AAAI-90), pages 183-189, Boston, MA, 1990.
[a15]
[a16]
"Using
ARCHON to develop real-world DAI applications for electricity transportation
management and particle accelerator control"
N. R. Jennings, J. M. Corera, I. Laresgoiti, E. H. Mamdani, F. Perriollat,
P. Skarek, L. Z. Varga
IEEE Expert, 1996.
[a17] "ARCHON: an architecture for multi-agent systems"
Wittig, T.
Ellis Horwood Limited, England. (1992)
[a18] "Architectural
properties of multi-agent systems"
O. Shehory
Technical Report CMU-RI-TR-98-28, Carnegie Mellon University, 1998.
[a19] "The
agent architecture inteRRaP: Concept and application"
J. P. Muller, M. Pischel
Research Report RR- 93-26, Deutsches Forschungszentrum fur Kunstliche Intelligenz,
Kaiserslautern, Germany, 1993.
[a20] "The
OASIS air traffic management system"
Ljungberg M., Lucas A.
Australian Artificial Intelligence Institute, Tech. Rep. 28, Melbourne, Australia,
Aug 1992
[a21] "An
architecture for real-time reasoning and system control"
F. F. Ingrand, M. P. Georgeff,
A. S. Rao
IEEE Expert, 7, 34--44,
1992.
[l1]
"Intention, Plans, and Practical Reason"
M. E. Bratman
(Cambridge: Harvard University Press, 1987). Paperback
edition: 1990. Re-issued
1999 by CSLI Publications.
[p1] A collection of items
that offer an introduction or overview of key agent-related concepts and
technologies: http://agents.umbc.edu/introduction/
[p2] Une définition du "logical omniscience problem" par The MIT Encyclopedia of Cognitive Sciences
[p3] Des transparents concis et formels sur les axiomes
K,D,4 et 5 :
http://www.cs.huji.ac.il/~imas/readings/AxiomsKD45_files/frame.html
[p4] Chapitre d’une thèse de Ho Ngoc Duc (avril 2001) à l’université de Leipzig, détaillé
sur des sémantiques des modes possibles (" Possible-Worlds ")
pour la logique épistémique :
http://www.informatik.uni-leipzig.de/~duc/Thesis/node12.html
[p5] Voir aussi son chapitre sur la logique épistémique
modale :
http://www.informatik.uni-leipzig.de/~duc/Thesis/node8.html
[p6] Définition détaillée des axiomes K, D, 4 et 5 sur le
site de M. Wooldridge, extrait de son article avec Jennings " Intelligent Agents : Theory and Practice ",
95 :
http://www.csc.liv.ac.uk/~mjw/pubs/ker95/subsubsectionstar3_2_3_1.html
[p7] Pour ceux sui se demandent ce que le ‘‚’ ou
le ‘<> ’ signifient en logique modale, la définition de " Stanford Encyclopedia of Philosophy " :
http://plato.stanford.edu/entries/logic-modal/#1
[p8] Chapitre d’une thèse de Ho Ngoc Duc (avril 2001) à l’université de Leipzig , une bonne définition du " problem of logical omniscience " : http://www.informatik.uni-leipzig.de/~duc/Thesis/node15.html
[p9] "Intelligent Agents: Theory and
Practice"
M. Wooldridge and
Knowledge Engineering Review Volume 10 No 2, June 1995. (c)
[p10] site allemand contenant les schémas de certaines architectures
présentées (PRS, IRMA, GRATE, COSY):
http://www7.in.tum.de/~weissg/Lehre/AosmSS02/aosm-ss02-2.slides.pdf
l'adresse générale du site est: http://wwwbrauer.in.tum.de/lehre/aosm/SS02/index.shtml
[p11] partie du site de M. Wooldridge
où on peut télécharger des systèmes BDI : http://www.csc.liv.ac.uk/~mjw/pubs/rara/resources.html
Anand S. Rao (bibliographie)
Michael P. Georgeff (bibliographie)
Toutes les références sur les agents, établies par M. Wooldridge:
http://www.csc.liv.ac.uk/~mjw/links/