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
Name some register output control signals. Pc out , MDR out , Z out , Offset out , R1 out , R2 out , R3 out and TEMP out .

What is System-software? System-software is collection of system programs which perform a variety of functions, name are: file editing, IO management, recourse accounting and s

for ticket reservation in trains for payroll processing for insurance database

function nor gates W=A,B,C,D=~(AB)*~(CD)

How authoring packages supports scripting language Many authoring packages support a scripting language to allow for even more sophisticated applications to be produced. Scrip

What is an AVL tree? AVL Tree An AVL tree is a binary tree in which the dissimilarity in heights among the left and the right subtree is not more than one for each node.

pebble merchant

Why SRAM are said to be volatile? Because their contents are lost when power is interrupted. So SRAM are said to be volatile.


Explain Sequential logic circuit Ans. Sequential logic circuit:- (i) Output not only depends upon the recent state of the input but also depend upon the earlier state