COSC 418 Artificial Intelligence, Fall 2006, Messiah College
Jump to bottom of page.
Return to top.
- Wed, Aug 30
- Rubric for grades: Messiah College's standards for assigning course letter grades.
- Text website: Find sample code, errata, syllabi from other colleges, and many other things provided by your textbook authors, Stuart Russell and Peter Norvig.
- Errata: In addition to the errata listed at the textbook's website, here are some that I've found.
- Syllabus: The syllabus for our course, version 1.0.
- Day 1: What is AI? Day 1 lecture notes.
- Homework 1: Natural intelligence Short problems for class discussion
(Page 6 is purposely omitted from this page because it contains hints.) Be prepared to discuss "your" question
in front of the class on Friday, September 1, even though we won't get to all of you until the following Wednesday.
- Fri, Sep 1
- Reading test: The fact that you can read fluently these paragraphs
to which I've linked shows that your mind has multiple levels at which it organizes things you read.
- Textbook cover: The signed digraph in the lower right
of your textbook's cover is Sewall Wright's probabilistic network notation (1921), as your text says on p. x.
This link is to the text website to show that Wright did not use probabilities, just signs.
- Mon, Sep 4
- Data Mining PowerPoint for lecture by Dr. William M. Pottenger of Lehigh University.
- Wed, Sep 6
- Continued discussion of Homework 1 sheets.
- Fri, Sep 8
- Introductory lecture and homework 1 concluded.
- Footnotes to Homework 1 The main reason for including this page
is to provide footnotes and a little more information if a project topic for AI evolves out of
the first homework 1 handout sheet.
- Mon, Sep 11
- Discussion of Chapters 1 and 26 of AIMA.
- Wed, Sep 13
- Discussion of Chapter 2, including Questions 2.5, which was required, and 2.7 which I left
- Review for Exam 1 as needed.
- Fri, Sep 15
- Exam 1. Review questions were distributed in class on
September 8 for classes prior to then.
- If you submit questions to me for inclusion on the exam, I will consider including them
if they are easy enough but not too easy, and related to the material in the course.
I must have them by 5:30 p.m. by email yesterday, September 14.
- Mon, Sep 18
- Lecture on blind search, Chapter 3. [ppt]
- Homework for Wednesday is to finish reading Chapter 3, and to prepare the problems assigned
in lecture for oral discussion: ##9, 11, 15 of the Day 1
homework handout; and p. 90, #3.7b.
- Wed, Sep 20
- Lecture on heuristic search, Sections 4.1-4.2. [pdf]
- Homework for Friday is to read Sections 4.1-4.2, and to prepare the problems assigned in lecture
for oral discussion: #13 of the Day 1 homework handout; and two
questions about admissible heuristics.
- Fri, Sep 22
- Lecture on local search, Section 4.3. [pdf]
- Homework for Monday: In preparation for Dr. Rohrbaugh's lecture, look at the following web
site, which has a different take on ontologies than Dr. Rohrbaugh will be giving. It seems
almost to be relationships between words, whereas Cyc which Dr. Rohrbaugh will be introducing
includes "commonsense knowledge" in the form of rules. See WordNet and more especially the link in that site
which allows you to enter a word. I tried
the word "paste." Whew!
- Mon, Sep 25
- Wed, Sep 27
- We finished Chapter 4. Assigned to read for Friday: Sections 5.1 (seriously), 5.2
(superficially); to think about a possible project topic area and with whom you might
work as a team, if you elect to do your project in a team. I will be assigning teams
in time for studying for next week's exam.
- Ontology of AI subdisciplines, coarse version
This should help you to narrow down a topic area of interest.
- Fri, Sep 29
- Lecture on constraint satisfaction. [pdf] For
Monday, finish reading Chapter 5. Practice with Exercises 5.11 and 5.13 at the
end of the chapter.
- Mon, Oct 2
- Lecture on statement logic. [pdf]. For Wednesday,
do the reading but not the Prolog assignment in the lecture notes. If you would like
to download swi-prolog to your own computer in preparation for that you may. When
you are given the choices of what to install, don't bother with all the stuff that ties
it to C++ or Java. Just the minimal installation with examples will be fine. I will
be asking for it to be installed in the labs as well.
- Wed, Oct 4
- Continuing statement logic, through Deduction Theorem. Discuss Java example of CSP
via two algorithms for map coloring: backtracking and minimum conflicts strategies.
- Fri, Oct 6
- Exam 2. Study guide appears here [pdf]. [Copies are
distributed at review session Thursday night, Oct. 5, for those who can make it. Emails
reminded you to look here if you can't make the review session, and to study also Chapter 5,
for which a study outline appeared only in email.
- Mon, Oct 9
- Lecture on statement logic: Deduction.
- Fri, Oct 11
- Lecture on statement logic: Resolution. [pdf]. A sample output
from running several logic programs is also available. [pdf].
It includes two outputs from Chapter 8 on predicate logic as well.
- Mon, Oct 16
- Lecure on predicate logic: Introduction. [pdf].
Read Chapter 8, Sections 1-3.
- Wed, Oct 18
- Predicate logic applications: In-class discussion of exercises at end of Chapter 8.
- Fri, Oct 20
- Dr. Eugene Rohrbaugh: Second lecture on ontology: CYC, an application of predicate logic.
- First graded written homework assignment due: Statement logic.
- Mon, Oct 23
- Predicate logic: applications to Wumpus World and to Constraint Satisfaction Problems.
Resolution again, in Prolog [pdf].
- Wed, Oct 25
- Prolog in lab. [prolog] Reading parts of Chapter 9.
- Fri, Oct 27
- Final Prolog lecture, finishing Chapter 9. [pdf]
Source code is available [prolog].
Homework 2 on FOPC distributed, due Nov. 6.
- Mon, Oct 30
- Intro to neural networks (Section 20.5). Today's overhead is available.
- Wed, Nov 1
- Exam 3 has been postponed for one week by unanimous vote at the start of class on
Monday, October 30. We continue neural networks today.
- Fri, Nov 3
- We conclude neural networks today.
- Mon, Nov 6
- Language, an introduction [pdf].
Second graded homework assignment due (on first order predicate calculus and Prolog).
- Wed, Nov 8
- Fri, Nov 10
- Definite clause grammars. (Lecture notes continued from Nov. 6)
dcg.pl, dcg2.pl, english2.pl
- Mon, Nov 13
- Syntax to semantics; more Prolog (monkey and banana).
An exam 3 postmortem and project due dates and random suggestions are in today's
on-line link [pdf]
- Wed, Nov 15
- From syntax to semantics, in Prolog.
- Fri, Nov 17
- Project proposal due. Demo of Roger C. Shank's Script Applier Mechanism (SAM) to illustrate discourse analysis,
and of Richard Montague's idea of semantics of verbs being compositional. Perhaps a beginning of planning.
- Mon, Nov 20
- Exam 4 is cancelled for today,a nd folded into the final exam, which will cover since Exam 3 only.
- Mon, Nov 27
- Dr. Shieu-Hong Lin, of Biola University, Hidden Markov Models and Bayesian Networks:From Spelling Recognition to Speech Recognition
. Meet in Frey 166 lab.
- Wed, Nov 29