Section 3 CS182 Intelligent Machines: Reasoning, Actions and Plans.

Slides:



Advertisements
Similar presentations
Heuristic Search techniques
Advertisements

1 Today’s class Interleaving backtracking and consistency checking Variable-ordering heuristics Value-ordering heuristics Intelligent backtracking Marie.
Artificial Intelligence Constraint satisfaction problems Fall 2008 professor: Luigi Ceccaroni.
Review: Constraint Satisfaction Problems How is a CSP defined? How do we solve CSPs?
Artificial Intelligence Adversarial search Fall 2008 professor: Luigi Ceccaroni.
Game Playing (Tic-Tac-Toe), ANDOR graph By Chinmaya, Hanoosh,Rajkumar.
Graphs Graphs are the most general data structures we will study in this course. A graph is a more general version of connected nodes than the tree. Both.
Lecture 13 Last time: Games, minimax, alpha-beta Today: Finish off games, summary.
Math 308 Discrete Mathematics Discrete Mathematics deals with “Separated” or discrete sets of objects (rather than continuous sets) Processes with a sequence.
CPSC 322, Lecture 12Slide 1 CSPs: Search and Arc Consistency Computer Science cpsc322, Lecture 12 (Textbook Chpt ) January, 29, 2010.
UNIVERSITY OF SOUTH CAROLINA Department of Computer Science and Engineering CSCE 580 Artificial Intelligence Ch.6: Adversarial Search Fall 2008 Marco Valtorta.
Constraint Satisfaction Problems
24-Jun-15 Pruning. 2 Exponential growth How many leaves are there in a complete binary tree of depth N? This is easy to demonstrate: Count “going left”
Game Tree Search based on Russ Greiner and Jean-Claude Latombe’s notes.
Adversarial Search and Game Playing Examples. Game Tree MAX’s play  MIN’s play  Terminal state (win for MAX)  Here, symmetries have been used to reduce.
Adversarial Search: Game Playing Reading: Chess paper.
CS121 Heuristic Search Planning CSPs Adversarial Search Probabilistic Reasoning Probabilistic Belief Learning.
THE RENJU GAME BY ABHISHEK JAIN, PRANSHU GUPTA & RHYTHM DAS PCLUB SUMMER PROJECT PRESENTATION JUNE, L7 IIT KANPUR MENTOR – SANIL JAIN.
Game Playing State-of-the-Art  Checkers: Chinook ended 40-year-reign of human world champion Marion Tinsley in Used an endgame database defining.
CISC 235: Topic 6 Game Trees.
Lecture 5 Note: Some slides and/or pictures are adapted from Lecture slides / Books of Dr Zafar Alvi. Text Book - Aritificial Intelligence Illuminated.
Artificial Intelligence Introduction (2). What is Artificial Intelligence ?  making computers that think?  the automation of activities we associate.
Game Playing.
Search CSE When you can’t use A* Hill-climbing Simulated Annealing Other strategies 2 person- games.
Constraint Satisfaction Problems (CSPs) CPSC 322 – CSP 1 Poole & Mackworth textbook: Sections § Lecturer: Alan Mackworth September 28, 2012.
What is Genetic Programming? Genetic programming is a model of programming which uses the ideas (and some of the terminology) of biological evolution to.
Instructor: Vincent Conitzer
Game Playing. Towards Intelligence? Many researchers attacked “intelligent behavior” by looking to strategy games involving deep thought. Many researchers.
Connect Four AI Robert Burns and Brett Crawford. Connect Four  A board with at least six rows and seven columns  Two players: one with red discs and.
Games. Adversaries Consider the process of reasoning when an adversary is trying to defeat our efforts In game playing situations one searches down the.
Constraint Satisfaction CPSC 386 Artificial Intelligence Ellen Walker Hiram College.
1 CS B551: Elements of Artificial Intelligence Instructor: Kris Hauser
Artificial Intelligence CS482, CS682, MW 1 – 2:15, SEM 201, MS 227 Prerequisites: 302, 365 Instructor: Sushil Louis,
CSCI 5582 Fall 2006 CSCI 5582 Artificial Intelligence Fall 2006 Jim Martin.
Game Playing. Introduction One of the earliest areas in artificial intelligence is game playing. Two-person zero-sum game. Games for which the state space.
CSC 423 ARTIFICIAL INTELLIGENCE Constraint Satisfaction Problems.
Quiz 4 : Minimax Minimax is a paranoid algorithm. True
Computing & Information Sciences Kansas State University Lecture 8 of 42 CIS 530 / 730 Artificial Intelligence Lecture 8 of 42 William H. Hsu Department.
Adversarial Search Chapter Games vs. search problems "Unpredictable" opponent  specifying a move for every possible opponent reply Time limits.
Chapter 5 Constraint Satisfaction Problems
Computing & Information Sciences Kansas State University Monday, 11 Sep 2006CIS 490 / 730: Artificial Intelligence Lecture 8 of 42 Monday, 11 September.
Quoridor and Artificial Intelligence
1 CSE 4705 Artificial Intelligence Jinbo Bi Department of Computer Science & Engineering
Arc Consistency CPSC 322 – CSP 3 Textbook § 4.5 February 2, 2011.
ARTIFICIAL INTELLIGENCE (CS 461D) Princess Nora University Faculty of Computer & Information Systems.
CS182 Intelligent Machines: Reasoning, Actions and Plans Section 4.
Explorations in Artificial Intelligence Prof. Carla P. Gomes Module 5 Adversarial Search (Thanks Meinolf Sellman!)
Constraint Satisfaction Problems/Programming ZUI 2012/2013.
Adversarial Search In this lecture, we introduce a new search scenario: game playing 1.two players, 2.zero-sum game, (win-lose, lose-win, draw) 3.perfect.
Computing & Information Sciences Kansas State University Friday, 13 Oct 2006CIS 490 / 730: Artificial Intelligence Lecture 21 of 42 Friday, 13 October.
Luca Weibel Honors Track: Competitive Programming & Problem Solving Partisan game theory.
Constraint Propagation CS121 – Winter Constraint Propagation2 Constraint Propagation … … is the process of determining how the possible values of.
CMPT 463. What will be covered A* search Local search Game tree Constraint satisfaction problems (CSP)
Tabu Search for Solving Personnel Scheduling Problem
Accelerated B.S./M.S An approved Accelerated BS/MS program allows an undergraduate student to take up to 6 graduate level credits as an undergraduate.
CSPs: Search and Arc Consistency Computer Science cpsc322, Lecture 12
CSPs: Search and Arc Consistency Computer Science cpsc322, Lecture 12
CSE 473 Artificial Intelligence Oren Etzioni
Constraint Satisfaction Problem
Quiz Feb Inf. Search & CSP.
CSPs: Search and Arc Consistency Computer Science cpsc322, Lecture 12
Constraint Propagation
Eight-QueenS Problem: Fuzzy Constraint Satisfaction Problem Using Soar
Constraints and Search
Pruning 24-Feb-19.
Minimax strategies, alpha beta pruning
Artificial Intelligence
Domain Splitting CPSC 322 – CSP 4 Textbook §4.6 February 4, 2011.
CSP: Definition, Creation, and Algorithms
Minimax strategies, alpha beta pruning
Presentation transcript:

