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

What is a packet switching, End systems are connected together by communica...

End systems are connected together by communication links. There are various types of communication links, which are made of numerous types of physical media, comprising twisted pa

Describe menu in dreamweaver, File Menu: Under it there are New, Save, Sav...

File Menu: Under it there are New, Save, Save as, Save as template, Import, Export, Preview in browser etc. options. Edit Menu: In this menu there are Cut, Copy, Paste, Undo,

Special theory of relativty, michelson-morley experiment-motivation and exp...

michelson-morley experiment-motivation and experimental setup

Define a formal system, Q. Define a Formal System? A Formal System is o...

Q. Define a Formal System? A Formal System is one which is planned in advance and is used according to schedule. In this system procedures and policies are documented well in a

Propositional logic - artificial intelligence, Propositional Logic - artifi...

Propositional Logic - artificial intelligence: This is a limited logic, which permit  us to write sentences about propositions - statements about the world - which can either b

Describe the functions of an operating system, Question: (a) Software ...

Question: (a) Software may be categorized into System software and Application software. Differentiate between these two categories, using examples to support your answer.

What is loader, What is loader? Loader is a system software which havin...

What is loader? Loader is a system software which having a set of utility programs. It will load the object program to the memory.

Define the circular shifts, Q. Define the Circular shifts ? Circular sh...

Q. Define the Circular shifts ? Circular shifts ROTATE RIGHT andROTATE LEFT. Bits shifted out at one end of word are not lost as in a logical shift however are circulated back

What are the features of the hardwired control, What are the features of th...

What are the features of the hardwired control? A controller that uses this approach can function at high speed. It has little flexibility and the complexity of the instruction

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