Prior conditions - logic programs, Computer Engineering

Prior Conditions - Logic programs:

However firstly there we must make sure that our problem has a solution. Whether one of the negative examples can be proved to be true from the background information alone so then clearly any hypothesis that we find will not be able to compensate for this or the problem is not satisfiable. Thus we now utilise to check the prior satisfiability of the problem as:

\/e in E- (B e).

Moreover any learning problem that breaks the prior satisfiability condition has inconsistent data so then the user should be made aware of this. Conversely notice that this condition does not mean there like B entails that any negative example is false that's why it is certainly possible to find a hypothesis that along with B entails a negative example.

In fact in addition to checking whether we will be able to find a solution to the problem that we also have to check there the problem isn't solved already by the background information. It means that if the problem satisfies the prior satisfiability condition and each of positive example is entailed through the background information so the background logic program B would itself perfectly solve the problem. Thus we need to check that at least one positive example that cannot be explained by the background information B.

Posted Date: 1/10/2013 7:36:06 AM | Location : United States







Related Discussions:- Prior conditions - logic programs, Assignment Help, Ask Question on Prior conditions - logic programs, Get Answer, Expert's Help, Prior conditions - logic programs Discussions

Write discussion on Prior conditions - logic programs
Your posts are moderated
Related Questions
What is text editor? It is used for entering and editing application programs. The user of this program interactively implements command that permit statements of a source prog

Q. What do you mean by File? In computer vocabulary, file is a collection of text or data stored on a storage device, such as a Floppy Disk or Hard Disk. If you a fresher to c

Question: (a) Identify the four main enhancements brought along by TKIP on WPA to solve the problems in WEP. (b) The term WarDriving has been frequently used while talking

A group of 20 servers carry traffic of 10 erlangs. If the average duration of a call is three minutes, calculate the number of calls put through by a single server and the group as

Q. Example on Passing Parameters through Stack? PROGRAM: Version 3 DATA_SEG               SEGMENT                         BCD DB 25h; Storage for BCD test value BIN

What are the disadvantages of Public Key Cryptography? Disadvantages of Public Key Cryptography are as given below: a) It is used to encrypt a secret key that is used to e

Explain Binary number system. Ans. Binary Number System The number of system along with base or Radix two is termed as the Binary Number System. To show the number, 0 a

What is strong-typing versus weak-typing? Which is preferred? Why? Strong type is checking the types of variables as early as possible, usually at compile time. Whereas weak ty

What is reification? It is the promotion of something that is not an object into an object. Helpful method for Meta applications. It shifts the level of abstraction. Promote

Illustrated about the layered architecture of Electronic Data Interchange? Layered Architecture of EDI: Electronic Data Interchange is most commonly applied into th