Specifying constraint problems, Computer Engineering

Assignment Help:

Specifying Constraint Problems:

However as with most successful "AI" techniques there constraint solving is all about solving problems as: somehow phrase the intelligent task you are interested in as a problem or then massage it into the format of a constraint satisfaction problem as CSP, put it through a constraint solver and see if you get a solution. Now here CSPs consist of the following parts as: 

  • There a set of variables is X = {x1, x2, ..., xn} and
  • There a finite set of values that each variable can take. This is known as the domain of the variable. In the domain of variable xi is written Di and
  • There a set of constraints that specifies that values the variables can take simultaneously.

Furthermore in the high-IQ problem above, there are 25 variables: one for each of the 24 smaller square lengths or one for the length of the big square. In fact if we say that the smallest square is of length 1 so the big square is perhaps of length at most 1000. Thus the variables can each take values in the range 1 to 1000. Hence there are many constraints in this problem that including the fact that each length is different and that certain ones add up to give other lengths and for example the lengths of the three squares along the top must add up to the length of the big square.


Related Discussions:- Specifying constraint problems

What do you mean by segment numbers, Q. What do you mean by Segment numbers...

Q. What do you mean by Segment numbers? There is a good reason for not leaving determination of segment numbers up to assembler. It permits programs written in 8086 assembly

What are the four necessary condition of deadlock prevention, What are the ...

What are the four necessary conditions of deadlock prevention? Four essential conditions for deadlock prevention are: 1.  Removing  the  mutual  exclusion  condition  implie

Write the binary representation of an integer number, The integer n = 3,510...

The integer n = 3,510,593 has hexadecimal representation 0x00359141 (check this with your d2h program), while the double precision, floating-point number 3510593.0 has hexadecimal

Describe the three mapping techniques, Describe the three mapping technique...

Describe the three mapping techniques used in cache memories with suitable Example. The cache memory is a fast memory that is inserted among the larger slower main memory and t

Drawbacks, drawbacks of shadow paging

drawbacks of shadow paging

State in brief about polymorphism, State in brief about Polymorphism C...

State in brief about Polymorphism Class hierarchy is the deciding feature in the case of more than one implementation of properties. An object oriented program to compute the

Address translation - computer architecture, Address translation: ...

Address translation: Compiler time : If it is known in advance that a program will reside at a particular location of primary memory, and then the compiler can be told to

Two different ways of building a match code object, What are the two differ...

What are the two different ways of building a match code object? A match code can be built in two dissimilar ways: Logical structure: The matchcode data is set up not pe

What are interacting processes, What are interacting processes? Intera...

What are interacting processes? Interacting processes: The concurrent processes executing into the operating system are cooperating or interacting processes if they can be af

Algorithm to have a good best case running time, How can we change almost a...

How can we change almost any algorithm to have a good best case running time? Check whether the input constitutes an input at the very starting Or else run the original algo

Write Your Message!

Captcha
Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd