Incorporating Constraint Checking Costs in Constraint Satisfaction Problem Suryakant Sansare.

Slides:



Advertisements
Similar presentations
Constraint Satisfaction Problems
Advertisements

Constraint Programming Peter van Beek University of Waterloo.
Constraint Satisfaction Problems Russell and Norvig: Chapter
1 Today’s class Interleaving backtracking and consistency checking Variable-ordering heuristics Value-ordering heuristics Intelligent backtracking Marie.
Constraint Satisfaction Problems Russell and Norvig: Parts of Chapter 5 Slides adapted from: robotics.stanford.edu/~latombe/cs121/2004/home.htm Prof: Dekang.
1 Constraint Satisfaction Problems A Quick Overview (based on AIMA book slides)
1 CMSC 471 Fall 2002 Class #6 – Wednesday, September 18.
1 Constraint Satisfaction Problems. 2 Intro Example: 8-Queens Generate-and-test: 8 8 combinations.
Artificial Intelligence Constraint satisfaction problems Fall 2008 professor: Luigi Ceccaroni.
Review: Constraint Satisfaction Problems How is a CSP defined? How do we solve CSPs?
Constraint Processing and Programming Introductory Exemple Javier Larrosa.
Constraint Satisfaction Problems. Constraint satisfaction problems (CSPs) Standard search problem: – State is a “black box” – any data structure that.
4 Feb 2004CS Constraint Satisfaction1 Constraint Satisfaction Problems Chapter 5 Section 1 – 3.
Constraint Satisfaction Problems
CPSC 322, Lecture 12Slide 1 CSPs: Search and Arc Consistency Computer Science cpsc322, Lecture 12 (Textbook Chpt ) January, 29, 2010.
Artificial Intelligence Constraint satisfaction Chapter 5, AIMA.
CS460 Fall 2013 Lecture 4 Constraint Satisfaction Problems.
Constraint Satisfaction Problems
Constraint Satisfaction Problem Solving Chapter 5.
Constraint Satisfaction Not all problems are solved by a sequential series of steps. How do we solve other types of problems?
Variables “To be is to be the value of a variable.” - William Quine.
© J. Christopher Beck Lecture 13: Modeling in Constraint Programming.
Constraint Satisfaction CPSC 386 Artificial Intelligence Ellen Walker Hiram College.
Searching by Constraint CMSC Artificial Intelligence January 24, 2008.
Hande ÇAKIN IES 503 TERM PROJECT CONSTRAINT SATISFACTION PROBLEMS.
Chapter 5: Constraint Satisfaction ICS 171 Fall 2006.
CSCI 5582 Fall 2006 CSCI 5582 Artificial Intelligence Fall 2006 Jim Martin.
Solving Problems by searching Well defined problems A probem is well defined if it is easy to automatically asses the validity (utility) of any proposed.
Explorations in Artificial Intelligence Prof. Carla P. Gomes Module 6 Binary CSP.
Chapter 5 Constraint Satisfaction Problems
Review Test1. Robotics & Future Technology Future of Intelligent Systems / Ray Kurzweil futurist Ray Kurzweil / A Long Bet A Long Bet / Robot Soccer.
Quality of LP-based Approximations for Highly Combinatorial Problems Lucian Leahu and Carla Gomes Computer Science Department Cornell University.
Constraint Satisfaction Problems (Chapter 6)
CHAPTER 5 SECTION 1 – 3 4 Feb 2004 CS Constraint Satisfaction 1 Constraint Satisfaction Problems.
Solving BCSP using GA and PBIL Constraint Satisfaction Problem Group Sana Benhamida Andrea Roli Belgasem Ali Problem leader J.V.Hemert Jorge Tavares Group.
1. 2 Outline of Ch 4 Best-first search Greedy best-first search A * search Heuristics Functions Local search algorithms Hill-climbing search Simulated.
Chapter 5 Team Teaching AI (created by Dewi Liliana) PTIIK Constraint Satisfaction Problems.
EXAMPLE: MAP COLORING. Example: Map coloring Variables — WA, NT, Q, NSW, V, SA, T Domains — D i ={red,green,blue} Constraints — adjacent regions must.
Constraint Satisfaction CSE 473 University of Washington.
Constraint Satisfaction Problems/Programming ZUI 2012/2013.
1 Constraint Satisfaction Problems (CSP). Announcements Second Test Wednesday, April 27.
CMPT 463. What will be covered A* search Local search Game tree Constraint satisfaction problems (CSP)
Alternative Search Formulations and Applications
Where are the hard problems?
Constraint Satisfaction Problems (Chapter 6)
CSPs: Search and Arc Consistency Computer Science cpsc322, Lecture 12
CSPs: Search and Arc Consistency Computer Science cpsc322, Lecture 12
ECE 448, Lecture 7: Constraint Satisfaction Problems
Constraint Satisfaction Problems (CSPs)
Constraint Satisfaction
Constraint Satisfaction
Constraint Satisfaction Problem
Lecture 7 Constraint Satisfaction Problems
Empirical Comparison of Preprocessing and Lookahead Techniques for Binary Constraint Satisfaction Problems Zheying Jane Yang & Berthe Y. Choueiry Constraint.
CS 188: Artificial Intelligence
Computer Science cpsc322, Lecture 14
CSCI 5582 Artificial Intelligence
Motivation and overview
CSPs: Search and Arc Consistency Computer Science cpsc322, Lecture 12
Constraint Propagation
Chapter 3: Finite Constraint Domains
Constraint Satisfaction Problems
Constraint satisfaction problems
Constraint Satisfaction Problems. A Quick Overview
Constraint Satisfaction Problems
CS 8520: Artificial Intelligence
Constraint Satisfaction Problems
Constraint satisfaction problems
Constraint Satisfaction Problems (CSP)
Presentation transcript:

Incorporating Constraint Checking Costs in Constraint Satisfaction Problem Suryakant Sansare

Presentation What is Constraint Satisfaction Problem What is a cost model ? Domains explored Heuristics used Analysis of results Future Work Conclusion

What is Constraint Satisfaction Problem (CSP) Consists of a set of variables and constraints or restrictions on the legal values of these variables. Eg. Map Coloring problem A solution to CSP is a set of values for the variables such that all or most of the constraints are satisfied.

What is Cost Model ? Costs for a Constraint Network can be communication costs, temporal costs Why do we need to consider costs? They are inherently present in the domain. They affect the overall efficiency of the search process. Two cost models : Constraint set cost Constraint value cost

Domains N-queens Sports Scheduler Easy to visualize. Well understood. Regular constraint structure. Sports Scheduler More realistic model. Less regular constraint network. Association of cost better corresponds to the cost distribution in real world.

Heuristics N-queens Sports Scheduler Most constrained first variable ordering. Deferred constraints. (costly constraints last) Lowest cost first. Highest cost first. Sports Scheduler Lowest Cost First value ordering heuristic. Random Value ordering heuristic. Most constrained team first heuristic.

Experiments N-queens Sports Scheduler Costs were unit costs. Varied the number of costly constraints. Took results for 10 runs for each heuristic. Sports Scheduler Two types of cost distribution Uniform Exponential Varied team size and number of games each team played

Results

Results

Future Work Run more experiments. Find more heuristics for the sports scheduler domain. Run experiments for cases where all the stadiums are not available all the time. Try different cost models.

Conclusion Costs are inherent in certain real world domains. Consideration of these costs during problem solving is necessary and effective.