Search for tag: "logic"

147 Media

40:59 Informatics: 60 years of history – Alan… Informatics: 60 years of history – Alan Bundy - The Early Years of AI and Cognitive Science in Edinburgh	Informatics: 60 years of history – Alan Bundy - The Early Years of AI and Cognitive Science in Edinburgh Informatics: 60 years of history – Alan Bundy - The Early Years of AI and Cognitive Science in EdinburghPlease note: This recording contains automated captioning, it might not always be… school of informatics edincsandaiat60 universityofedinburgh intelligence department machine idea language science christopher things programming problem phd teaching lot learning perception centre unit notes logic students From Stuart Mckerlie 0 likes 53 plays 0 Licence Type All rights reserved The University of Edinburgh Language English Date Created January 25th, 2023
10:49 Student Perspective: Introduction to Edinburgh Student Perspective: Introduction to Edinburgh	Student Perspective: Introduction to Edinburgh 3rd year Informatics student, Donald Jennings, tells us about his first two years studying at the University of Edinburgh. His presentation covers: 1st year at Edinburgh Optional Courses 2nd year… school of informatics courses semester logic programming science informatics experience probability mathematics degree programme student uni systems end stuff calculus learning algebra coursework From Nicola Hopper 0 likes 53 plays 0 Publisher UoE School of Informatics Licence Type All rights reserved The University of Edinburgh Language English Date Created July 28th, 2022
23:25 Computational Interlude - Week 8 - Jia Loy - part… Computational Interlude - Week 8 - Jia Loy - part 2_3	Computational Interlude - Week 8 - Jia Loy - part 2_3 2nd part of Computational Interlude 2 for Introduction to Cognitive Science 2021-22, Jia Loy function script corpus word words things string comment programme functions instance stuff names lecture logic count times end lines idea From Alistair Isaac 0 likes 62 plays 0
34:38 FNLP 19c FNLP 19c	FNLP 19c Compositional Semantics: Technical Details semantics semantic underspecification semantic scope lambda terms lambda abstraction beta reduction argument term man formula lambda noun phrase scope rice verb thing tree syntax phrases meaning interpretations logic woman purple From Alex Lascarides 0 likes 160 plays 0 Licence Type All rights reserved The University of Edinburgh
26:45 FNLP 19b FNLP 19b	FNLP 19b Formal Semantics Representations: Some First Steps logical form syntax semantics compositionality first order logic logical inference commonsense inference recognising textual entailment rice logic meanings midnight sentence meaning representation inference language event toast forms john sentences fact words phrase rule From Alex Lascarides 0 likes 124 plays 0 Licence Type All rights reserved The University of Edinburgh
11:33 Regression Techniques: Gloria Gheno Regression Techniques: Gloria Gheno	Regression Techniques: Gloria Gheno This talk has been automatically captioned. You can remove these by pressing CC on the video toolbar. Name: Gloria Gheno Talk Title: A new link function for frequentist beta… eva cases logic beat knowledge function percent difference base beta farm goodness guy betcha error model choice study intercept estimates ic From Belle Taylor 0 likes 18 plays 0 Publisher Centre for Statistics Licence Type All rights reserved Language English Date Created July 3rd, 2021
36:14 School of Informatics Sample Undergraduate… School of Informatics Sample Undergraduate Lecture	School of Informatics Sample Undergraduate Lecture School of Informatics - Sample 1st year lecturePropositions as Types by Professor Philip WadlerSemester 1: Lecture 19 (INF1A) school of informatics proof b. haskell thing things a. logic term pair function rule curry programme lambda idea rules calculus languages types introduction From Nicola Hopper 0 likes 24 plays 0 Publisher UoE School of Informatics Licence Type All rights reserved The University of Edinburgh Language English Date Created June 3rd, 2021
02:12 Gloria Gheno EVA Talk Preview Gloria Gheno EVA Talk Preview	Gloria Gheno EVA Talk Preview This talk has captions. You can remove these by pressing CC on the video toolbar. Name: Gloria Gheno Talk Title: A new link function for frequentist beta regression Abstract: The beta regression… icms eva theory solution links function new beta regression analyses variables values monotonic logic asymmetric functions reprioritization betcha estimates login attitude method monotonicity ect monotone asymmetry symmetry selection lawgiver lead java From Anna Munro 0 likes 22 plays 0 Licence Type All rights reserved Language English
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 39 plays 0 Licence Type Creative Commons - Attribution Share A Like
10:36 Ancient Lecture 6.1 Ancient Lecture 6.1	Ancient Lecture 6.1 aristotle ethics plato socrates writings reason notes scholars logic philosophy soul lecture appetite spirit lives matters athens macedonia focus texts From Damian Caluori 0 likes 38 plays 0
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 186 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 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 0 likes 203 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 0 likes 251 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 0 likes 248 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
18:56 8.a 8.a	8.a The first video of the Inf2D Reasoning and Agents lecture on Effective Propositional Inference. inf2d reasoning and agents inference propositional logic symbol clause sentence clauses algorithm symbols model knowledge negation alpha unit base literals b11 pll form sentences function heuristic From Claudia-Elena Chirita 0 likes 239 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English

Search for tag: "logic"

the university of edinburgh