Explanation: None. 6. First Order Logic is also known as,
A. First Order Predicate Calculus
B. Quantification Theory
C. Lower Order Calculus
D. All of the mentioned
Answer:A
Explanation: None. 6. First Order Logic is also known as,
A. First Order Predicate Calculus B. Quantification Theory C. Lower Order Calculus D. All of the mentioned
Explanation: None. 7. Lifted inference rules require finding substitutions that make different logical expressions looks identical.