Search for tag: "situation calculus"

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 177 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 187 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English