Last modified March 13, 2017

COMP 378 / 484, Spring 2017, Schedule

Date Topic(s) Reading
Web articles may contain links to other interesting items.
Asgn.
given
Asgn.
due
Jan 23 Survey: What is Artificial Intelligence
Overview and history of AI programming languages
Quick review of predicate logic
Installing Clojure
Survey of programming paradigms
Introduction to Clojure
Clojure Introduction
Background: history of LISP
1 -
Jan. 30 Forward-chaining inference
Web presentation from ACM
More about Clojure
Forward chaining
Expert systems
Confidence factors
- -
Feb. 6 Review of recursion
Introduction to Unification
Understanding Natural Language -- Part 1
Unification and Pattern Matching 2 1
Feb 13 Further discussion of assignment #1 and similar problems.
Understanding Natural Language -- Part 2
Unification explained (rather hard to read)
Unification—Sect. 4.4 only
- -
Feb 20 Some Clojure details Overview of Natural Language Understanding—Note links to other interesting material
3 -
Feb. 27 Review of first half of course
Mid-term examination (70 minutes)
The Eliza effect
Experience with Eliza
Speech recognition
- -
Mar. 6 Mid-semester break - - -
Mar. 13 Mid-term examination Sample Answers
Introduction to Prolog
Using GNU Prolog
- 4 2
Mar 20 Another Prolog reference: Warning Full-size pages; if you print it, you'll use a lot of paper!
Chapter 1
Chapter 2
- Understanding Homoiconicity
- Watson, IBM supercomputer on general-knowledge TV quiz show.
5 3
Mar. 27 Workshop; opportunity to catch up;
Miscellaneous topics
Introductory tutorial- - -
Apr. 3 Final thoughts on Natural language understanding Recursion explanation (and more) 6 4
Apr. 10 Overview of neural network technology
Computer vision and other senses
Interesting and mostly understandable chapter from a University of New Mexico text - 5
Apr. 17 Easter holiday - - -
Apr 24 Theorem proving
General course review and discussion
- 7 6
May 1 4:15 P.M. Note time change!
Final examination
- - 7

Return to syllabus