Search for tag: "negation"

13.b

The second video on the first Inf2d lecture on Resolution.

From  Claudia-Elena Chirita on February 8th, 2021 0 likes 145 plays 0  

10.c

Third video of the Inf2d lecture on First-Order Logic.

From  Claudia-Elena Chirita on February 1st, 2021 0 likes 155 plays 0  

8.a

The first video of the Inf2D Reasoning and Agents lecture on Effective Propositional Inference.

From  Claudia-Elena Chirita on January 25th, 2021 0 likes 190 plays 0  

7.c

Third video of the Inf2D Reasoning and Agents lecture on Logical Agents.

From  Claudia-Elena Chirita on January 25th, 2021 0 likes 186 plays 0  

CL - 11c - CNF by KM (I)

Description Pending

From  Haoran Peng on November 12th, 2020 0 likes 220 plays 0  

CL - 9c - DPLL II

We return to the example introduced in the previous video, and begin to represent the problem in Haskell.

From  Haoran Peng on November 4th, 2020 0 likes 256 plays 0  

CL - Lecture 4.h - Sequents 3

We can now give Gentzen's rules for ¬ ⋀ ⋁.

From  Claudia-Elena Chirita on October 15th, 2020 0 likes 348 plays 0  

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.

From  Haoran Peng on October 11th, 2020 0 likes 440 plays 0  

CL - Lecture 3c - Aristotle's Square of Opposition

This is how Aristotle organised his propositions.

From  Haoran Peng on October 3rd, 2020 0 likes 412 plays 0  

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…

From  Haoran Peng on October 3rd, 2020 0 likes 466 plays 0  

CL - 2019 Lecture 2

This is an old recording of Lecture 2, from 2019.

From  Claudia-Elena Chirita on September 26th, 2020 0 likes 186 plays 0  

CL - Lecture 2.d - Negation and Contraposition of Predicates

In this video on syllogisms, we introduce the logic of negation.

From  Claudia-Elena Chirita on September 26th, 2020 0 likes 459 plays 0  

Natural Language Processing Tasks

Natural Language Processing Tasks

From  Dimitrios Doudesis on June 8th, 2020 0 likes 102 plays 0