CS479/CS579 : Building and Programming Robots
(Tentative Schedule)
(Time: M W 5:00pm - 6:15pm)
| Week |
Date |
Topic |
|
Assignment |
|
| |
|
Theory |
Robot Building and Programming |
|
|
| 1 |
18-Aug-03 |
Introduction &
PROLOG (See [4]) |
LEGO MINDSTORM - Warm up |
|
|
| |
20-Aug-03 |
PROLOG Class 1 |
Simple programming |
Eclipse examples |
|
| 2 |
25-Aug-03 |
PROLOG Class 2 |
NQC |
List Operations |
|
| |
27-Aug-03 |
PROLOG Class 3 / Small Exam |
Following A Line |
First Robot
Demo |
|
| 3 |
1-Sep-03 |
Labor day holiday |
|
|
|
| |
3-Sep-03 |
Reasoning about
Actions and Changes |
Module and behaviors |
Reading
[1] |
|
| 4 |
8-Sep-03 |
RAC |
|
Reading
[2] |
|
| |
10-Sep-03 |
RAC |
|
Reading
[3],
[5] |
|
| 5 |
15-Sep-03 |
RAC |
|
|
|
| |
17-Sep-03 |
RAC in Prolog |
|
Second Robot Demo |
|
| 6 |
22-Sep-03 |
Planning using Situation Calculus |
Driving from 1 to 6 and back |
|
|
| |
24-Sep-03 |
Read
[6] and
[7].
|
|
|
|
| 7 |
29-Sep-03 |
GOLOG |
|
Third Robot Demo |
|
| |
1-Oct-03 |
Robot Demo |
|
|
|
| 8 |
6-Oct-03 |
GOLOG |
|
|
|
|
8-Oct-03 |
JAVA <-> Eclipse <-> LEGO |
|
|
|
| 9 |
13-Oct-03 |
Fall Break Holiday |
|
|
|
| |
15-Oct-03 |
Legolog [8] |
|
Read
[8] |
|
| 10 |
20-Oct-03 |
Theories of Agents
(Overview)
[9]
and
[10]
|
|
|
|
|
22-Oct-03 |
Review |
|
|
|
| 11 |
27-Oct-03 |
Midterm |
|
|
|
| |
29-Oct-03 |
|
|
|
|
| 12 |
3-Nov-03 |
Overview |
Schedule a meeting
|
|
|
| |
5-Nov-03 |
|
|
|
|
| 13 |
10-Nov-03 |
Reactive Agents (Read
[11]
and
[12]
) |
|
|
|
| |
12-Nov-03 |
|
|
|
|
| 14 |
17-Nov-03 |
Deliberative Agents |
|
|
|
| |
19-Nov-03 |
|
|
|
|
| 15 |
24-Nov-03 |
Hybrid Agents |
|
|
|
| |
26-Nov-03 |
Thanksgiving Holiday |
|
|
|
| 16 |
1-Dec-03 |
Multiagent
Systems |
|
|
|
| |
3-Dec-03 |
|
|
|
|
| 17 |
8-Dec-03 |
Final Project
Demonstration (10 am - 3pm) |
|
|
|
|
|
|
|
|
|
|
|
|
This web site will be updated regularly.
List of papers for reading
[1] V. Lifschitz, N. McCain, E. Remolina and A. Tacchella,
Getting to the airport: the oldest planning problem in AI, in Logic-Based Artificial Intelligence, Kluwer, 2000, pp. 147-165.
[2] John McCarthy and Patrick C. Hayes,
Some Philosophical Problems from the Standpoint of Artificial Intelligence, Machine Intelligence 4, 1969.
[3] M. Gelfond and V. Lifschitz,
Action languages, Electronic Transactions on AI, Vol. 3, No. 16, 1998
[4] A. M. Cheadle, W. H. Andrew, J. Sadler,
J. Schimpf, K. Shen, and M. G. Wallace,
An Introduction to Eclipse, Technical Report,
IC-Parc-03-1, 2003.
[5] Ray Reiter.
The frame problem in the situation calculus:
A simple solution (sometimes) and a completeness result for
goal regression. In Vladimir Lifschitz, editor, Artificial
Intelligence and Mathematical Theory of Computation: Papers
in Honor of John McCarthy, pages 359-380. Academic Press,
San Diego, CA, 1991. (Number [97] in the list on the web site.)
[6]Giuseppe De Giacomo, Yves Lespérance, and Hector Levesque.
ConGolog, a concurrent programming language based on the situation calculus.
Artificial Intelligence, 121(1-2):109-169, 2000.
[7]
H. Levesque, R. Reiter, Y. Lesperance, F. Lin, and R. Scherl.
GOLOG: A logic programming language for dynamic domains.
Journal of Logic Programming, 31:59-84, 1997.
[8]
Hector J. Levesque and Maurice Pagnucco, Legolog:
Inexpensive
Experiments in Cognitive Robotics,
Proceedings of the Second International Cognitive
Robotics Workshop, Berlin, Germany, August 21-22, 2000.
[9]
M. Wooldridge.
Intelligent Agents.
[10]
M. Wooldridge and N. R. Jennings.
Intelligent Agents: Theory and Practice.
[11]
R. Brook
A Robust Layered Control System For Mobile Robot.
[12]
R. Brook
New Approaches to Robotics.
Last modified: Wed Nov 05 18:25:48 Mountain Standard Time 2003