|
The second video on the first Inf2d lecture on Resolution.
Course Code
INFR08010 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
The first video on the first Inf2d lecture on Resolution.
Course Code
INFR08010 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
The first video of the Inf2D Reasoning and Agents lecture on Effective Propositional Inference.
Course Code
INFR08010 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
Description Pending
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
Description Pending
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
In this video we look at another example, then consider graphs with a cycle of implications. If we have cycles of implications, then all nodes in the cycle must take the same truth value.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
In this video we look at more complicated patterns of implications, and introduce a method for counting the satisfying valuations.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
In this video we focus on binary constraints: clauses with two literals. A 2-SAT problem is a conjunction of binary constraints. We will represent it as a partial ordering on literals.In this video…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
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…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
We continue with the simple example and its representation in Haskell.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
We introduce the idea of using a divide and conquer algorithm.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
We return to the example introduced in the previous video, and begin to represent the problem in Haskell.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
In this video we introduce the idea of a formal language — a language whose expressions can be represented in Haskell.We begin with a simple example, a language of clausal forms in which the…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
More on blocks of ones (which correspond to conjunctions of literals).This video shows how to use a Karnaugh map to represent an arbitrary Boolean function of four variables as a disjunctive normal…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
Introduction to PDDL
Licence Type
All rights reserved The University of Edinburgh
|