... tênConversion to CNFConversion to CNFEveryone who loves all animals is loved by someone:∀x [∀y Animal(y) ⇒ Loves(x,y)] ⇒ [∃y Loves(y,x)]1. Eliminate biconditionals and implications∀x ... phủ định vào trong: tính chất đối ngẫu của lượng từConversion to CNF contd.Conversion to CNF contd.3. Standardize variables: each quantifier should use a different one∀x [∃y Animal(y) ∧ ... vacuum-cleaner worldThe vacuum-cleaner worldPercept sequence Action[A,Clean] Right[A, Dirty] Suck[B, Clean] Left[B, Dirty] Suck[A, Clean],[A, Clean] Right[A, Clean],[A, Dirty] Suck… …function...