Search for tag: "inf2d"

44 Media

Introduction to Petros Papapanagiotou Inf2D duration 5 minutes 27 seconds Introduction to Petros Papapanagiotou Inf2D Introduction to Petros Papapanagiotou Inf2D	Introduction to Petros Papapanagiotou Inf2D Meet the lecturers of Inf2D: Petros Papapanagiotou inf2d From Petros Papapanagiotou 0 likes 71 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English Date Created January 10th, 2022
15.b duration 17 minutes 21 seconds 15.b 15.b	15.b The second video of the Inf2d lecture on Situation Calculus. inf2d reasoning and agents artificial intelligence situation calculus action situation block axioms actions goal frame knowledge proof base resolution constants axiom plan successor problem sentences From Claudia-Elena Chirita 0 likes 178 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
15.a duration 25 minutes 39 seconds 15.a 15.a	15.a The first video of the Inf2d lecture on Situation Calculus. inf2d reasoning and agents artificial intelligence situation calculus situation block action actions blocks logic table result situations robot goal agent moment agents move knowledge sentences predicates planning From Claudia-Elena Chirita 0 likes 189 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
14.b duration 15 minutes 31 seconds 14.b 14.b	14.b This is the second part of the second Inf2d lecture on Resolution. inf2d reasoning and agents resolution completeness artificial intelligence clauses ground clause proof sentences prime idea variables universe unsatisfiability base theorem knowledge function step From Claudia-Elena Chirita 0 likes 162 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
14.a duration 12 minutes 34 seconds 14.a 14.a	14.a This is the first part of the second Inf2d lecture on Resolution. inf2d reasoning and agents artificial intelligence resolution base knowledge sentence clause theorem implications clauses sentences query steps student students theorems substitution proof algorithm From Claudia-Elena Chirita 0 likes 179 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
13.c duration 6 minutes 47 seconds 13.c 13.c	13.c The third video on the first Inf2d lecture on Resolution. inf2d reasoning and agents artificial intelligence resolution modus ponens chaining symbol symbols sentences base knowledge rule inference clause result reasoning goal methods implication ground connexion disjunction From Claudia-Elena Chirita 0 likes 162 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
13.b duration 13 minutes 39 seconds 13.b 13.b	13.b The second video on the first Inf2d lecture on Resolution. inf2d reasoning and agents artificial intelligence resolution clauses base knowledge sentence algorithm negation x. conjunction step clause alpha literals animal cnf variables inference diagram query quantifier From Claudia-Elena Chirita 0 likes 192 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
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
12.c duration 9 minutes 47 seconds 12.c 12.c	12.c The third video of the Inf2d lecture on Inference in First-Order Logic. inf2d reasoning and agents artificial intelligence inference first-order logic backward chaining algorithm base knowledge query substitution goal depth variables function antecedent conjuncts rule unifies conclusion resolution programming fact j. acre substitutions From Claudia-Elena Chirita 0 likes 183 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
12.b duration 14 minutes 53 seconds 12.b 12.b	12.b The second video of the Inf2d lecture on Inference in First-Order Logic. inf2d reasoning and agents artificial intelligence inference modus ponens forward chaining From Claudia-Elena Chirita 0 likes 187 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
12.a duration 12 minutes 12 seconds 12.a 12.a	12.a The first video of the Inf2d lecture on Inference in First-Order Logic. inf2d reasoning and agents artificial intelligence inference modus ponens sentence sentences rule modus honey conjunction result treat acre instantiation fact p1 pi q. food n. x. knowledge theta From Claudia-Elena Chirita 0 likes 216 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
10.c duration 16 minutes 20 seconds 10.c 10.c	10.c Third video of the Inf2d lecture on First-Order Logic. inf2d reasoning and agents artificial intelligence first-order logic knowledge person base phi john crown logic head king sentence quantifiers negation squares objects numbers things sibling child parent lists From Claudia-Elena Chirita 0 likes 203 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
10.b duration 36 minutes 11 seconds 10.b 10.b	10.b Second video of the Inf2d lecture on First-Order Logic. inf2d reasoning and agents artificial intelligence first-order logic fol function model symbols objects john signature sentence king phi leg richard sentences logic symbol variables interpretation object person constants relation From Claudia-Elena Chirita 0 likes 252 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
10.a duration 18 minutes 54 seconds 10.a 10.a	10.a First video of the Inf2d lecture on First-Order Logic. inf2d reasoning and agents artificial intelligence first-order logic fol logic languages relations objects knowledge language function logics relation leg bit fact context king john things meaning programming functions length From Claudia-Elena Chirita 0 likes 248 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English