SC/AS/COSC 4401.03 Artificial Intelligence
GS/COSC 5326.03 Topics in Artificial Intelligence
Winter 2000

Department of Computer Science,
York University

Basic Information

This Year's Topic: Intelligent Agent Modeling and Design.

One of the central concerns of Artificial Intelligence is the design and implementation of autonomous agents - active entities that perceive their environment, reason, plan and execute appropriate actions to achieve their goals (in service of their users), and react to external changes. These may be robots or intelligent software agents that "live" on the Internet. This course covers agent programming languages (such as our own, ConGolog, and others such as AGENT-0), logical models of agency, issues in agent architecture, and applications of intelligent agents.

Instructor

Prof. Yves Lespérance
Office: 342 CCB
Tel: 736-2100 ext. 70146
Email: lesperan@cs.yorku.ca

Lectures

MWF, 11:30 - 12:30, 120 CCB.

Instructor Office Hours

MWF, 16:00 - 17:00, 342 CCB, or by appointment.

Prerequisites

SC/AS/COSC 3402.03 or equivalent. You must know Prolog to take this course (or be able topick it up quickly on your own). You should also have a solid background in first-order logic.

Evaluation

Assignment 15%
In-class tests (2 @ 20% each)      40%
Project Proposal 5%
Project Report 40%
Total 100%

Tentative Outline

References and Links

General References

Wooldridge M. and Jennings, N.R., Intelligent Agents: Theory and Practice, Knowledge Engineering Review, 10 (2), 115-152, 1995; Postscript version, HTML version.

Reiter, R., Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems, Unpublished Draft Monograph, January 1999.

Huhns, M.N. and Singh, M.P. (Eds.), Readings in Agents, Morgan Kaufmann, San Francisco, CA, 1997.

Bradshaw, J. (Ed.), Software Agents, AAAI Press/MIT Press, Cambridge, MA, 1997.

Jennings, N.R. and Wooldridge, M. (Eds.), Agent Technology: Foundations, Applications, and Markets, Springer Verlag, Berlin, 1998.

Wooldridge, M. and Rao, A. (Eds.), Foundations of Rational Agency, Applied Logic Series, Vol. 14, Kluwer, Dordrecht, 1999.

Clocksin, W.F. and Mellish, C.S., Programming in Prolog, Springer Verlag, New York, 1987. Third edition.

Russell, S.J. and Norvig, P., Artificial Intelligence: A Modern Approach, Prentice Hall, 1995.

References on Agent Programming Languages

On Agent-0:

Y. Shoham, Agent Oriented Programming, Artificial Intelligence, 60(1), 51-92, 1993.

S.R. Thomas, A Survey of Agent-Oriented Programming. In Wooldridge, M. and Rao, A. (Eds.), Foundations of Rational Agency, Applied Logic Series, Vol. 14, pp. 263-274, Kluwer, Dordrecht, 1999.

Winton Davies's Agent-K, an implementation of an extension of Agent-0 that uses KQML for interagent communication.

On 3APL:

Koen V. Hindriks, Frank S. de Boer, W. van der Hoek and J.-J.Ch. Meyer. Agent Programming in 3APL, Autonomous Agents and Multi-Agent Systems, 2(4):357-401, 1999.

Koen Hindriks's home page.

On AgentSpeak(L) and PRS:

A. S. Rao, AgentSpeak(L): BDI Agents speak out in a logical, computable language. In Agents Breaking Away, Walter Van de Velde and John W. Perrame (Eds.), pp. 42-55, LNAI, Volume 1038, Springer Verlag, 1996.

A. S. Rao and M. P. Georgeff. An abstract architecture for rational agents. In C. Rich, W. Swartout, and B. Nebel, editors, Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, pp. 439-449, Morgan Kaufmann Publishers, San Mateo, CA, 1992.

Univ. of Michican's implementation of PRS.

On RAP:

R.J. Firby, Adaptive Execution in Complex Dynamic Domains, Ph.D. Thesis, Yale University, Technical Report YALEU/CSD/RR #672, January 1989.

R.J. Firby, The RAP Language Manual, Animate Agent Project Working Note AAP-6, University of Chicago, March 1995.

Jim Firby's home page; has information on an implementation of RAP..

On RPL:

Drew McDermott, A Reactive Plan Language, Technical Report no. 864, Dept. of Computer Science, Yale University, 1991.

Drew McDermott's home page.

References on Process Modeling in ConGolog

Y. Lespérance, T.G.Kelley, J. Mylopoulos, E.S.K. Yu. Modeling Dynamic Domains with ConGolog, in Advanced Information Systems Engineering, 11th International Conference, CAiSE-99, Proceedings, pp. 365-380, Heidelberg, Germany, June 1999, LNCS vol. 1626, Springer-Verlag, Berlin.

S. Shapiro, Y. Lespérance, and H.J. Levesque. Specifying Communicative Multi-Agent Systems with ConGolog. In Working Notes of the AAAI Fall 1997 Symposium on Communicative Action in Humans and Machines, pp. 75-82, Cambridge, MA, November, 1997, AAAI Press. A version of this paper also appears in Agents and Multi-Agent Systems -- Formalisms, Methodologies, and Applications, W. Wobcke, M. Pagnucco, and C. Zhang, eds., pp. 1-14, LNAI, Springer-Verlag, Berlin, 1998.

The Tropos home page - other resources on requirements engineering and process modeling.

The paper on the Contract Net protocol:
Randall Davis and Reid G. Smith. Negociation as a Metaphor for Distributed Problem Solving, Artificial Intelligence, 20:63-109,1983.

References on the Open Agent Architecture (OAA)

D. L. Martin, A. J. Cheyer, and D. B. Moran, The open agent architecture: A framework for building distributed software systems, Applied Artificial Intelligence, 13, 91-128, January-March 1999. Gnu-compressed PostScript version, HTML version.

The OAA home page.

Detailed Schedule