| 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 |
24-Aug-04 |
Introduction & NQC |
LEGO MINDSTORM - Warm up |
|
|
| 2 |
31-Aug-04 |
PROLOG (See [1]) |
NQC/Following a Line |
|
|
| 3 |
7-Sep-04 |
PROLOG (See [1]) |
|
Reading [1] |
|
| 4 |
14-Sep-04 |
Logical Agents |
|
Reading [2] |
|
| 5 |
21-Sep-04 |
Reasoning about Action and Change |
|
Reading [3] |
|
| 6 |
28-Sep-04 |
Planning using Situation Calculus |
|
|
|
| 7 |
5-Oct-04 |
GOLOG [6][7] |
|
|
|
| 8 |
12-Oct-04 |
JAVA <-> Eclipse <-> LEGO |
|
|
|
| 9 |
19-Oct-04 |
Legolog [8] |
|
|
|
| 10 |
26-Oct-04 |
Theories of Agents (Overview) [9] and [10] |
|
|
|
| 11 |
2-Nov-04 |
Reactive Agents (Read [11] and [12] ) |
|
|
|
| 13 |
9-Nov-04 |
Deliberative Agents |
|
|
|
| 14 |
16-Nov-04 |
Hybrid Agents |
|
|
|
| 15 |
23-Nov-04 |
Multiagent Systems |
|
|
|
| 16 |
30-Nov-04 |
Projects |
|
|
|
| 17 |
7-Dec-04 |
Final Project Demonstration (10 am - 3pm) |
|
|
|
|
|
|
|
|
| This web
site will be updated regularly. |
|
| List of
papers for reading |
|
|
| [1] 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. |
|
| [2] Logical Agents (Chapter 7, Russel and Norvig's Book) |
|
|
| [3] 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. |
|
| [4]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. |
|
| [5] 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. |
|
| [6] 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. |
|
| [7] M. Wooldridge. Intelligent Agents. |
|
| [8] M. Wooldridge and N. R. Jennings. Intelligent Agents:
Theory and Practice. |
|
| [9] R. Brook A Robust Layered Control System For Mobile
Robot. |
|
| [10] R. Brook New Approaches to Robotics. |
|
|
| [11] C. Baral and M. Gelfond. Reasoning agents in Dynamic
Domains. Logic Based Artificial Intelligence , Edited By J. Minker, Kluwer
2000 |
| [12] G. Georgeff and A. Lansky. Procedural
Knowledge |
|
| [13] M. Bratman, D. Israel, and M. Pollack. Plans and
resource-bounded practical reasoning. |
|
|
|
|
|
|
| Last
modified: Wed Nov 05 18:25:48 Mountain Standard Time 2003 |
|
|
|
|
|
|
|
|
|
|