Artificial
Intelligence

Fall 2011
course
navigation

assignments

  due Tue Sep 6

Getting Started

  due Fri Sep 16

Searching

  due Tue Sep 20

More Search

Consider a puzzle like the TopSpin one described at http://www.jaapsch.net/puzzles/topspin.htm but having 8 numbers, not 20. That is, you have a list of the numbers 1 to 8 in a randomized order, such as [3,1,4,5,7,6,2,8]. You have three possible moves: 1) flip the first four numbers to get [5,4,1,3,7,6,2,8] 2) rotate them to the right to get [8,3,1,4,5,7,6,2], or 3) rotate them left to get [1,4,5,7,6,2,8,3]. The goal is to put them into the order 1 through 8.
To reach the goal, search the tree of possible moves. (From each node of the tree except the root, one move goes backward, and two of these three moves move down the tree.) Got it? Good; we'll discuss Tues.
  due Tue Sep 27

Last Bit of Search

  due Thu Oct 6

Propositional Logic

Decide whether each of the following sentences is valid, unsatisfiable, or neither. Verify your decisions using truth tables or logical equivalence rules. (Symbols here mean (| or) (& and) (=> implies) (~ not).) a. Smoke => Smoke b. Smoke => Fire c. (Smoke => Fire) => (~ Smoke => ~ Fire) d. Smoke | Fire | ~Fire e. ((Smoke & Heat) => Fire) <=> ((Smoke => Fire) | (Heat => Fire)) f. (Smoke => Fire) => ((Smoke & Heat) => Fire) g. Big | Dumb | (Big => Dumb) h. (Big & Dumb) | ~ Dumb
  due Thu Oct 13

First Order Logic

Consider a vocabulary with the following symbols: Occupation(p, o): Predicate. Person p has occupation o. Customer (p1, p2): Predicate. Person p1 is a customer of person p2. Boss(p1, p2): Predicate. Person p1 is a boss of person p2. Doctor, Surgeon, Lawyer, Actor: Constants denoting occupations. Emily, Joe: Constants denoting people. Use these symbols to write the following assertions in first-order logic: a. Emily is either a surgeon or a lawyer. b. Joe is an actor, but he also holds another job. c. All surgeons are doctors. d. Joe does not have a lawyer (i.e., is not a customer of any lawyer). e. Emily has a boss who is a lawyer. f. There exists a lawyer all of whose customers are doctors. g. Every surgeon has a lawyer. Write out the axioms required for reasoning about the wumpus’s location, using a constant symbol Wumpus and a binary predicate At(Wumpus, Location). Remember that there is only one wumpus. Write axioms describing the predicates Grandchild, Greatgrandparent, Ancestor, Brother, Sister, Daughter, Son, FirstCousin, BrotherInLaw, SisterInLaw, Aunt, and Uncle. Find out the proper definition of mth cousin n times removed, and write the definition in first-order logic. Now write down the basic facts depicted in the family tree. Using a suitable logical reasoning system (i.e. snark) TELL it all the sentences you have written down, and ASK it who are Elizabeth’s grandchildren, brothers-in-law, Zara’s great-grandparents, and Eugenie’s ancestors.
  due Tue Oct 25

mid term coding project

  due Tue Nov 1

Learning part 1

  due Tue Nov 8

Naive Bayes

  due Tue Nov 15

Term Project Proposal & Neural Nets

  due Tue Nov 22

image processing

  due Fri Dec 9

final project

 

term grade

http://cs.marlboro.edu/ courses/ fall2011/ai/ special/assignments
last modified Tuesday December 6 2011 12:50 pm EST