8 – Propositional Logic Question

Here’s one more example of reasoning and propositional logic. In a particular model of the world, we know the following three sentences are true. E, or B, implies A. A implies J and M. And B. You know these three sentences to be true and that’s all we know. Now, I want you to tell … Read more

5 – Truth Tables Solution

The answers are, first, the sentence, if five is an odd number, then Paris is a capital of France, is true in propositional logic. It may sound odd in ordinary English, but in propositional logic, this is the same as true implies true. And if we look on this line, the final line for P … Read more

4 – Truth Tables

Here are the truth tables for all the logical connectives. What a truth table does is list all the possibilities for the propositional symbols. So P and Q can be false and false, false and true, true and false, or true and true. Those are the only four possibilities. And then for each of those … Read more

3 – Propositional Logic

The first logic we would consider is called propositional logic. Let’s jump right into an example, recasting the alarm problem in propositional logic. We have propositional symbols B, E, A, M, and J corresponding to the events of the burglary occurring, of the earthquake occurring, of the alarm going off, of Mary calling, and of … Read more

2 – Background and Expert Systems

Now in the early days of AI, there was a lot of excitement and work on logic. Can you give us a bit of historical perspective on the topic. >> AI started in the 50s through the 70s with the idea that what we needed was better languages and systems for writing down logical statements, … Read more

19 – FOL Question 2

Now I’m going to give you some sentences or axioms in first-order logic. And I want you to tell me if they correctly or incorrectly represent the English that I’m asking about. So tell me yes or no, are these good representations? And the first, I want to represent the English sentence Sam has two … Read more

18 – FOL Question Solution

The answers are. The first sentence is valid. It’s always true. Why is that? Because every model has to have at least one object and we can have both x and y refer to that same object, and so that object must be equal to itself. Second, the left hand side of this implication has … Read more

17 – FOL Question

Now let’s get some practice in first order logic. I’m going to give you some sentences and for each one, I want you to tell me if it is valid. That is always true, satisfiable but not valid. That is there’s some models for which it is true or unsatisfiable, meaning there are no models … Read more

15 – Syntax

Now let’s talk about the syntax of first order logic. And like in propositional logic, we have sentences, which describe facts that are true or false. But unlike propositional logic, we also have terms, which describe objects. Now the atomic sentences are predicates corresponding to relations. So we can say, Vowel (A) is an atomic … Read more

14 – Models

How does first order logic work? What does it do? Well, like propositional logic, we start with a model. In propositional logic, a model was a value for each propositional symbol. So, we might say that the symbol, P, was true and the symbol, Q, was false. And that would be a model that corresponds … Read more

13 – First Order Logic

We’re going to talk about first order logic, and its relation to the other logics we’ve seen so far, namely propositional logic and probability theory. And we’re going to talk about them in terms of what they say about the world, which we called the ontological commitment of these logics and what types of beliefs … Read more

12 – Propositional Logic Limitations

Propositional logic is a powerful language for what it does. And there are very efficient inference mechanisms for determining validity and satisfiability, although we haven’t discussed them. But propositional logic has a few limitations. First, it can only handle true and false values. No capability to handle uncertainty like we did in probability theory. And … Read more

10 – Terminology

Now, for a little more terminology. We say that a valid sentence is one that is true in every possible model for every combination of values of the propositional symbols, and a satisfiable sentence is one that is true in some model and not necessarily in all the models. So what I want you to … Read more

1 – Introduction

In this next section, Peter will teach us about logic and planning. Peter, what important concepts should our students look out for? >> A logic is a way of describing the world. When we make logical statements, we capture part of what we want to know about the world, and ignore other parts. Any description … Read more