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
design a FULL adder with two half adders and an or gate

Explain the different types of buses with neat diagram. When a word of data is transferred among units, all the bits are transferred in parallel over a set of lines known as bu

Q. Show the Comparison of ASCII and EBCDIC? EBCDIC is an easier to employ code on punched cards due to BCD compatibility. But ASCII has some of major benefits on EBCDIC. These

In a multicomputer system the computational load amid different processors should be balanced.  To pass information between different nodes message passing technique is used. The 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

Explain the major consideration of laptop One of the major considerations when buying a laptop is battery life. This can rely on a number of things though one major factor is p

State about CSMA/CA It belongs to a class of protocols known as multiple access methods. CSMA/CA  stands  for:  Carrier  Sense  Multiple  Access  with  Collision Avoidance.  In

Convert hexadecimal BCH to decimal of form 0100 1000. Converting the hexadecimal BCH to decimal number firstly convert given number into two's compliment that is: 0100100

Define a socket? An application program interface gives the details of how can an application program interacts along with protocol software. But socket API is a defacto standa

Given a four level hierarchical storage system consisting of: cache,  primary storage, secondary storage, and tertiary storage. Suppose the following:  programs may be executed on