Search for tag: "agents"

69 Media

17:21 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 on February 8th, 2021 0 likes 128 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
25:39 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 on February 8th, 2021 0 likes 137 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
15:31 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 on February 8th, 2021 0 likes 120 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
12:34 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 on February 8th, 2021 0 likes 132 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
06:47 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 on February 8th, 2021 0 likes 124 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
13:39 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 on February 8th, 2021 0 likes 144 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
12:19 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 on February 8th, 2021 0 likes 166 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
09:47 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 on February 3rd, 2021 0 likes 133 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
14:53 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 on February 3rd, 2021 0 likes 137 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
12:12 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 on February 3rd, 2021 0 likes 157 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
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 on February 2nd, 2021 0 likes 150 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 on February 2nd, 2021 0 likes 180 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
16:20 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 on February 1st, 2021 0 likes 153 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
36:11 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 on February 1st, 2021 0 likes 188 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
18:54 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 on February 1st, 2021 0 likes 183 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
20:41 9.c 9.c	9.c This is the third video of the Inf2D lecture on Smart Searching using Constraints. inf2d reasoning and agents artificial intelligence constraints csp australia variable values variables arc neighbours domain algorithm node constraint wales colour options queensland territory failure source colours problems From Claudia-Elena Chirita on January 26th, 2021 0 likes 158 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English

Search for tag: "agents"

the university of edinburgh