Slides and voice recordings
- Introduction (Aug 21,23) Slides;Recording for Aug 21st
- Putting various reasoning issues into a common platform (Aug 23); Recording for Aug 23rd. (for this recording one may need a ear phone to hear clearly.)
- Representing actions and the environment 1 (Aug 28);Recording for Aug 28th.
- Semantics of A0 (Aug 30); Revised slides during the class; recording
- Sept 04 2007: Old slides 1 and 2. New slides. (will discuss what needs to be modified in the class); recording
- Sept 06 2007: complexity results continued; recording (part a, part b) New slides.
- Sept 11 2007: Slides made by Tu on Sensing actions
- Sept 13 2007: Slides made by Jicheng on LTL
- Sept 18 2007: Using propositional logic to reason and plan in A0 (old slides a, b) New slides.
- Sept 20 2007: Using propositional logic to reason and plan in A0. New slides. recording.
- Sept 25 2007: Representing environment: langauge AR (Slides version 0.1) recording
- Sept 27 2007: Representing and reasoning with static causality (Slides version 0.1) recording
- Oct 2 2007: Discussing projects; reviewing sensing actions and LTL (recording)
- OCt 4 2007: Presentation on ICARUS architecture by Nan and Wende. (ppt) (pptx)
- Oct 9 2007: Going over ICARUS slides (recording)
- Oct 11 2007: Individually meeting students to go over their project proposals
- Oct 16 2007: Individually meeting students to go over their project proposals
- Oct 18 2007: Jicheng's slides on LTL and agent architecture overview.
- Oct 23 2007: Going over the architecture: Some of the sldies in http://www.public.asu.edu/~cbaral/cse591-f04/classnotes/set6-v2.pdf followed by CTL*. http://www.public.asu.edu/~cbaral/cse591-f04/classnotes/set4-1.pdf
- Oct 25 2007: CTL* http://www.public.asu.edu/~cbaral/cse591-f04/classnotes/set4-1.pdf , pi-CTL* http://www.public.asu.edu/~cbaral/cse591-f04/classnotes/set4-2.pdf
- Oct 30 2007: Discuss about test
- Nov 1 2007: Test
- Nov 6 2007: Golog, HTN
- Nov 8 2007: Going over the projects
- Nov 13 2007: Non-monotonic goal languages
- Nov 15 2007: Golog, HTN continued.
- Nov 20 2007: Maintainability
- Nov 22 2007: Thanksgiving
- Nov 27 2007: Maintainability continued
- Nov 29 2007: Project and Test 2 discussions
- Dec 4 2007 : Test 2 (Last day of Class)
- Dec 11 2007: Final exam time (4:40 - 6:30 PM) 10 minute project presentation
Draft of chapters of the book on this topic