Search for tag: "most general unifier"

2 Media

20:54 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 194 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
22:38 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 229 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English

20:54

11.b

The second video of the Inf2d lecture on Unification.

From Claudia-Elena Chirita 0 likes 194 plays 0

Course Code

INFR08010

Licence Type

Language

English

22:38

11.a

The first video of the Inf2d lecture on Unification.

From Claudia-Elena Chirita 0 likes 229 plays 0

Course Code

INFR08010

Licence Type

Language

English

the university of edinburgh

The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336, VAT Registration Number GB 592 9507 00, and is acknowledged by the UK authorities as a “Recognised body” which has been granted degree awarding powers.

Any views expressed within media held on this service are those of the contributors, should not be taken as approved or endorsed by the University, and do not necessarily reflect the views of the University in respect of any particular issue.