Soundness - artificial intelligence, Computer Engineering

Soundness - artificial intelligence:

You may see in some application domains-for example automated theorem proving - that your search is "sound and complete". The soundness in this kind of theorem proving means that the search to find a proof will not succeed then if you give it to a false theorem to prove. This extends to searching in normally, that where a search is unsound it means there is error because finds a solution to a problem with no solution. This kind of unsound search pattern may not be the end of the world if you are only interested in using it for problems where you know there is a solution (and it performs well in finding such types of hints). Another kind of unsound search is when a search finds the wrong answer to a given question. This is how much worrying about that and the problem will probably lie with the goal testing mechanism.

Additional Knowledge in Search

The amount of extra knowledge available to your agent will effected how it performs. In the given sections of this lecture, we will considered at uninformed search strategies and data, where not any additional knowledge is already given, and heuristic searches, where any information belongs to the goal, intermediate states and the operators can be used to improve the effectiveness of searching strategy.

Posted Date: 1/9/2013 7:15:58 AM | Location : United States







Related Discussions:- Soundness - artificial intelligence, Assignment Help, Ask Question on Soundness - artificial intelligence, Get Answer, Expert's Help, Soundness - artificial intelligence Discussions

Write discussion on Soundness - artificial intelligence
Your posts are moderated
Related Questions
Q. What is Dithering? CMYK provides only 8 colours (C, M, Y K, Violet= C + M, Orange= M + Y, Green = C + Y, and colour of paper itself!). What about other colours?  For these t

Difference between the fork -join and begin-end. The fork - join keywords: Groups several statements together.Cause statements to be evaluated in parallel (all at the same

Based on your understanding of Unit 2, compile a set of five usability and/or user experience goals which you think will be useful in evaluating the two sites when gathering the in

The next type of input is a Pull Down List. With this type you have to employ in place of and it also has a closing tag. This control is used when we have a

Can you tell me some of system tasks and their purpose? $display, $displayb, $displayh, $displayo, $write, $writeb, $writeh, $writeo. The most useful of these is $display. T

Question: (a) What is the difference between the Color Pass and the Color Replace effects? (b) What is the basic workflow order for Color Match? (c) Explain clearly the

Write a program that input (from the user) the number of hours worked and hours pay rate for employees and output their total pay. The program should process an arbitrary number of

By 2 pointers you can find it. One of them goes 2 nodes each time. The second one goes at 1 node each time. If there is a cycle, the one that goes 2 nodes every time will eventuall

What will exactly the hide statement do? For displaying the details on secondary lists needs that you have previously stored the contents of the selected line from within the

Determine the concepts of Object Oriented Analysis  In OOA the initial focus is on identifying objects from the application domain, after that fitting those procedures around