3 votes 3 votes The objective of ____ procedure is to discover at least one ____ that causes two literals to match. unification, validation unification, substituion substitution, unification minimax, maximum Discrete Mathematics ugcnetcse-dec2013-paper3 discrete-mathematics mathematical-logic + – go_editor asked Jul 27, 2016 • recategorized May 25, 2020 by Arjun go_editor 3.4k views answer comment Share Follow See all 0 reply Please log in or register to add a comment.
3 votes 3 votes In Propositional LOGIC unification algo need one or more substitution that causes two literals like P and ~P to match so that they cancel out each other hence ans is B Sanjay Sharma answered Jul 27, 2016 • edited Dec 2, 2017 by Devshree Dubey Sanjay Sharma comment Share Follow See all 0 reply Please log in or register to add a comment.