Last modified March 13, 2017
Web articles may contain links to other interesting items.
|Jan 23||Survey: What is Artificial Intelligence
Overview and history of AI programming languages
Quick review of predicate logic
Survey of programming paradigms
Introduction to Clojure
Background: history of LISP
|Jan. 30||Forward-chaining inference
Web presentation from ACM
More about Clojure
|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
|Feb. 27||Review of first half of course
Mid-term examination (70 minutes)
|The Eliza effect
Experience with Eliza
|Mar. 6||Mid-semester break||-||-||-|
|Mar. 13||Mid-term examination Sample Answers
Introduction to Prolog
Using GNU Prolog
|Mar 20||Another Prolog reference: Warning Full-size pages; if you print it, you'll use a lot of paper!
- Watson, IBM supercomputer on general-knowledge TV quiz show.
|5||3||Mar. 27||Workshop; opportunity to catch up;
|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
|May 1||4:15 P.M. Note time change!
Return to syllabus