When the resolution is called as refutation-complete?

1.	When the resolution is called as refutation-complete?
A.	sentence is satisfiable
B.	sentence is unsatisfiable
C.	sentence remains the same
D.	none of the mentioned
Answer» C. sentence remains the same

Discussion

No Comment Found

Related MCQs

Which search is equal to minimax search but eliminates the branchesthat can’t influence the final decision?
Research scientists all over the world are taking steps towards building computers with circuits patterned after the complex inter connections existing among the human brain’s nerve cells. What name is given to such type of computers?
Which company offers the LISP machine considered to be “the most powerful symbolic processor available”?
In neural network, the network capacity is defined as
Match List I with List IIList IList II(A) Branch-and-bound(I) Keeps track of all partial paths which can be candidate for further exploration.(B) Steepest-accent hill climbing(II) Detects difference between current state and goal state(C) Constraint satisfaction(III) Discovers problem state(s) that satisfy a set of constraints.(D) Means-end-analysis(IV) Considers all moves from current state and selects best move Choose the correct answer from the options given below:
Given below are two statements:If two variables V1 and V2 are used for clustering, then consider the following statements for k means clustering with k = 3:Statement I: If V1 and V2 have correlation of 1 the cluster centroid will be in straight line.Statement II: If V1 and V2 have correlation of 0 the cluster centroid will be in straight line.In the light of the above statements. choose the correct answer from the options given below
Consider a single perceptron with sign activation function. The perceptron is represented by weight vector [0.4 - 0.3 0.1]t and a bias θ = 0. If the input vector to the perceptron is X = [0.2 0.6 0.5] then the output of the perceptron is :
In linguistic morphology, _____________ is the process for reducing inflected words to their root form.
Many words have more than one meaning; we have to select the meaning which makes the most sense in context. This can be resolved by
Parts-of-Speech tagging determines

When the resolution is called as refutation-complete?

Discussion

No Comment Found

Related MCQs

Reply to Comment