AUTOMATED REASONING. Agostino Dovier. Udine, October 1, Università di Udine CLPLAB
|
|
- Felicity Harper
- 5 years ago
- Views:
Transcription
1 AUTOMATED REASONING Agostino Dovier Università di Udine CLPLAB Udine, October 1, 2018 AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
2 COURSE PLACEMENT International Master Degree in CS (mandatory course) This is why the course is in (a personal dialect of) English National Master Degree in Informatica (optional course for all, characterizing the path ARA, Algoritmi e ragionamento automatico ) Suggested to Mathematicians due to its roots in logic modeling 6CFUs Project + Oral exam Prerequisites? Some programming experience, some logical background. You have it! AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
3 COURSE PLACEMENT International Master Degree in CS (mandatory course) This is why the course is in (a personal dialect of) English National Master Degree in Informatica (optional course for all, characterizing the path ARA, Algoritmi e ragionamento automatico ) Suggested to Mathematicians due to its roots in logic modeling 6CFUs Project + Oral exam Prerequisites? Some programming experience, some logical background. You have it! AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
4 ACM-IEEE Reading Computer Science Curricula. Joint Task Force on Computing Curricula, ACM-IEEE, Dec we learn that there are Among them there is the area of: 18 Knowledge Areas (of C.S.) IS - Intelligent Systems AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
5 ACM-IEEE Reading Computer Science Curricula. Joint Task Force on Computing Curricula, ACM-IEEE, Dec we learn that there are Among them there is the area of: 18 Knowledge Areas (of C.S.) IS - Intelligent Systems AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
6 ACM-IEEE Reading Computer Science Curricula. Joint Task Force on Computing Curricula, ACM-IEEE, Dec we learn that there are Among them there is the area of: 18 Knowledge Areas (of C.S.) IS - Intelligent Systems AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
7 ACM-IEEE Reading Computer Science Curricula. Joint Task Force on Computing Curricula, ACM-IEEE, Dec we learn that there are Among them there is the area of: 18 Knowledge Areas (of C.S.) IS - Intelligent Systems AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
8 ACM-IEEE IS - INTELLIGENT SYSTEMS Artificial intelligence (AI) is the study of solutions for problems that are difficult or impractical to solve with traditional methods. [...] The solutions rely on a broad set of general and specialized knowledge representation schemes, problem solving mechanisms, and learning techniques. AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
9 ACM-IEEE IS - INTELLIGENT SYSTEMS. 12 SUBAREAS IS/Fundamental Issues IS/Basic Knowledge Representation and Reasoning IS/Basic Search Strategies IS/Advanced Search IS/Advanced Representation and Reasoning IS/Agents IS/Basic Machine Learning IS/Advanced Machine Learning IS/Reasoning Under Uncertainty IS/Natural Language Processing IS/Robotics IS/Perception and Computer Vision The course of Automated Reasoning will deal with the 6 subareas in the left column. AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
10 ACM-IEEE IS - INTELLIGENT SYSTEMS. 12 SUBAREAS IS/Fundamental Issues IS/Basic Knowledge Representation and Reasoning IS/Basic Search Strategies IS/Advanced Search IS/Advanced Representation and Reasoning IS/Agents IS/Basic Machine Learning IS/Advanced Machine Learning IS/Reasoning Under Uncertainty IS/Natural Language Processing IS/Robotics IS/Perception and Computer Vision The course of Automated Reasoning will deal with the 6 subareas in the left column. AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
11 COURSE PROGRAM ACCORDING TO THE 6 SUBAREAS OF IS IS/Fundamental Issues Overview of AI problems, examples of successful recent AI applications IS/Basic Knowledge Representation and Reasoning Review of propositional and predicate logic Resolution and theorem proving IS/Advanced Representation and Reasoning Knowledge representation issues Non-monotonic reasoning Reasoning about action and change Planning Argumentation AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
12 COURSE PROGRAM ACCORDING TO THE 6 SUBAREAS OF IS IS/Basic Search Strategies Problem spaces (states, goals and operators), problem solving by search Factored representation (factoring state into variables) Uninformed search (breadth-first, depth-first, depth-first with iterative deepening) IS/Agents Heuristics and informed search (hill-climbing, generic best-first, A*) Space and time efficiency of search Constraint satisfaction (backtracking and local search methods) Definitions of agents Multi-agent systems (Collaborative agents) AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
13 COURSE PROGRAM ACCORDING TO THE 6 SUBAREAS OF IS IS/Advanced Search Global constraints Large Neighborhood Search SAT and ASP solving with Learning Parallelism Students should encode and solve problems using Minizinc and Answer Set Programming (and will meet SAT, PDDL, and Picat) AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
14 COURSE PROGRAM Constraint Programming Introduction Constraint Propagation and Search Global constraints Modeling in Minizinc Logic Programming Definite programs Default Negation Answer Set Programming (ASP) Modeling in ASP SAT solving (learning) Advanced Topics AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
15 WHAT S GOING ON See International Conference on Constraint Programming (CP) International Conference on Logic Programming (ICLP) International Conference on Theory and Applications of Satisfiability Testing (SAT) (all together in Melbourne in Logic Programming and Non Monotonic Reasoning (LPNMR) International Joint Conference on Artificial Intelligence (IJCAI)... AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
16 CONSTRAINT PROGRAMMING INTRODUCTION Constraint Programming is a declarative programming paradigm rooted in AI, suited for modeling and solving (complex) combinatorial problems Problem modeling and solution searching are clearly separated Typically, the code is very readable and easy to modify You don t have restrictions on the kind of constraints Solution search is natural to parallelize Search heuristics are crucial and easy to be added AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
17 Sketchpad: Ivan Sutherland (PhD thesis, 1963) Notion of CSP (Ugo Montanari 1972) Domain filtering (Waltz 1975) Late Seventies/Early Eighties: constraint propagation (Freuder, Mackworth, others) Late Eighties: the first Constraint-Based Language (Constraint Logic Programming, or CLP) Ninenties: Global constraints and other languages New millennium: hybrid techniques, standardization 2010: Minizinc challenge (and many more: parallelism, learning,... ) Statement by Michael Trick Read aop-cambridge-core/content/view/ 60BF5956A25C6E531BD0C5B0438CD6D5/ S a.pdf/preface.pdf AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28 CONSTRAINT PROGRAMMING BRIEF HISTORY
18 INTRODUCTION ACP ACP Schools tw/ school2013/exercises.html Videos: Pascal Van Hentenryck Peter Stuckey Material (see the web page). However, this is a reference text for this part. Handbook final.pdf AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
19 EXAMPLE 4-QUEENS 4-Queens: put 4 queens on a chessboard 4 4 in such a way as they do not attack each other AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
20 EXAMPLE 4-QUEENS 4-Queens: put 4 queens on a chessboard 4 4 in such a way as they do not attack each other AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
21 EXAMPLE 4-QUEENS 4-Queens: put 4 queens on a chessboard 4 4 in such a way as they do not attack each other AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
22 EXAMPLE 4-QUEENS 4-Queens: put 4 queens on a chessboard 4 4 in such a way as they do not attack each other AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
23 EXAMPLE 4-QUEENS 4-Queens: put 4 queens on a chessboard 4 4 in such a way as they do not attack each other AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
24 EXAMPLE 4-QUEENS Variables Domains X 1,..., X 4 X i = j means a queen is in column i, row j D(X i ) = {1,..., 4}i = 1..4 Constraints (i, j = 1..4 e i < j) X i X j (horizontal attack) X j X i j i (diagonal attack) AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
25 EXAMPLE 4-QUEENS X 1 = 1, X 2 = 1, X 3 = 1, X 4 = 1 WRONG X i X j (horizontal) X j X i j i (diagonal) AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
26 EXAMPLE 4-QUEENS X 1 = 2, X 2 = 4, X 3 = 1, X 4 = 3 CORRECT X i X j (horizontal) X j X i j i (diagonal) AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
27 CONSTRAINT SATISFACTION PROBLEM CSP (CONSTRAINT SATISFACTION PROBLEM) Set of Variables V = {V 1,..., V n } Set of domains D = {D 1,..., D n } Set of Constraints (Vincoli) C on the variables V. We look for one (or all) the admissible solutions, namely an assignment σ : V D 1 D n that satisfies all domains and constraints. No restrictions on domains and kind of constraints AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
28 CONSTRAINT OPTIMIZATION PROBLEM COP (CONSTRAINT OPTIMIZATION PROBLEM) Set of Variables V = {V 1,..., V n } Set of domains D = {D 1,..., D n } Set of Constraints (Vincoli) C on the variables V. A function f : V A We look for one (or all) the assignments σ that are admissible solutions of the CSP that minimizes (equivalently, maximizes) the value of f. No restrictions on domains, kind of constraints, and on the function f AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
29 SEARCH SPACE Given a CSP X 1 D 1,..., X n D n ; C (C denotes the set of all the constraints) The search space is the set of the n-tuples consistent with the domains D 1 D n In this set we look for the points that satisfy the C This set is commonly represented as a tree, the search tree. Let us observe that, in general, the D i can be infinite. AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
30 SEARCH SPACE 4-QUEENS AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
31 CSP/COP NAIVE SEARCH: GENERATE AND TEST Non deterministic technique in which the potential solutions are generated sequentially and verified (akin to Guess & Verify of NP). X 1 = 1, X 2 = 1, X 3 = 1, X 4 = 1 not a solution AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
32 CSP/COP NAIVE SEARCH: GENERATE AND TEST Non deterministic technique in which the potential solutions are generated sequentially and verified (akin to Guess & Verify of NP). X 1 = 1, X 2 = 1, X 3 = 1, X 4 = 1 not a solution AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
33 CSP/COP NAIVE SEARCH: GENERATE AND TEST Non deterministic technique in which the potential solutions are generated sequentially and verified (akin to Guess & Verify of NP). X 1 = 1, X 2 = 1, X 3 = 1, X 4 = 2 not a solution AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
34 CSP/COP NAIVE SEARCH: GENERATE AND TEST Non deterministic technique in which the potential solutions are generated sequentially and verified (akin to Guess & Verify of NP). X 1 = 1, X 2 = 1, X 3 = 1, X 4 = 2 not a solution AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
35 CSP/COP NAIVE SEARCH: GENERATE AND TEST Non deterministic technique in which the potential solutions are generated sequentially and verified (akin to Guess & Verify of NP). X 1 = 1, X 2 = 1, X 3 = 1, X 4 = 3 not a solution AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
36 CSP/COP NAIVE SEARCH: GENERATE AND TEST Non deterministic technique in which the potential solutions are generated sequentially and verified (akin to Guess & Verify of NP). X 1 = 1, X 2 = 1, X 3 = 1, X 4 = 3 not a solution AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
37 CSP/COP NAIVE SEARCH: GENERATE AND TEST Non deterministic technique in which the potential solutions are generated sequentially and verified (akin to Guess & Verify of NP). X 1 = 1, X 2 = 1, X 3 = 1, X 4 = 4 not a solution AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
38 CSP/COP NAIVE SEARCH: GENERATE AND TEST Non deterministic technique in which the potential solutions are generated sequentially and verified (akin to Guess & Verify of NP). X 1 = 1, X 2 = 1, X 3 = 1, X 4 = 4 not a solution AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
39 CSP/COP NAIVE SEARCH: GENERATE AND TEST Non deterministic technique in which the potential solutions are generated sequentially and verified (akin to Guess & Verify of NP). X 1 = 1, X 2 = 1, X 3 = 2, X 4 = 1 not a solution AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
40 CSP/COP NAIVE SEARCH: GENERATE AND TEST Non deterministic technique in which the potential solutions are generated sequentially and verified (akin to Guess & Verify of NP). X 1 = 1, X 2 = 1, X 3 = 2, X 4 = 1 not a solution... We are visiting all the tree. The risk is of doing 4 4 = 256 attempts AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
41 CSP/COP NAIVE SEARCH: PARTIAL ASSIGNMENTS, PARTIAL CHECK, BACKTRACKING 19 attempts. Assignments with X 1 = 3 and X 1 = 4 are symmetrical wrt those already visited. Symmetry breaking will be a crucial issue in modeling. AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
42 CSP/COP NAIVE SEARCH: PARTIAL ASSIGNMENTS, PARTIAL CHECK, BACKTRACKING 19 attempts. Assignments with X 1 = 3 and X 1 = 4 are symmetrical wrt those already visited. Symmetry breaking will be a crucial issue in modeling. AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
43 CSP/COP MAIN NON NAIVE TECHNIQUES USED FOR SOLUTION S SEARCH Local Search (Integer) Linear Programming Translation to SAT and use of a SAT solver Constraint Programming Answer Set Programming (born for KR purposes, but very effective) AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
44 CSP OR COP? COP CSP Assume to have a (black box) COP solver Given a CSP P = X 1 D 1,..., X n D n ; C Define f as a constant (e.g. f (X 1,..., X n ) = 0) call the solver of P, f. It is clear that the solution of the COP is also a solution of the CSP. AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
45 CSP OR COP? CSP COP Suppose now to have a solver (think to it as to a black box) capable of solving a CSP P = X 1 D 1,..., X n D n ; C, f (X 1,..., X n ) k Let M a (even rough) upper bound of the expected value of the function. Given P is usually easy to find an upper bound. Assume f ranges on N. Using bisection (with a number of calls limited by log 2 M) we can solve the COP riesco a risolvere il COP Eg, suppose the minimum is 15 (but we don t know it yet) and M = 205. Let s solve P with k = 205, 102, 51, 25, 12. With 12 we have the first no. Thus the minimum is between 13 and 25. Let s try (yes), (yes), (no). The doubt is now between 14 or 15. Calling the solver on P with k = 14 we discover it. If f ranges on R it is the same with some approximation considerations. AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
46 CSP OR COP? COP CSP In principle solving CSP and COP is not too much different. However, finding a solution to a even big CSP can be easy (if we are lucky) finding the minimum in very big COPs imply the visit of the whole (or, at least of a big protion of the) search space Sometimes we are happy with good solutions, not necessarily the minimum. AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
47 NP-HARDNESS OF CSP Let us recall the 3-coloring problem: does a coloring of the nodes of a graph using three colors in such a way that adjacent nodes have different colors exist? D 1 = = D 6 = {red, green, black}, X 1 X 2, X 1 X 3, X 1 X 5,..., X 5 X 6 AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
48 NP-HARDNESS OF CSP Let us recall the 3-coloring problem: does a coloring of the nodes of a graph using three colors in such a way that adjacent nodes have different colors exist? D 1 = = D 6 = {red, green, black}, X 1 X 2, X 1 X 3, X 1 X 5,..., X 5 X 6 AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
49 NP-HARDNESS OF CSP Let us recall the 3-coloring problem: does a coloring of the nodes of a graph using three colors in such a way that adjacent nodes have different colors exist? D 1 = = D 6 = {red, green, black}, X 1 X 2, X 1 X 3, X 1 X 5,..., X 5 X 6 AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
50 A FAMOUS CSP domain([x 1,1,..., X 9,9 ], 1, 9) X 1,3 = 1, X 2,3 = 2, X 2,5 = 3, X 2,9 = 4,..., X 9,7 = 5 alldifferent(x 1,1,..., X 1,9 )... alldifferent(x 9,1,..., X 9,9 ) alldifferent(x 1,1,..., X 9,1 )... alldifferent(x 1,9,..., X 9,9 ) alldifferent(x 1,1,..., X 3,3 )... alldifferent(x 7,7,..., X 9,9 ) AGOSTINO DOVIER (CLPLAB) AUTOMATED REASONING UDINE, OCTOBER 1, / 28
Modelling with Constraints
Masterclass Modelling with Constraints Part 1: Introduction Alan M Frisch Artificial Intelligence Group Dept of Computer Science University of York 12 December 2011 1 Motivation A modern generation of
More informationNeighborhood Search: Mixing Gecode and EasyLocal++
: Mixing Gecode and EasyLocal++ Raffaele Cipriano 1 Luca Di Gaspero 2 Agostino 1 1) DIMI - Dip. di Matematica e Informatica Università di Udine, via delle Scienze 206, I-33100, Udine, Italy 2) DIEGM -
More informationOutline of the talk. Local search meta-heuristics for combinatorial problems. Constraint Satisfaction Problems. The n-queens problem
Università G. D Annunzio, maggio 00 Local search meta-heuristics for combinatorial problems Luca Di Gaspero Dipartimento di Ingegneria Elettrica, Gestionale e Meccanica Università degli Studi di Udine
More informationCombining forces to solve Combinatorial Problems, a preliminary approach
Combining forces to solve Combinatorial Problems, a preliminary approach Mohamed Siala, Emmanuel Hebrard, and Christian Artigues Tarbes, France Mohamed SIALA April 2013 EDSYS Congress 1 / 19 Outline Context
More informationConstraint Satisfaction Problems. Chapter 6
Constraint Satisfaction Problems Chapter 6 Office hours Office hours for Assignment 1 (ASB9810 in CSIL): Sep 29th(Fri) 12:00 to 13:30 Oct 3rd(Tue) 11:30 to 13:00 Late homework policy You get four late
More informationCSE 473: Artificial Intelligence
CSE 473: Artificial Intelligence Constraint Satisfaction Luke Zettlemoyer Multiple slides adapted from Dan Klein, Stuart Russell or Andrew Moore What is Search For? Models of the world: single agent, deterministic
More informationCS 188: Artificial Intelligence Fall 2008
CS 188: Artificial Intelligence Fall 2008 Lecture 4: CSPs 9/9/2008 Dan Klein UC Berkeley Many slides over the course adapted from either Stuart Russell or Andrew Moore 1 1 Announcements Grading questions:
More informationAnnouncements. CS 188: Artificial Intelligence Fall Large Scale: Problems with A* What is Search For? Example: N-Queens
CS 188: Artificial Intelligence Fall 2008 Announcements Grading questions: don t panic, talk to us Newsgroup: check it out Lecture 4: CSPs 9/9/2008 Dan Klein UC Berkeley Many slides over the course adapted
More informationCS 4100 // artificial intelligence
CS 4100 // artificial intelligence instructor: byron wallace Constraint Satisfaction Problems Attribution: many of these slides are modified versions of those distributed with the UC Berkeley CS188 materials
More informationArtificial Intelligence Constraint Satisfaction Problems
Artificial Intelligence Constraint Satisfaction Problems Recall Search problems: Find the sequence of actions that leads to the goal. Sequence of actions means a path in the search space. Paths come with
More informationA Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal++
A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal++ Raffaele Cipriano 1, Luca Di Gaspero 2, and Agostino Dovier 1 1 DIMI (cipriano dovier)@dimi.uniud.it 2 DIEGM l.digaspero@uniud.it
More informationWhat is Search For? CS 188: Artificial Intelligence. Constraint Satisfaction Problems
CS 188: Artificial Intelligence Constraint Satisfaction Problems What is Search For? Assumptions about the world: a single agent, deterministic actions, fully observed state, discrete state space Planning:
More informationCS-171, Intro to A.I. Mid-term Exam Fall Quarter, 2014
CS-171, Intro to A.I. Mid-term Exam Fall Quarter, 2014 YOUR NAME: YOUR ID: ID TO RIGHT: ROW: SEAT: The exam will begin on the next page. Please, do not turn the page until told. When you are told to begin
More informationConstraint Satisfaction Problems
Constraint Satisfaction Problems [These slides were created by Dan Klein and Pieter Abbeel for CS188 Intro to AI at UC Berkeley. All CS188 materials are available at http://ai.berkeley.edu.] What is Search
More informationIntroduction to Constraint Programming
DM841 Discrete Optimization Part II Lecture 1 Introduction to Constraint Programming Marco Chiarandini Department of Mathematics & Computer Science University of Southern Denmark Outline Course Introduction
More informationConstraint Satisfaction Problems
Constraint Satisfaction Problems Robert Platt Northeastern University Some images and slides are used from: 1. AIMA What is a CSP? The space of all search problems states and actions are atomic goals are
More informationConstraint Propagation: The Heart of Constraint Programming
Constraint Propagation: The Heart of Constraint Programming Zeynep KIZILTAN Department of Computer Science University of Bologna Email: zeynep@cs.unibo.it URL: http://zeynep.web.cs.unibo.it/ What is it
More informationConstraint Satisfaction Problems (CSPs)
1 Hal Daumé III (me@hal3.name) Constraint Satisfaction Problems (CSPs) Hal Daumé III Computer Science University of Maryland me@hal3.name CS 421: Introduction to Artificial Intelligence 7 Feb 2012 Many
More informationConstraint Satisfaction Problems (CSPs)
Constraint Satisfaction Problems (CSPs) CPSC 322 CSP 1 Poole & Mackworth textbook: Sections 4.0-4.2 Lecturer: Alan Mackworth September 28, 2012 Problem Type Static Sequential Constraint Satisfaction Logic
More informationIntroduction to Computer Science and Programming for Astronomers
Introduction to Computer Science and Programming for Astronomers Lecture 9. István Szapudi Institute for Astronomy University of Hawaii March 21, 2018 Outline Reminder 1 Reminder 2 3 Reminder We have demonstrated
More informationConstraint Satisfaction
Constraint Satisfaction Philipp Koehn 1 October 2015 Outline 1 Constraint satisfaction problems (CSP) examples Backtracking search for CSPs Problem structure and problem decomposition Local search for
More informationProblem 1 Zero: 11% (~20 students), Partial: 66% (~120 students), Perfect: 23% (~43 students)
For each question on the Mid-term Exam, Zero below gives the fraction of students who scored zero, Partial gives the fraction who got partial credit, and Perfect gives the fraction who scored 100%. Problem
More informationBranch & Bound (B&B) and Constraint Satisfaction Problems (CSPs)
Branch & Bound (B&B) and Constraint Satisfaction Problems (CSPs) Alan Mackworth UBC CS 322 CSP 1 January 25, 2013 P&M textbook 3.7.4 & 4.0-4.2 Lecture Overview Recap Branch & Bound Wrap up of search module
More informationCS 343: Artificial Intelligence
CS 343: Artificial Intelligence Constraint Satisfaction Problems Prof. Scott Niekum The University of Texas at Austin [These slides are based on those of Dan Klein and Pieter Abbeel for CS188 Intro to
More informationCSC384 Test 1 Sample Questions
CSC384 Test 1 Sample Questions October 27, 2015 1 Short Answer 1. Is A s search behavior necessarily exponentially explosive?. That is, does its search time always grow at least exponentially with the
More informationSet 5: Constraint Satisfaction Problems
Set 5: Constraint Satisfaction Problems ICS 271 Fall 2014 Kalev Kask ICS-271:Notes 5: 1 The constraint network model Outline Variables, domains, constraints, constraint graph, solutions Examples: graph-coloring,
More informationConstraint Programming
Constraint Programming - An overview Examples, Satisfaction vs. Optimization Different Domains Constraint Propagation» Kinds of Consistencies Global Constraints Heuristics Symmetries 7 November 0 Advanced
More informationConstraint Satisfaction Problems
Constraint Satisfaction Problems Bernhard Nebel, Julien Hué, and Stefan Wölfl Albert-Ludwigs-Universität Freiburg April 23, 2012 Nebel, Hué and Wölfl (Universität Freiburg) Constraint Satisfaction Problems
More informationChapter 3: Finite Constraint Domains
Chapter 3: Finite Constraint Domains Where we meet the simplest and yet most difficult constraints, and some clever and not so clever ways to solve them Finite Constraint Domains Constraint Satisfaction
More information1 Tree Search (12 points)
1 Tree Search (12 points) Consider the tree shown below. The numbers on the arcs are the arc lengths. Assume that the nodes are expanded in alphabetical order when no other order is specified by the search,
More informationArtificial Intelligence
Torralba and Wahlster Artificial Intelligence Chapter 8: Constraint Satisfaction Problems, Part I 1/48 Artificial Intelligence 8. CSP, Part I: Basics, and Naïve Search What to Do When Your Problem is to
More information6.034 Quiz 1, Spring 2004 Solutions
6.034 Quiz 1, Spring 2004 Solutions Open Book, Open Notes 1 Tree Search (12 points) Consider the tree shown below. The numbers on the arcs are the arc lengths. Assume that the nodes are expanded in alphabetical
More informationAnnouncements. Homework 4. Project 3. Due tonight at 11:59pm. Due 3/8 at 4:00pm
Announcements Homework 4 Due tonight at 11:59pm Project 3 Due 3/8 at 4:00pm CS 188: Artificial Intelligence Constraint Satisfaction Problems Instructor: Stuart Russell & Sergey Levine, University of California,
More informationExpert Systems (Graz) Heuristic Search (Klagenfurt) - Search -
Expert Systems (Graz) Heuristic Search (Klagenfurt) - Search - Institut für Softwaretechnologie Inffeldgasse 16b/2 A-8010 Graz Austria 1 References Skriptum (TU Wien, Institut für Informationssysteme,
More informationInformed (heuristic) search (cont). Constraint-satisfaction search.
CS 1571 Introduction to AI Lecture 5 Informed (heuristic) search (cont). Constraint-satisfaction search. Milos Hauskrecht milos@cs.pitt.edu 539 Sennott Square Administration PS 1 due today Report before
More informationExample: Map coloring
Today s s lecture Local Search Lecture 7: Search - 6 Heuristic Repair CSP and 3-SAT Solving CSPs using Systematic Search. Victor Lesser CMPSCI 683 Fall 2004 The relationship between problem structure and
More informationCS 540-1: Introduction to Artificial Intelligence
CS 540-1: Introduction to Artificial Intelligence Exam 1: 7:15-9:15pm, October 11, 1995 CLOSED BOOK (one page of notes allowed) Write your answers on these pages and show your work. If you feel that a
More information1 Introduction and Examples
1 Introduction and Examples Sequencing Problems Definition A sequencing problem is one that involves finding a sequence of steps that transforms an initial system state to a pre-defined goal state for
More informationAnnouncements. CS 188: Artificial Intelligence Fall 2010
Announcements Project 1: Search is due Monday Looking for partners? After class or newsgroup Written 1: Search and CSPs out soon Newsgroup: check it out CS 188: Artificial Intelligence Fall 2010 Lecture
More informationSet 5: Constraint Satisfaction Problems
Set 5: Constraint Satisfaction Problems ICS 271 Fall 2012 Rina Dechter ICS-271:Notes 5: 1 Outline The constraint network model Variables, domains, constraints, constraint graph, solutions Examples: graph-coloring,
More informationSet 5: Constraint Satisfaction Problems
Set 5: Constraint Satisfaction Problems ICS 271 Fall 2013 Kalev Kask ICS-271:Notes 5: 1 The constraint network model Outline Variables, domains, constraints, constraint graph, solutions Examples: graph-coloring,
More informationIntroduction. Bernhard Nebel, Julien Hué, and Stefan Wölfl. April 23, 2012
Bernhard Nebel, Julien Hué, and Stefan Wölfl Albert-Ludwigs-Universität Freiburg April 23, 2012 s s What is a constraint? 1 a: the act of constraining b: the state of being checked, restricted, or compelled
More informationSet 5: Constraint Satisfaction Problems Chapter 6 R&N
Set 5: Constraint Satisfaction Problems Chapter 6 R&N ICS 271 Fall 2017 Kalev Kask ICS-271:Notes 5: 1 The constraint network model Outline Variables, domains, constraints, constraint graph, solutions Examples:
More informationCoping with the Limitations of Algorithm Power Exact Solution Strategies Backtracking Backtracking : A Scenario
Coping with the Limitations of Algorithm Power Tackling Difficult Combinatorial Problems There are two principal approaches to tackling difficult combinatorial problems (NP-hard problems): Use a strategy
More informationSearching. Assume goal- or utilitybased. Next task to achieve is to determine the best path to the goal
Searching Assume goal- or utilitybased agents: state information ability to perform actions goals to achieve Next task to achieve is to determine the best path to the goal CSC384 Lecture Slides Steve Engels,
More informationOutline. Outline. Schedule and Material. 1. Course Introduction. 2. Combinatorial Optimization Combinatorial Problems Solution Methods. 3.
Outline DM811 Autumn 2011 Heuristics for Combinatorial Optimization Lecture 1 Course Introduction Combinatorial Optimization and Modeling Marco Chiarandini Department of Mathematics & Computer Science
More informationCS 4100/5100: Foundations of AI
CS 4100/5100: Foundations of AI Constraint satisfaction problems 1 Instructor: Rob Platt r.platt@neu.edu College of Computer and information Science Northeastern University September 5, 2013 1 These notes
More information4 Search Problem formulation (23 points)
4 Search Problem formulation (23 points) Consider a Mars rover that has to drive around the surface, collect rock samples, and return to the lander. We want to construct a plan for its exploration. It
More informationAn Efficient Arc Consistency Algorithm for a Class of CSP Problems
An Efficient Arc Consistency Algorithm for a Class of CSP Problems Yves Deville* University of Namur, 21 rue Grandgagnage B-5000 Namur (Belgium) Email: yde@infoiundp.ac.be Pascal Van Hentenryck Brown University,
More informationUnifying and extending hybrid tractable classes of CSPs
Journal of Experimental & Theoretical Artificial Intelligence Vol. 00, No. 00, Month-Month 200x, 1 16 Unifying and extending hybrid tractable classes of CSPs Wady Naanaa Faculty of sciences, University
More informationReading: Chapter 6 (3 rd ed.); Chapter 5 (2 nd ed.) For next week: Thursday: Chapter 8
Constraint t Satisfaction Problems Reading: Chapter 6 (3 rd ed.); Chapter 5 (2 nd ed.) For next week: Tuesday: Chapter 7 Thursday: Chapter 8 Outline What is a CSP Backtracking for CSP Local search for
More informationWhat is Search For? CS 188: Artificial Intelligence. Example: Map Coloring. Example: N-Queens. Example: N-Queens. Constraint Satisfaction Problems
CS 188: Artificial Intelligence Constraint Satisfaction Problems What is Search For? Assumptions about the world: a single agent, deterministic actions, fully observed state, discrete state space Planning:
More informationCS 188: Artificial Intelligence Fall 2011
Announcements Project 1: Search is due next week Written 1: Search and CSPs out soon Piazza: check it out if you haven t CS 188: Artificial Intelligence Fall 2011 Lecture 4: Constraint Satisfaction 9/6/2011
More informationLocal Search for CSPs
Local Search for CSPs Alan Mackworth UBC CS CSP February, 0 Textbook. Lecture Overview Domain splitting: recap, more details & pseudocode Local Search Time-permitting: Stochastic Local Search (start) Searching
More informationPlanning as Tabled Logic Programming
Planning as Tabled Logic Programming Neng-Fa Zhou, Roman Barták, Agostino Dovier Tabled Planning 1 Logic Programming for Planning PLANNER [Hewitt69], a language for proving theorems and manipulating models
More informationOn the Space-Time Trade-off in Solving Constraint Satisfaction Problems*
Appeared in Proc of the 14th Int l Joint Conf on Artificial Intelligence, 558-56, 1995 On the Space-Time Trade-off in Solving Constraint Satisfaction Problems* Roberto J Bayardo Jr and Daniel P Miranker
More informationConstraint (Logic) Programming
Constraint (Logic) Programming Roman Barták Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic bartak@ktiml.mff.cuni.cz Sudoku Combinatorial puzzle, whose goal is to enter
More informationCS 188: Artificial Intelligence. Recap: Search
CS 188: Artificial Intelligence Lecture 4 and 5: Constraint Satisfaction Problems (CSPs) Pieter Abbeel UC Berkeley Many slides from Dan Klein Recap: Search Search problem: States (configurations of the
More informationA Hybrid Constraint Programming Approach to Nurse Rostering Problem
A Hybrid Constraint Programming Approach to Nurse Rostering Problem Fang He*, Dr. Rong Qu The Automated Scheduling, Optimisation and Planning (ASAP) research group School of Computer Science University
More informationCS 188: Artificial Intelligence. What is Search For? Constraint Satisfaction Problems. Constraint Satisfaction Problems
CS 188: Artificial Intelligence Constraint Satisfaction Problems Constraint Satisfaction Problems N variables domain D constraints x 1 x 2 Instructor: Marco Alvarez University of Rhode Island (These slides
More informationLearning Objectives. c D. Poole and A. Mackworth 2010 Artificial Intelligence, Lecture 3.5, Page 1
Learning Objectives At the end of the class you should be able to: justify why depth-bounded search is useful demonstrate how iterative-deepening works for a particular problem demonstrate how depth-first
More informationConstraint Programming. Marco Kuhlmann & Guido Tack Lecture 1
Constraint Programming Marco Kuhlmann & Guido Tack Lecture 1 Welcome! Where am I? Constraint Programming advanced course in Computer Science 6 credit points lecture (2 hours) + lab (2 hours) http://www.ps.uni-sb.de/courses/cp-ss07/
More informationIntroduction to Fall 2014 Artificial Intelligence Midterm Solutions
CS Introduction to Fall Artificial Intelligence Midterm Solutions INSTRUCTIONS You have minutes. The exam is closed book, closed notes except a one-page crib sheet. Please use non-programmable calculators
More informationSome Applications of Graph Bandwidth to Constraint Satisfaction Problems
Some Applications of Graph Bandwidth to Constraint Satisfaction Problems Ramin Zabih Computer Science Department Stanford University Stanford, California 94305 Abstract Bandwidth is a fundamental concept
More informationCS 520: Introduction to Artificial Intelligence. Review
CS 520: Introduction to Artificial Intelligence Prof. Louis Steinberg Lecture 2: state spaces uninformed search 1 What is AI? A set of goals Review build an artificial intelligence useful subgoals A class
More informationCS-171, Intro to A.I. Mid-term Exam Winter Quarter, 2016
CS-171, Intro to A.I. Mid-term Exam Winter Quarter, 016 YOUR NAME: YOUR ID: ID TO RIGHT: ROW: SEAT: The exam will begin on the next page. Please, do not turn the page until told. When you are told to begin
More informationCS W4701 Artificial Intelligence
CS W4701 Artificial Intelligence Fall 2013 Chapter 6: Constraint Satisfaction Problems Jonathan Voris (based on slides by Sal Stolfo) Assignment 3 Go Encircling Game Ancient Chinese game Dates back At
More informationProblem Solving and Search in Artificial Intelligence
Problem Solving and Search in Artificial Intelligence Uninformed Search Strategies Nysret Musliu Database and Artificial Intelligence Group Institut für Informationssysteme, TU-Wien Introduction Many classic
More informationWhat is Search For? CSE 473: Artificial Intelligence. Example: N-Queens. Example: N-Queens. Example: Map-Coloring 4/7/17
CSE 473: Artificial Intelligence Constraint Satisfaction Dieter Fox What is Search For? Models of the world: single agent, deterministic actions, fully observed state, discrete state space Planning: sequences
More information10/11/2017. Constraint Satisfaction Problems II. Review: CSP Representations. Heuristic 1: Most constrained variable
//7 Review: Constraint Satisfaction Problems Constraint Satisfaction Problems II AIMA: Chapter 6 A CSP consists of: Finite set of X, X,, X n Nonempty domain of possible values for each variable D, D, D
More informationA Brief Introduction to Constraint Programming
A Brief Introduction to Constraint Programming with Minizinc Tong Liu, 22/01/2018 Dip. Informatica, Mura Anteo Zamboni 7 BOLOGNA BUSINESS SCHOOL Alma Mater Studiorum Università di Bologna CP - Constraint
More informationHEURISTIC SEARCH. 4.3 Using Heuristics in Games 4.4 Complexity Issues 4.5 Epilogue and References 4.6 Exercises
4 HEURISTIC SEARCH Slide 4.1 4.0 Introduction 4.1 An Algorithm for Heuristic Search 4.2 Admissibility, Monotonicity, and Informedness 4.3 Using Heuristics in Games 4.4 Complexity Issues 4.5 Epilogue and
More informationCS 730/730W/830: Intro AI
CS 730/730W/830: Intro AI 1 handout: slides asst 1 milestone was due Wheeler Ruml (UNH) Lecture 4, CS 730 1 / 19 EOLQs Wheeler Ruml (UNH) Lecture 4, CS 730 2 / 19 Comparison Heuristics Search Algorithms
More informationUniversity of Waterloo Department of Electrical and Computer Engineering ECE 457A: Cooperative and Adaptive Algorithms Midterm Examination
University of Waterloo Department of Electrical and Computer Engineering ECE 457A: Cooperative and Adaptive Algorithms Midterm Examination Exam Date/Time: Tuesday, June 13, 2017, 8:30-9:50 pm Exam Hall:
More informationThe exam is closed book, closed calculator, and closed notes except your one-page crib sheet.
CS Summer Introduction to Artificial Intelligence Midterm You have approximately minutes. The exam is closed book, closed calculator, and closed notes except your one-page crib sheet. Mark your answers
More informationBetter test results for the graph coloring and the Pigeonhole Problems using DPLL with k-literal representation
Proceedings of the 7 th International Conference on Applied Informatics Eger, Hungary, January 28 31, 2007. Vol. 2. pp. 127 135. Better test results for the graph coloring and the Pigeonhole Problems using
More informationCS 771 Artificial Intelligence. Constraint Satisfaction Problem
CS 771 Artificial Intelligence Constraint Satisfaction Problem Constraint Satisfaction Problems So far we have seen a problem can be solved by searching in space of states These states can be evaluated
More informationCMU-Q Lecture 7: Searching in solution space Constraint Satisfaction Problems (CSPs) Teacher: Gianni A. Di Caro
CMU-Q 15-381 Lecture 7: Searching in solution space Constraint Satisfaction Problems (CSPs) Teacher: Gianni A. Di Caro AI PLANNING APPROACHES SO FAR Goal: Find the (best) sequence of actions that take
More informationArtificial Intelligence
Torralba and Wahlster Artificial Intelligence Chapter 8: Constraint Satisfaction Problems, Part I 1/48 Artificial Intelligence 8. CSP, Part I: Basics, and Naïve Search What to Do When Your Problem is to
More informationLecture 6: Constraint Satisfaction Problems (CSPs)
Lecture 6: Constraint Satisfaction Problems (CSPs) CS 580 (001) - Spring 2018 Amarda Shehu Department of Computer Science George Mason University, Fairfax, VA, USA February 28, 2018 Amarda Shehu (580)
More informationConstraint Satisfaction Problems. slides from: Padhraic Smyth, Bryan Low, S. Russell and P. Norvig, Jean-Claude Latombe
Constraint Satisfaction Problems slides from: Padhraic Smyth, Bryan Low, S. Russell and P. Norvig, Jean-Claude Latombe Standard search problems: State is a black box : arbitrary data structure Goal test
More informationAnnouncements. Homework 1: Search. Project 1: Search. Midterm date and time has been set:
Announcements Homework 1: Search Has been released! Due Monday, 2/1, at 11:59pm. On edx online, instant grading, submit as often as you like. Project 1: Search Has been released! Due Friday 2/5 at 5pm.
More informationProblem Solving & Heuristic Search
190.08 Artificial 2016-Spring Problem Solving & Heuristic Search Byoung-Tak Zhang School of Computer Science and Engineering Seoul National University 190.08 Artificial (2016-Spring) http://www.cs.duke.edu/courses/fall08/cps270/
More informationSearch: Advanced Topics and Conclusion
Search: Advanced Topics and Conclusion CPSC 322 Lecture 8 January 24, 2007 Textbook 2.6 Search: Advanced Topics and Conclusion CPSC 322 Lecture 8, Slide 1 Lecture Overview 1 Recap 2 Branch & Bound 3 A
More informationPotential Midterm Exam Questions
Potential Midterm Exam Questions 1. What are the four ways in which AI is usually viewed? Which of the four is the preferred view of the authors of our textbook? 2. What does each of the lettered items
More informationConstraint Programming
Constraint In Pursuit of The Holly Grail Roman Barták Charles University in Prague Constraint programming represents one of the closest approaches computer science has yet made to the Holy Grail of programming:
More informationState-Space Search. Computer Science E-22 Harvard Extension School David G. Sullivan, Ph.D. Solving Problems by Searching
State-Space Search Computer Science E- Harvard Extension School David G. Sullivan, Ph.D. Solving Problems by Searching A wide range of problems can be formulated as searches. more precisely, as the process
More informationCIS 192: Artificial Intelligence. Search and Constraint Satisfaction Alex Frias Nov. 30 th
CIS 192: Artificial Intelligence Search and Constraint Satisfaction Alex Frias Nov. 30 th What is AI? Designing computer programs to complete tasks that are thought to require intelligence 4 categories
More informationProgram of Study. Artificial Intelligence 1. Shane Torbert TJHSST
Program of Study Artificial Intelligence 1 Shane Torbert TJHSST Course Selection Guide Description for 2011/2012: Course Title: Artificial Intelligence 1 Grade Level(s): 10-12 Unit of Credit: 0.5 Prerequisite:
More informationArtificial Intelligence
Artificial Intelligence Informed Search and Exploration Chapter 4 (4.1 4.2) A General Search algorithm: Chapter 3: Search Strategies Task : Find a sequence of actions leading from the initial state to
More informationMidterm Examination CS540-2: Introduction to Artificial Intelligence
Midterm Examination CS540-2: Introduction to Artificial Intelligence March 15, 2018 LAST NAME: FIRST NAME: Problem Score Max Score 1 12 2 13 3 9 4 11 5 8 6 13 7 9 8 16 9 9 Total 100 Question 1. [12] Search
More informationIntroduction to Optimization
Introduction to Optimization Greedy Algorithms October 28, 2016 École Centrale Paris, Châtenay-Malabry, France Dimo Brockhoff Inria Saclay Ile-de-France 2 Course Overview Date Fri, 7.10.2016 Fri, 28.10.2016
More informationProbabilistic (Randomized) algorithms
Probabilistic (Randomized) algorithms Idea: Build algorithms using a random element so as gain improved performance. For some cases, improved performance is very dramatic, moving from intractable to tractable.
More informationA4B36ZUI - Introduction to ARTIFICIAL INTELLIGENCE https://cw.fel.cvut.cz/wiki/courses/
A4B36ZUI - Introduction to ARTIFICIAL INTELLIGENCE https://cw.fel.cvut.cz/wiki/courses/ Michal Pechoucek & Jiri Klema Department of Computer Science Czech Technical University in Prague In parts based
More information1 Overview. 2 Applications of submodular maximization. AM 221: Advanced Optimization Spring 2016
AM : Advanced Optimization Spring 06 Prof. Yaron Singer Lecture 0 April th Overview Last time we saw the problem of Combinatorial Auctions and framed it as a submodular maximization problem under a partition
More informationConstraint Satisfaction Problems
Constraint Satisfaction Problems Berlin Chen Department of Computer Science & Information Engineering National Taiwan Normal University References: 1. S. Russell and P. Norvig. Artificial Intelligence:
More informationSpezielle Themen der Künstlichen Intelligenz
Spezielle Themen der Künstlichen Intelligenz 2. Termin: Constraint Satisfaction Dr. Stefan Kopp Center of Excellence Cognitive Interaction Technology AG A Recall: Best-first search Best-first search =
More informationConstraint Satisfaction Problems
Constraint Satisfaction Problems Chapter 5 Section 1 3 Constraint Satisfaction 1 Outline Constraint Satisfaction Problems (CSP) Backtracking search for CSPs Local search for CSPs Constraint Satisfaction
More informationOutline. Best-first search
Outline Best-first search Greedy best-first search A* search Heuristics Local search algorithms Hill-climbing search Beam search Simulated annealing search Genetic algorithms Constraint Satisfaction Problems
More informationConstraint Satisfaction. AI Slides (5e) c Lin
Constraint Satisfaction 4 AI Slides (5e) c Lin Zuoquan@PKU 2003-2018 4 1 4 Constraint Satisfaction 4.1 Constraint satisfaction problems 4.2 Backtracking search 4.3 Constraint propagation 4.4 Local search
More information