Section 3 CS182 Intelligent Machines: Reasoning, Actions and Plans

Tic-Tac-Toe

A Variation of Tic-Tac-Toe Diagonal row (5 point!), vertical row (3 point!) and horizontal row (1 point!) Suppose you play and it’s your turn now:

Game Tree

Utilities

Solve the Game

Alpha-Beta Pruning

Alpha-Beta Pruning By Hand!

Evaluation Function Sometimes we really can’t make it to the terminal nodes… Cut-off tests and evaluation functions – How likely is this node to lead to a win? Evaluation function for Tic-tac-toe? -How many rows/columns your crosses/circles spread? -Among all diagonal/vertical/horizontal rows, how many are still reachable? -Winning patterns?

Constraint Satisfaction Problem: Can we graduate?

CSP for course requirements (1) Alby-Bach University (ABU) wants to start a new degree program: B.S in Judgment Day Prevention (JDP). Suppose the degree program is associated with the following courses: Fundamental Data Structures and Algorithms Principles of Programming Artificial Intelligence: Representation and Problem- Solving Machine Learning Logic and Computation Graph Theory Accounting Organizational Behavior Information Warfare

CSP for course requirements (2) In order to graduate from the degree program, one must complete the following four requirements: Algorithms Requirement: ( AND ) OR ( AND ) OR ( AND ) Machine Learning Requirement: OR OR Communications Requirement: OR OR Information Warfare Requirement: OR

CSP for course requirements (3) In addition, the department imposes the following restrictions: Information Aggressiveness Restriction: So that they can’t make their programs TOO smart, students can take only one class from the set , , and Basic Arithmetic Restriction: Students can’t take both and Organization Restriction: Students can’t take both and Finally, courses cannot be used to count towards multiple graduation requirements - so if you use to fulfill part of the Algorithms requirement it can’t count towards either the Machine Learning Requirement or the Information Warfare Requirement.

Model the problem as CSP (1) What are the variables? o AR_1 o AR_2 o MLR o CR o IWR

Model the problem as CSP (2) What are the domains? o AR_1: , , , , o AR_2: , , , , o MLR: , , o CR: , , o IWR: ,

Model the problem as CSP (3) What are the constraints? o IAR: 1 of , , and can be assigned to the 5 variables. o BAR: 1 of and can be assigned to the 5 variables o OR: 1 of and can be assigned to the 5 variables o No double counting: if a variable is assigned to one variable it can’t be assigned to another variable o Hidden constraint between AR_1 and AR_2

Forward Checking and Constraint Propagation (1) Suppose John has already taken towards his Information Warfare Requirement and towards his Algorithms Requirement. Use forward checking and constraint propagation to determine other classes he must take to graduate Can he graduate?

Forward Checking and Constraint Propagation (1) AR 1 has been set to and IWR has been set to Forward checking can then be used as follows: AR 2 domain goes from ,15-381,15-681, to due to IAR. MLR domain goes to due to IAR. CR goes to , due to BAR. Constraint propagation can then MLR domain has a single member, so we select AR 2 also has a single member, so we can select So we have a schedule which satisfies AR 1, AR 2, MLR, and CR. But to satisfy the CR we have to select between and (we can’t pick both)  we would need to do some search here to pick between them