Search for tag: "unifier"

13.a duration 12 minutes 19 seconds 13.a 13.a	13.a The first video on the first Inf2d lecture on Resolution. inf2d reasoning and agents resolution artificial intelligence rule clause inference literals clauses algorithm honey unifier theta result ground factoring alpha substitution disjunction sentence From Claudia-Elena Chirita 0 likes 221 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
11.b duration 20 minutes 54 seconds 11.b 11.b	11.b The second video of the Inf2d lecture on Unification. inf2d reasoning and agents artificial intelligence unification unifier most general unifier substitution john problem theta equation equations union sentences mother algorithm step delta variables alpha solutions equals loves prime From Claudia-Elena Chirita 0 likes 197 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
11.a duration 22 minutes 38 seconds 11.a 11.a	11.a The first video of the Inf2d lecture on Unification. inf2d artificial intelligence reasoning and agents unification unifier substitution mgu most general unifier variables sentence john knowledge base phi theta sentences inference father king substitutions function instantiation composition delta result symbol idea From Claudia-Elena Chirita 0 likes 239 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English