Search for tag: "negation"

14 Media

Writing Philosophy 4 duration 6 minutes 52 seconds Writing Philosophy 4 Writing Philosophy 4	Writing Philosophy 4 Writing Philosophy writing philosophy arguments argument possibilities student possibility person god favor claim essay dilemma socrates mind reader mistake point friend class fellow negation From Damian Caluori 0 likes 273 plays 0 Licence Type All rights reserved
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
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
8.a duration 18 minutes 56 seconds 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
7.c duration 26 minutes 3 seconds 7.c 7.c	7.c Third video of the Inf2D Reasoning and Agents lecture on Logical Agents. inf2d reasoning and agents artificial intelligence propositional logic sentence model knowledge base logic symbols sentences models symbol algorithm truth rules proof inference negation conjunction function From Claudia-Elena Chirita 0 likes 228 plays 0 Course Code INFR08010 Licence Type All rights reserved The University of Edinburgh Language English
CL - 11c - CNF by KM (I) duration 1 minute 33 seconds CL - 11c - CNF by KM (I) CL - 11c - CNF by KM (I)	CL - 11c - CNF by KM (I) Description Pending inf1a introduction to computation informatics 1 computation and logic half karnaugh problem kind b. moment maps complement piece hub halves columns rows variables things expression result slide g. negation From Haoran Peng 0 likes 229 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - 9c - DPLL II duration 3 minutes 54 seconds CL - 9c - DPLL II CL - 9c - DPLL II	CL - 9c - DPLL II We return to the example introduced in the previous video, and begin to represent the problem in Haskell. inf1a computation and logic informatics 1 introduction to computation literals things lists disjunction thing evaluation negation atom language problem words cnf valuation clauses disjunctions forms haskell algorithms bit rule From Haoran Peng 0 likes 267 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - Lecture 4.h - Sequents 3 duration 4 minutes 13 seconds CL - Lecture 4.h - Sequents 3 CL - Lecture 4.h - Sequents 3	CL - Lecture 4.h - Sequents 3 We can now give Gentzen's rules for ¬ ⋀ ⋁. inf1a introduction to computation informatics 1 computation and logic logic delta universe gamma rules rule deltas gammas thing adultery assumption bottom negation commerce lists times things head assets place brackets From Claudia-Elena Chirita 0 likes 363 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - Lecture 4b - Visualising Negation duration 2 minutes 48 seconds CL - Lecture 4b - Visualising Negation CL - Lecture 4b - Visualising Negation	CL - Lecture 4b - Visualising Negation What is the difference between 'a' and 'not a'? Here we visualize them on a globe instead of a plane. inf1a introduction to computation informatics 1 computation and logic visualization negation circle things side patterns predicates difference b. hemisphere a. diagram algebra bc words aristotle miners pathway bsa relationships pictures token From Haoran Peng 0 likes 463 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - Lecture 3c - Aristotle's Square of… duration 1 minute 46 seconds CL - Lecture 3c - Aristotle's Square of… CL - Lecture 3c - Aristotle's Square of Opposition	CL - Lecture 3c - Aristotle's Square of Opposition This is how Aristotle organised his propositions. inf1a introduction to computation informatics 1 computation and logic syllogism aristotle isp language negation sentence eye contradictions things sum egg b. words grave propositions From Haoran Peng 0 likes 441 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - Lecture 3b - Particular Propositions duration 2 minutes 23 seconds CL - Lecture 3b - Particular Propositions CL - Lecture 3b - Particular Propositions	CL - Lecture 3b - Particular Propositions You have already met Aristotle's universal propositions, universal assertion, "every a is b", and universal denial, "no a is b". The negations of these are his particular… inf1a introduction to computation informatics 1 computation and logic syllogism particular proposition b. language things turnstile symbols side thing negation isp logic greek expressions rules reason man room examples turnstiles nox position From Haoran Peng 0 likes 500 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - 2019 Lecture 2 duration 34 minutes 26 seconds CL - 2019 Lecture 2 CL - 2019 Lecture 2	CL - 2019 Lecture 2 This is an old recording of Lecture 2, from 2019. inf1a introduction to computation informatics 1 computation and logic logic syllogism 2019 things diagram rule rules b. region satisfies conclusion reptiles form barbara euler universe fact alcohol scotland negation thing idea From Claudia-Elena Chirita 0 likes 200 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
CL - Lecture 2.d - Negation and Contraposition of… duration 7 minutes 48 seconds CL - Lecture 2.d - Negation and Contraposition of… CL - Lecture 2.d - Negation and Contraposition of Predicates	CL - Lecture 2.d - Negation and Contraposition of Predicates In this video on syllogisms, we introduce the logic of negation. inf1a informatics 1 introduction to computation logic computation and logic syllogism negation contraposition rule a. satisfies predicates truth aristotle algebra b. diagrams predicate relation sets denial affirmation things notation bottom barbara From Claudia-Elena Chirita 0 likes 492 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
Natural Language Processing Tasks duration 10 minutes 24 seconds Natural Language Processing Tasks Natural Language Processing Tasks	Natural Language Processing Tasks Natural Language Processing Tasks hds task processing language word level tasks words text speech process extraction sentence uncertainty identification negation errors sentences problem decomposition relationship From Matt Sanders 0 likes 726 plays 0 Course Code GLHE11086 Licence Type Creative Commons - Attribution