SC/AS/COSC 4401.03 Artificial Intelligence
GS/COSC 5326.03 Topics in Artificial Intelligence
Fall 2004

This Year's Theme: Intelligent Agents.

One of the central concerns of Artificial Intelligence is the design and implementation of intelligent/autonomous agents - active entities that perceive their environment, reason, plan and execute appropriate actions to achieve their goals (in service of their users), react to external changes, and have social abilities that allow them to communicate and interact with other agents and users. These may be robots or intelligent software agents that "live" on the Internet. Agent-based approaches are good for building open systems where components can come and go, and work together in flexible ways. This course covers agent programming languages (such as our own, IndiGolog, and others such as 3APL), issues in agent architecture (such as reasoning about action and planning, how to balance reactivity and pro-activeness, etc.), logical models of agency, agent communication languages, multiagent coordination infrastructures and protocols, and applications of intelligent agents.

Instructor

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

Lectures

Tuesday and Thursday from 11:30 to 13:00 to in SC-223.

Instructor Office Hours

Tuesday and Thursday 16:30 - 17:30 and Friday 13:00 - 14:00,
or by appointment.

Prerequisites

You should have a solid background in first-order logic. You must know either Prolog or Java, preferably both.

Tentative Evaluation

Programming Assignment	15%
In-class tests (2 @ 15% each)	30%
Project Proposal	5%
Project Presentation	10%
Project Report	40%
Total	100%

Tentative Schedule

Part I: Introduction
• Week 1 (Sept. 6): Introduction to Intelligent/Autonomous Agents and Multi Agent Systems.
• Week 2 (Sept. 13): Multiagent Platforms and Infrastructures.

  Part II: Intelligent Agent Modeling and Design

• Week 3 (Sept. 20): Introduction to the Situation Calculus and Reasoning About Action.
• Week 4 (Sept. 27): The Situation Calculus: Foundations, Reasoning Methods (Regression), and Logic Programming Implementation.
• Week 5 (Oct. 4): Complex Actions/Procedures and Golog.
• Week 6 (Oct. 11): Concurrent Processes and ConGolog. Programming assignment out.
• Week 7 (Oct. 18): Integrating Sensing, Planning, and Action; IndiGolog. Project Proposal.
• Week 8 (Oct. 25): Other Agent Programming Languages (e.g. 3APL, AgentSpeak(L), Agent0). Programming assignment due. Test 1.

  Part III: Multiagent System Modeling and Design

• Week 9 (Nov. 1): Agent Communication Languages (e.g. FIPA-ACL, KQML, OAA-ICL) and Interaction Protocols.
• Week 10 (Nov. 8): Agents and the Semantic Web.
• Week 11 (Nov. 15): Ontologies and Content Languages.
• Week 12 (Nov. 22): Agent-Oriented Software Engineering. Test 2.

  Part IV: Project Presentations

• Week 13 (Nov. 29): Project Presentations.

References and Links

General References

Reiter, R., Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems, MIT Press, 2001. York Library eCopy, Book home page.

Wooldridge M., An Introduction to Multiagent Systems, Wiley, 2002.

Weiss, Gerhard (Ed.), Multiagent Systems, A Modern Approach to Distributed Artificial Intelligence, MIT Press, 1999. York Library eCopy.

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

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

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.

Readings and Lecture Transparencies

• Week 1 (Sept. 6): Introduction to Intelligent/Autonomous Agents and Multiagent Systems.
  Lecture transparencies.
  Required readings:
  Wooldridge M., Introduction to Multiagent Systems, Ch. 1, Ch. 2 Sec. 1 to 5, and optionally Ch. 7.
  References (optional readings):
  A good overview/survey: Wooldridge M. and Jennings, N.R., Intelligent Agents: Theory and Practice; PDF version, HTML version.
  On ConGolog Robotics Application: Y. Lespérance, K. Tam, and M. Jenkin. Reactivity in a Logic-Based Robot Programming Framework. In Jennings, N.R. and Lespérance, Y., editors, Intelligent Agents Volume VI - Agent Theories, Architectures, and Languages, 6th International Workshop, ATAL'99, Orlando, FL, USA, July 15-17, 1999, Proceedings, 173-187, LNAI 1757, Springer-Verlag, Berlin, 2000.

• Week 2 (Sept. 13): Multiagent Platforms and Infrastructures.
  Lecture transparencies (not complete).
  Required readings: 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.
  F. Bellifemine, A. Poggi, G. Rimassa. JADE - A FIPA-Compliant Agent Framework. In Proc. of PAAM'99, 97-108, London, April, 1999.
  Optional readings: Chapter 6 of Wooldridge's Intro. to Multiagent Systems.
  Additional references:
  The OAA home page,
  the JADE home page,
  the IgOAAlib home page,
  Erick Martinez's IndiGolog-JADE page,
  Stan Li's IndiGolog+JADE page, and
  R. Bayardo, et al., InfoSleuth: Agent-Based Semantic Integration of Information in Open and Dynamic Environments Proc. of SIGMOD'97, 195-206, 1997, which also appears in the collection Readings in Agents (see the general references).

