CS4700 Foundations of Articial Intelligence
Fall 2014
Assignment 1 (100 pts total)
Due Friday, September 26, 10am CMS.
Solutions must be typed, although equations, graphs, tables, etc., can be drawn in
by hand. You can dicuss the hwk with other students b

CS 4700: Problem Set 1 Fall 2014
Solutions
Problem 1 (R&N 1.9)
Evolution tends to perpetuate organisms (and combinations and mutations of organisms) that are successful
enough to reproduce. That is, evolution favours organisms that can optimize their perf

CS 4700: Midterm
Problem 1 (10 pts, 2 pts each)
(a) (Two possible answers)
False. BFS will not nd the goal if the branching factor is not nite.
True. Assuming nite branching factor, BFS is complete therefore will nd the solution.
(b)
False. Bi-directional

Homework - Synchrony and Oscillations
1. In your readings and in the lecture, several possible schemes for information
representation in the brain are mentioned. Briefly define each of these
(grandmother cells, population coding, neural assemblies).
2. Sk

CS 4700: Problem Set 4
Problem 1
Part a (10 points):
Gain(EQ) = I
95
,
14 14
4
5
I (1, 0) + I
14
14
23
,
55
+
5
I
14
32
,
55
= 0.2468
Gain(good hacker) = I
23
,
55
3
2
I (1, 0) + I (0, 1) = 0.9709
5
5
Gain(publications) = I
23
,
55
3
2
I (1, 0) + I (0, 1)

CS 4700: Problem Set 3
Problem 1
If a formula is satisable, starting from a random initial assignment, WalkSAT can always reach a satisfying
assignment. Note that were not making any claims about how long this might take. To see why this is
the case, assu

CS4700 Foundations of Articial Intelligence
Fall 2012
Assignment 1 (100 pts total)
Due Wednesday, September 19 at the beginning of class.
Solutions must be typed, although equations, graphs, tables, etc., can be drawn in by
hand.
1. General AI (15 pts.) E

CS 4700: Problem Set 1
Problem 1
Memory updates per second is dened by the number of neurons divided by the cycle time. Since the slug
has 20000 neurons and a cycle time of 103 seconds (because we assume that the slug has the same cycle
time as the human

CS4700 Foundations of Articial Intelligence
Fall 2014
Assignment 2 Solutions
1. Game Playing: (25 points total)
Consider the following game tree:
(a) (10 pts.) Fill in the empty squares for the remaining nodes,
using a minimax search.
Solution: See gure
(

CS4700 Foundations of Articial Intelligence
Fall 2014
Assignment 1 (100 pts total)
Due Friday, September 26, 10am CMS.
Solutions must be typed, although equations, graphs, tables, etc., can be drawn in
by hand. You can dicuss the hwk with other students b

CS4700 Foundations of Articial Intelligence
Fall 2014
Assignment 2 (60 pts total)
Due Wednesday, October 22, 10am CMS.
Solutions must be typed, although equations, graphs, tables, etc., can be drawn in
by hand. You can dicuss the hwk with other students b

CS4700 Foundations of Articial Intelligence
Fall 2012
Assignment 3 (100 pts total)
Due Monday, Nov. 19 at the beginning of class.
Solutions must be typed, although equations, graphs, tables, etc., can be drawn in by
hand.
1. Walksat (15 pts.)
In Walksat w

Exercise 1.4
Suppose we extend Evans's ANALOGY program so that it can score 200 on a standard IQ test. Would we
then have a program more intelligent than a human? Explain.
Exercise 1.8
Many of the computational models of cognitive activities that have bee

CS4700 Foundations of Artificial Intelligence
Fall 2016
Assignment 3 (130 pts total)
Due Tuesday, Nov., 22, 6pm on gradescope.com
You can discuss the homework with other students but you need to write up the
solution in your own words. Also, you can consu

CS 4700 Assignment 4 Solutions
Problem 1
a)
The Boolean function is B H
The perceptron is:
b)
The Boolean function is B G
The perceptron is:
c)
The Boolean function is (B H) (B G)
A single perceptron can only represent linearly separable classes. Here is

