Search for tag: "reasoning"

62 Media

01:01:04 AI & Pastoral Care for Christian Churches -… AI & Pastoral Care for Christian Churches - 'AI and Christianity'	AI & Pastoral Care for Christian Churches - 'AI and Christianity' As part of the AI & Pastoral Care for Christian Churches conference, Professor George Coghill (Professor Emeritus, University of Aberdeen) delivers a talk titled 'AI and Christianity' … school of divinity new college ai & pastoral care for christian churches ai things systems problem thing learning science reasoning nets intelligence approach lot computing person prediction expert 1980s brain machine domain From Rory Dunlop 0 likes 8 plays 0 Publisher School of Divinity Licence Type All rights reserved The University of Edinburgh Language English Date Created December 16th, 2022
01:03:08 A Global History of Mathematics: An Urgent Human… A Global History of Mathematics: An Urgent Human Concern - Agathe Keller	A Global History of Mathematics: An Urgent Human Concern - Agathe Keller Is it all about proofs? Reflections on the multiple reasonings in Sanskrit mathematical texts Agathe Keller CNRS, University of Paris-Diderot icms proof sanskrit mathematics idea texts proofs century commentary history things rule brahmagupta mathematicians reasoning translation reasonings signs basket algebra arithmetic From Greg McCracken 0 likes 15 plays 0 Licence Type All rights reserved Date Created October 25th, 2022
35:40 Elementary analytic functions in VTC0 - Emil… Elementary analytic functions in VTC0 - Emil Jerabek	Elementary analytic functions in VTC0 - Emil Jerabek Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation Elementary analytic functions in VTC0 by Emil Jerabek, Czech Academy of Sciences icms functions numbers function field theory integer arithmetic operations kind model integers multiplication induction language exponentiation formulas completion approximations complexity reasoning From Iain Cms 0 likes 3 plays 0 Licence Type All rights reserved Date Created July 8th, 2022
57:23 Online Assessments - Used by employers in… Online Assessments - Used by employers in graduate recruitment	Online Assessments - Used by employers in graduate recruitment In this session, we will look at online assessments, and cover online interviews, video interviews, online assessment centre activities i.e. group exercises, observed role play etc, as well as online… tests students digital skills festival 2022 things employers questions job employer recruitment skills test lot assessment reasoning role personality exercises lots assessments kinds kind idea From Andy Todd 0 likes 10 plays 0 Publisher Andy Todd Licence Type All rights reserved The University of Edinburgh Date Created June 9th, 2022
13:19 Intro Cog Sci Framing Representations Intro Cog Sci Framing Representations	Intro Cog Sci Framing Representations First part of Framing lecture for theme Representation on Introduction to Cognitive Science 2021-22, Mark Sprevak representations representation inference behaviour things london property science objects room processes waterloo ways reasoning moment thing engines process complex routes From Alistair Isaac 0 likes 135 plays 0
18:55 FNLP 27c FNLP 27c	FNLP 27c Constructingl Representations of Discourse Coherence inference defeasible inference commonsense reasoning discourse coherence coherence relations cue phrases discourse dialogue coherence phrase relations forms sentence examples knowledge content sentences form model problem meaning segments relation reasoning contrast explanation From Alex Lascarides 0 likes 47 plays 0 Licence Type All rights reserved The University of Edinburgh
33:09 Edinburgh Visiting Fellows - Questions of Consent… Edinburgh Visiting Fellows - Questions of Consent and Property in Posthumous Paternity Cases	Edinburgh Visiting Fellows - Questions of Consent and Property in Posthumous Paternity Cases The Edinburgh Law School has a robust Visiting Scholars programme, which brings leading legal, socio-legal and criminological scholars from around the world to participate in the research activities… law edinburgh law school mason institute property relationship cases tissue consent authority test reasoning analysis guidance child testing body advice situation basis father negligence men From Elisabeth Barlow 0 likes 4 plays 0 Licence Type All rights reserved
03:00 Critical Thinking in Global Challenges Critical Thinking in Global Challenges	Critical Thinking in Global Challenges The videos in this playlist will give you the opportunity to better understand what critical thinking is, and to practice and enhance your critical thinking skills. To do so, we will use the context… ocp trailer thinking evidence challenges pressure skill argument ability prerequisite arguments nature week end student exercise definition concept lecture reasoning knowledge logic From Geoff Fortescue 0 likes 34 plays 0 Licence Type Creative Commons - Attribution Share A Like
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 0 likes 171 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 0 likes 181 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 0 likes 159 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 0 likes 175 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 0 likes 158 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 0 likes 188 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 0 likes 218 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
13:42 APMCS lecture 6 part 6 APMCS lecture 6 part 6	APMCS lecture 6 part 6 Animal mindreading part 6 philosophy chimpanzee behaviour chimpanzees concept mind situation hypothesis abstractions animal fitzpatrick argument reasoning lots behaviours readers animals stimulus poverty situations parsimony From Suilin Lavelle 0 likes 39 plays 0 Course Code PHIL11135 Publisher Suilin Lavelle Licence Type All rights reserved The University of Edinburgh Date Created February 3rd, 2021

Search for tag: "reasoning"

the university of edinburgh