• Week 3 (Sept. 20): Introduction to the Situation Calculus and Reasoning About Action.
  Required readings: Reiter, R., Knowledge in Action, Ch. 1 and 3 (optionally, you can also review your logic by reading Ch. 2).

• Week 4 (Sept. 27): The Situation Calculus: Foundations, Reasoning Methods (Regression), and Logic Programming Implementation.
  Lecture transparencies on Yale Shooting Problem example.
  Required readings: Reiter, R., Knowledge in Action, Ch. 4 and 5.

• Week 5 (Oct. 4): Complex Actions/Procedures and Golog.
  Required readings: Reiter, R., Knowledge in Action, Ch. 6.

• Week 6 (Oct. 11): Concurrent Processes and ConGolog.
  Required readings: G. De Giacomo, Y. Lespérance, and H.J. Levesque. ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, 121, 109-169, 2000.
  Published version from Artificial Intelligence avaliable from York and other Elsevier subscriber hosts; Submitted version.
  Lecture transparencies.

• Week 7 (Oct. 18): Integrating Sensing, Planning, and Action; IndiGolog.
  Required readings: G. De Giacomo and H.J. Levesque. An Incremental Interpreter for High-Level Programs with Sensing. In Logical Foundation for Cognitive Agents: Contributions in Honor of Ray Reiter, Hector J. Levesque and Fiora Pirri, editors, pages 86-102, Springer 1999.
  Lecture transparencies.
  The assignment is out; it is due Nov. 8.
  An IndiGolog interpreter and some examples are available here.
  Test 1 will take place on Thursday Oct. 28; it will be "open book" and cover everything we have seen up to Oct. 22.

• Week 8 (Oct. 25): Other Agent Programming Languages.
  Required readings: Wooldridge's Intro. to Multiagent Systems, Ch. 4.
  Optional readings:
  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; an earlier shorter version of this appeared as Koen V. Hindriks, Frank S. de Boer, W. van der Hoek and J.-J.Ch. Meyer. A formal semantics for an abstract programming language. Intelligent Agents IV - Proceedings of the 4th International Workshop on Agent Theories, Architectures, and Languages (ATAL'97). 215-229, LNAI 1365, Springer Verlag, Berlin, 1998.
  

• Week 9 (Nov. 1): Agents and the Semantic Web.
  Required readings: J. Hendler. Agents and the Semantic Web. IEEE Intelligent Systems, 16(2), 30-37, March-April, 2001 [York E-Resource].
  Additional references:
  McIlraith, S., Son, T.C. and Zeng, H. Semantic Web Services. IEEE Intelligent Systems, Special Issue on the Semantic Web, 16(2):46--53, March/April, 2001. [York E-Resource]
  McIlraith, S. and Son, T. Adapting Golog for Composition of Semantic Web Services. In Proc. of the 8th Int. Conference on Knowledge Representation and Reasoning (KR2002), 482-493, Toulouse, April, 2002.

  Information on the course project is now available; the project proposal is due November 16.

• Week 10 (Nov. 8): Agent Communication Languages (e.g. FIPA-ACL, KQML, OAA-ICL).
  Required readings: Wooldridge's Intro. to Multiagent Systems, Ch. 8, Sec 1 and 2 (the rest of the chapter is optional).

• Week 11 (Nov. 15): Interaction Protocols.
  Required readings: Wooldridge's Intro. to Multiagent Systems, Ch. 9 Sec. 1 and 2 (the rest of the chapter is optional).
  Additional references:
  Randall Davis and Reid G. Smith. Negociation as a Metaphor for Distributed Problem Solving, Artificial Intelligence, 20:63-109,1983.
  

  The second test will be on Nov. 25. It is "open book" and covers everything we have seen up to and including Nov 23.

• Week 12 (Nov. 22): Ontologies and Content Languages. Test 2. Required readings: D. Fensel, F. van Harmelen, I. Horrocks, D.L. McGuiness, and P.F. Patel-Schneider. OIL: An Ontology Infrastructure for the Semantic Web. IEEE Intelligent Systems, 16(2), 38-457, March-April, 2001 [York E-resource].
  Additional references:
  The OWL web page and in particular the OWL Guide.
  The Semantic Web Best Practices and Deployment Working Group Tutorials Page.
  The OIL web page (see the White Paper there for more details on the OIL language).
  The W3C Web Services page.
  The latest OWL-S Release 1.1.
  

• Week 13 (Nov. 29): Project Presentations.