Constraint satisfaction problems, Computer Engineering

Assignment Help:

Constraint Satisfaction Problems:

Furthermore I was perhaps most proud of AI on a Sunday. However this particular Sunday, a friend of mine found an article in the Observer regarding the High-IQ society, a before brash and even more elitist version of Mensa. Since their founder said that their entrance test was much difficult that some of the problems had never been solved. However the problem given below was in the Observer as that an unsolved problem. Now after looking at it for a few minutes there I confidently told my friend as I would have the answer in half an hour. 

Then after just over 45 minutes there I did indeed have an answer so my friend was suitably impressed. In fact see the end of these notes for the details. Obviously, I didn't spend my time trying to figure it out as whether you want to split the atom, you don't sharpen a knife.

So there instead I used the time to describe the problem to a  constraint solver that is infinitely better at these things than me. Thus the constraint solver is part of good old Sicstus Prolog then specifying the problem was a matter of writing it as a logic program - it's worth pointing out that I didn't justify how to find the solution that just what the problem was. So now with "AI" programming languages as Prolog to every then the intelligence behind the scenes comes in very handy, of course. Hence once I had justified the problem to the solver as a mere 80 lines of Prolog and it took only one hundredth of a second to solve the problem.


Related Discussions:- Constraint satisfaction problems

Explain the product of sum form - standard forms, Explain the Product of Su...

Explain the Product of Sum Form - standard forms? The POS is the Boolean Expression containing OR terms, called as sum terms. The product denotes ANDing of these terms. F= (

What happens if acknowledge() is called within a transaction, As per the JM...

As per the JMS specification, when you are in a transaction, the acknowledge Mode is ignored. If acknowledge() is known as within a transaction, it is ignored.

Linux, Explain about unix file system architecture

Explain about unix file system architecture

Mclr, 10 k Ohm pulls up on MCLR so that the ICD can force 0, +5, +13 volts ...

10 k Ohm pulls up on MCLR so that the ICD can force 0, +5, +13 volts on this pin. RB6 and RB7 used for PGC and PGD respectively between target and ICD2 module. Some of the requi

What is optical mark recognition, Optical mark recognition (OMR)  OMR ...

Optical mark recognition (OMR)  OMR technology scans a printed form and reads pre-defined positions (where specific fields have been filled in for instance ?-?or _); system re

Conjunctive normal form -artificial intelligence , Conjunctive Normal Form ...

Conjunctive Normal Form -artificial intelligence : For the resolution law to determine two sentences, they should both be in a normalized format known as conjunctive normal fo

Write a recursive algorithm, Write a recursive algorithm to count the numbe...

Write a recursive algorithm to count the number of right children in a binary search tree. Write the method levelCount whose header is given below. Method levelCount returns

Give difference between assembler and compiler, Give difference between ass...

Give difference between assembler and compiler. Assembler: It is the translator for an assembly language of computer. An assembly language is a low-level programming language

Explain optimal page replacement algorithm, Optimal Page Replacement Algori...

Optimal Page Replacement Algorithm The optimal page replacement algorithm that as well known as OPT is an algorithm which works as follows: while a page needs to be swapped in,

Differentiate between programming tools and authoring tools, Diffrentiate p...

Diffrentiate programming tools and authoring tools Distinction between programming tools and authoring tools is not at first obvious. Though, authoring tools require less techn

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