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

Define the translator which perform macro expansion, Define the translator ...

Define the translator which perform macro expansion is known as a                      Macro pre-processor is the translator which perform macro expansion

How are control signals achieve the particular operation, Q. How are contro...

Q. How are control signals achieve the particular operation? The control signals are applied directly as binary inputs to the logic gates of the logic circuits. All these input

Describe independent loops in fortran, Q. Describe Independent Loops in for...

Q. Describe Independent Loops in fortran? HPF offers extra opportunities for parallel execution by employing the INDEPENDENT directive to declare the iterations of a do-loop is

Write a subroutine in c which toggles the cursor, Q . Write a subroutine in...

Q . Write a subroutine in C which toggles the cursor? Write a subroutine in C which toggles the cursor. It takes one argument which toggles the value between on (1) and off (0)

What is importance of ras and cas in sdram, What is importance of RAS and C...

What is importance of RAS and CAS in SDRAM? SDRAM acquires its address command into two address words. This uses a multiplex scheme to save input pins. The initial address word

Write policy of cache memory, Q. Write Policy of cache memory? If conte...

Q. Write Policy of cache memory? If contents of a block in cache are changed then it's essential to write it back to main memory before replacing it. Write policy determines wh

Illustrate working of J-K flip-flop, Q. Illustrate working of J-K flip-flop...

Q. Illustrate working of J-K flip-flop? J-K flip-flop is also a modification of SR flip-flop since it has 2 inputs same as S and R and all possible inputs combinations are vali

Explain an intermediate language, Assemblies are made up of IL code modules...

Assemblies are made up of IL code modules and the metadata that explains them. Although programs may be compiled by an IDE or the command line, in fact, they are easily translated

Describe the external users of system, Q. Describe the External Users of sy...

Q. Describe the External Users of system? External Users: Modern information systems are now reaching beyond the boundaries of traditional business to involve customers and o

Databse, defination of query ?

defination of query ?

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