Search for tag: "satisfaction"

Experiential learning Group 2 Proposal - SACHA Think Tank '23

On 4 May 2023, #EdChangeAgent​ teams who have been on the internal version of SACHA, called SACHA Think Tank, came together for our very first in-person event. SACHA Think Tank was created to apply…

From  Aidan Tracey 0 likes 18 plays 0  

CIO update video 12 August 2022

CIO update video 12 August 2022

From  Gavin McLachlan 0 likes 192 plays 0  

9.a

This is the first video of the Inf2D lecture on Smart Searching using Constraints.

From  Claudia-Elena Chirita 0 likes 227 plays 0  

9.b

This is the second video of the Inf2D lecture on Smart Searching using Constraints.

From  Claudia-Elena Chirita 0 likes 182 plays 0  

7.b

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

From  Claudia-Elena Chirita 0 likes 223 plays 0  

CL - 12a - Order

This video looks at the ordering of predicates. We first met thsis as the satisfaction ordering a ⊨ b.We look at the ordering of the 16 possible boolean functions of two variables. We can also view…

From  Haoran Peng 0 likes 325 plays 0  

CL - Lecture 4.e - Sequents 0

The following videos introduce sequents, a far-reaching generalisation of the idea underlying Aristotle's propositions. We have already discussed the introduction of multiple antecedents…

From  Claudia-Elena Chirita 0 likes 402 plays 0