This preview shows pages 1–2. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: CS 482/682: ARTIFICIAL INTELLIGENCE FALL 2009 Homework 2 Constraint Satisfaction Problems - Logic-based Inference and Satisfiability - Adversarial Search You will receive 10% extra credit points if you typeset your answers in LaTeX. Problem 1: Consider the game Sudoku, where we try to fill a 9 × 9 grid of squares with numbers subject to some constraints: every row must contain all of the digits 1 , . . . , 9, every column must contain all of the digits 1 , . . . , 9, and each of the 9 different 3 × 3 boxes must also contain all of the digits 1 , . . . , 9. In addition, some of the boxes are filled with numbers already, indicating that the solution to the problem must contain those assignments. Here is a sample board: Figure 1: A sample Sudoku board Each game is guaranteed to have a single solution. That is, there is only one assignment to the empty squares which satisfies all the constraints. For the purposes of this homework, let’s use n ,j to refer to the number in row , column j of the grid. Also, assume that M of the numbers have been specified in the starting problem, where M = 29 for the problem shown above. 1. Incremental formulation approach. (a) Formalize this problem using an incremental formulation. What are the start state, suc- cessor function, goal test, and path cost function? (b) What is the branching factor, solution depth, and maximum depth of the search space? What is the size of the state space? (c) Assuming we don’t use a heuristic, which of the following would you recommend for solv- ing the incremental search formulation of this problem: BFS , DFS or Iterative Deepening Algorithm? (d) Given the incremental problem formulation, is heuristic search possible? If so, provide a heuristic. If not, why not? 2. Constraint Satisfaction Problem formulation. (a) What is the set of variables, and what is the domain of possible values for each? How do the constrains look like?...
View Full Document
This note was uploaded on 10/23/2011 for the course ENCS ENCS5 taught by Professor Abdelsalam during the Spring '10 term at Birzeit University.
- Spring '10