How many logical connectives are there in artificial intelligence?
a) 2
b) 3
c) 4
d) 5
Explanation: The five logical symbols are negation, conjunction, disjunction, implication and biconditional.
Which is used to compute the truth of any sentence?
a) Semantics of propositional logic
b) Alpha-beta pruning
c) First-order logic
d) Both Semantics of propositional logic & Alpha-beta pruning
Explanation: Because the meaning of the sentences is really needed to compute the truth.
Which are needed to compute the logical inference algorithm?
a) Logical equivalence
b) Validity
c) Satisfiability
d) All of these
Explanation: Logical inference algorithm can be solved be using logical equivalence, Validity and satisfiability.
From which rule does the modus ponens are derived?
a) Inference rule
b) Module rule
c) Both Inference & Module rule
d) None of these
Explanation: Inference rule contains the standard pattern that leads to desired goal. The best form of inference rule is modus ponens.
Which is also called single inference rule?
a) Reference
b) Resolution
c) Reform
d) None of these
Explanation: Because resolution yields a complete inference rule when coupled with any search algorithm.
Which form is called as a conjunction of disjunction of literals?
a) Conjunctive normal form
b) Disjunctive normal form
c) Normal form
d) All of these