CS 4804 Homework 4
Solution Sketches
1. (10 points)
x : Barber(x) (y : Shaves(y, y) M an(y) Shaves(x, y)
2. (10 points) To prove that an implication X Y is valid is the same as showing that X |= Y .
We proceed to do this using resolution refutation (negat

Logical equivalences
(mn) E (,5 Au) commutativity or A
(3V5) 5 (fl Va) commutativity ol V
(5! A)r\1) E (mA (,5 A 7) asadnivityoln
(u v)v 1) E (av (,6 v 7) melavityofv
-(-vu) E a double-negation elimination
(0 =5 .5) E (16 =- e) contraposition
(a ,5) E (-a

Course Details
Prerequisites:
CS 2110/ENGRD 2110
CS 2800 - especially probability, first-order logic
Grade:
14%: Homeworks
35%: Prelim (tentatively March 21)
50%: Final
1%: Course evaluation
Class participation: Extra credit (used if you are borderlin

CS 4700: Foundations of Artificial Intelligence
Spring 2017
Extra Credit
Due: Tuesday, May 16, at 8:00 AM
Please submit a list of lectures you attended this semester that were announced as extra credit
opportunities. Each entry in the list should have the

CS 4700:
Foundations of
Artificial Intelligence
Fall 2017
Instructor: Prof. Haym Hirsh
Lecture 5
Piazza course website is up:
piazza.com/cornell/spring2017/cs4700
The researchers found that when apples were scarce, the agents quickly
learned to attack one

CS 4700:
Foundations of
Artificial Intelligence
Fall 2017
Instructor: Prof. Haym Hirsh
Lecture 12
Prelim
Tuesday, March 21
8:40-9:55am
Statler Auditorium
Homework 2
To be posted on Piazza
4701
Projects:
Email to come
Team formation:
Tuesday, March 14
8am

CS 4700:
Foundations of
Artificial Intelligence
Fall 2017
Instructor: Prof. Haym Hirsh
Lecture 10
Today
Adversarial search (R&N Ch 5)
Tuesday, March 7
Knowledge Representation and Reasoning (R&N Ch 7)
Alpha-Beta Pruning: General Case
max
min m
max
If m

CS 4700:
Foundations of
Artificial Intelligence
Fall 2017
Instructor: Prof. Haym Hirsh
Lecture 13
Prelim
Tuesday, March 21, 8:40-9:55am
Statler Auditorium
Ungraded homework: later today
Review session: later today
Makeups: later today
4701
Team formation

CS 4700:
Foundations of
Artificial Intelligence
Fall 2017
Instructor: Prof. Haym Hirsh
Lecture 14
Today
Knowledge Representation and Reasoning (R&N Ch 7-9)
Tuesday, March 21
Prelim, Statler Auditorium
Thursday, March 23
Knowledge Representation and Rea

CS 4700:
Foundations of
Artificial Intelligence
Fall 2017
Instructor: Prof. Haym Hirsh
Lecture 16
Cornell Cinema
Thursday, April 13 7:00pm
Friday, April 14 7:00pm
Sunday, April 16 4:30pm
Cornell Cinema
Thursday, April 13 7:00pm
Co-Sponsored by CIS
Friday,

[M (D
Tticfoolg Seocfw_)h 17.3
pOIMy-l'tbqbu. (SH/4 VII/4 Y\)
F0 at 56/3 TF(S) Van/Um /tjq( (Olaf/UM;
(5)6 0
Rffse (Wt Tr W c110! Lcfw_
we YOIKY wJ (S A, I) K V117) M) cfw_1 (om/fit he q)
Far MU $6; I , l
3:; my 2m (WOW 2. (W/WWW?)
46/1 <63
Thu T1153 QVJ'