APPLICATION OF SUPERVISED LEARNING
ARTIFICIAL INTELLIGENCE
|
Question
[CLICK ON ANY CHOICE TO KNOW THE RIGHT ANSWER]
|
|
|
Unification
|
|
|
Lifting
|
|
|
Inference Process
|
|
|
None of the above
|
Detailed explanation-1: -Unification is the process of making 2 logical expressions look identical.
Detailed explanation-2: -9. What will happen if two literals are identical? Explanation: Propositional factoring reduces two literals to one if they are identical.
Detailed explanation-3: -Unification is a key concept in proofs by resolutions. Resolution is a single inference rule which can efficiently operate on the conjunctive normal form or clausal form. Clause: Disjunction of literals (an atomic sentence) is called a clause. It is also known as a unit clause.
Detailed explanation-4: -In computer science and logic, unification is the algorithmic procedure used in solving equations involving symbolic expressions. In other words, by replacing certain sub-expression variables with other expressions, unification tries to identify two symbolic expressions.