Search for tag: "mgu"

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

duration 22 minutes 38 seconds

11.a

The first video of the Inf2d lecture on Unification.

From Claudia-Elena Chirita 0 likes 239 plays 0

Course Code

INFR08010

Licence Type

Language

English