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

Search mechanisms in prolog - artificial intelligence, Search mechanisms in...

Search mechanisms in Prolog We can utilize this simple Prolog program to describe how Prolog searches: president(X) :- first_name(X, georgedubya), second_name(X, bush). p

Classification according to pipeline configuration, Classification accordin...

Classification according to pipeline configuration: According to the configuration of a pipeline, the following parts are recognized under this classification: Unifunct

Compare electromechanical and electronic switching system, Compare electrom...

Compare electromechanical switching system with electronic switching system. Comparison of electromechanical switching system with electronic switching systemgiven below:

What is a breeder reactor, Q. What is a breeder reactor? 92 U 238 and...

Q. What is a breeder reactor? 92 U 238 and 90 Th 232 aren't fissile materials but are abundant in nature. In the reactor these are able to be converted into a fissile mater

What does formal verification mean, What does formal verification mean? ...

What does formal verification mean? Formal verification uses Mathematical techniques by proving the design by assertions or properties. Correctness of the design can be achiev

Basic of C, write algorithm and draw flowchart for exchange the values of t...

write algorithm and draw flowchart for exchange the values of two variables.

Illustrate an object model for university system, An object model for unive...

An object model for university system Establishing relationship among various classes in the system is the primary activity. Here, we have a simple model of a University System

Calculate number of trunks for time multiplexed space switch, Calculate the...

Calculate the number of trunks that can be supported on a time multiplexed space switch given that, 32 channels are multiplexed in each stream, while the control memory access time

Mathlab , Windy Grid World This assignment is to use Reinforcement Learni...

Windy Grid World This assignment is to use Reinforcement Learning to solve the following "Windy Grid World" problem illustrated in the above picture. Each cell in the image is a

Give an account of modems used in data transfer, Give an account of modems ...

Give an account of modems used in data transfer. Modem: Modems are usually provided through network operators (Department of Telecommunication in India) or through vendors wh

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