For resolution to apply, all sentences must be in conjunctive normal f – McqOptions

MCQOPTIONS

1.	For resolution to apply, all sentences must be in conjunctive normal form, a conjunction of disjunctions of literals.
A.	True
B.	False
Answer» B. False

Discussion

No Comment Found

Related MCQs

A knowledge engineer has the job of extracting knowledge from an expert and building the expert system knowledge base. State whether true or false.
ARGEX is an agricultural expert system that gives correct advice to farmers.
GERMWATCHER is used to control infections caused by bacteria.
MYSIN attempts to recommend appropriate therapies for patients with bacterial infections.
In order to utilize generalized Modus Ponens, all sentences in the KB must be in the form of Horn sentences.
What among the following could the universal instantiation of ___________For all x King(x) ^ Greedy(x) => Evil(x)
An inference algorithm that derives only entailed sentences is called sound or truth-preserving.
The corresponding Existential Instantiation rule: for the existential quantifier is slightly more complicated. For any sentence a, variable v, and constant symbol k that does not appear elsewhere in the knowledge base
The rule of Universal Instantiation (UI for short) says that we can infer any sentence obtained by substituting a ground term (a term without variables) for the variable.
Two basic types of inferences are1. ____________2. ____________