Scribd
Upload
52 views

PropLogicA271 f09

The document discusses the need for logical reasoning in problem-solving agents. It introduces using a knowledge base of facts and rules of inference to reason about a problem in a way that resembles human reasoning. Logic provides a formal language for representing this knowledge and reasoning. The document then discusses using logical reasoning to solve problems in the Wumpus World environment, including representing the world as logical models and using inference procedures to derive new facts from the knowledge base.

Uploaded by

Ravi Tej
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
52 views

PropLogicA271 f09

The document discusses the need for logical reasoning in problem-solving agents. It introduces using a knowledge base of facts and rules of inference to reason about a problem in a way that resembles human reasoning. Logic provides a formal language for representing this knowledge and reasoning. The document then discusses using logical reasoning to solve problems in the Wumpus World environment, including representing the world as logical models and using inference procedures to derive new facts from the knowledge base.

Uploaded by

Ravi Tej
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 27

Logical Agents

Chapter 7
Why Do We Need Logic?
Problem-solving agents were very inflexible: hard code
every possible state.

Search is almost always exponential in the number of


states.

Problem solving agents cannot infer unobserved


information.

We want an algorithm that reasons in a way that


resembles reasoning in humans.
Knowledge & Reasoning
To address these issues we will introduce

A knowledge base (KB): a list of facts that


are known to the agent.

Rules to infer new facts from old facts using


rules of inference.

Logic provides the natural language for this.


Knowledge Bases
Knowledge base:
set of sentences in a formal language.

Declarative approach to building an agent:


Tell it what it needs to know.
Ask it what to do answers should follow from the KB.
Wumpus World PEAS
description
Performance measure
gold: +1000, death: -1000
-1 per step, -10 for using the arrow

Environment
Squares adjacent to wumpus are smelly
Squares adjacent to pit are breezy
Glitter iff gold is in the same square
Shooting kills wumpus if you are facing it
Shooting uses up the only arrow
Grabbing picks up gold if in same square
Releasing drops the gold in same square

Sensors: Stench, Breeze, Glitter, Bump, Scream


Actuators: Left turn, Right turn, Forward, Grab, Release, Shoot
Exploring a wumpus world
Exploring a wumpus world
Exploring a wumpus world
Exploring a wumpus world
Exploring a Wumpus world

If the Wumpus were


here, stench should be
here. Therefore it is
here.
Since, there is no breeze
here, the pit must be
there

We need rather sophisticated reasoning here!


Exploring a wumpus world
Exploring a wumpus world
Exploring a wumpus world
Logic
We used logical reasoning to find the gold.
Logics are formal languages for representing information such
that conclusions can be drawn
Syntax defines the sentences in the language
Semantics define the "meaning or interpretation of sentences;
connects symbols to real events in the world,
i.e., define truth of a sentence in a world

E.g., the language of arithmetic


x+2 y is a sentence; x2+y > {} is not a sentence syntax

semantics
x+2 y is true in a world where x = 7, y = 1
x+2 y is false in a world where x = 0, y = 6
Entailment
Entailment means that one thing follows from
another:
KB

Knowledge base KB entails sentence if and


only if is true in all worlds where KB is true
E.g., the KB containing the Giants won and the Reds
won entails The Giants won.
E.g., x+y = 4 entails 4 = x+y
Models
Logicians typically think in terms of models, which are formally
structured worlds with respect to which truth can be evaluated

We say m is a model of a sentence if is true in m

M() is the set of all models of

Then KB iff M(KB) M()


E.g. KB = Giants won and Reds
won = Giants won

Think of KB and as collections of


constraints and of models m as
possible states. M(KB) are the solutions
to KB and M() the solutions to .
Then, KB when all solutions to
KB are also solutions to .
Wumpus models

All possible models in this reduced Wumpus world.


Wumpus models

KB = all possible wumpus-worlds


consistent with the observations and the
physics of the Wumpus world.
Wumpus models

1 = "[1,2] is safe", KB 1, proved by model checking


Wumpus models

2 = "[2,2] is safe", KB 2
Inference Procedures

KB i = sentence can be derived from KB by


procedure i

Soundness: i is sound if whenever KB i , it is also true


that KB (no wrong inferences, but maybe not all
inferences)

Completeness: i is complete if whenever KB , it is also


true that KB i (all inferences can be made, but maybe
some wrong extra ones as well)
Recap propositional logic:
Syntax
Propositional logic is the simplest logic illustrates basic
ideas

The proposition symbols P1, P2 etc are sentences

If S is a sentence, S is a sentence (negation)


If S1 and S2 are sentences, S1 S2 is a sentence (conjunction)
If S1 and S2 are sentences, S1 S2 is a sentence (disjunction)
If S1 and S2 are sentences, S1 S2 is a sentence (implication)
If S1 and S2 are sentences, S1 S2 is a sentence (biconditional)
Recap propositional logic:
Semantics
Each model/world specifies true or false for each proposition symbol
E.g. P1,2 P2,2 P3,1
false true false
With these symbols, 8 possible models, can be enumerated automatically.

Rules for evaluating truth with respect to a model m:


S is true iff S is false
S1 S2 is true iff S1 is true and S2 is true
S1 S2 is true iff S1is true or S2 is true
S1 S2 is true iff S1 is false or S2 is true
i.e., is false iff S1 is true and S2 is false
S1 S2 is true iff S1S2 is true andS2S1 is true

Simple recursive process evaluates an arbitrary sentence, e.g.,

P1,2 (P2,2 P3,1) = true (true false) = true true = true


Recap truth tables for
connectives

OR: P or Q is true or both are true. Implication is always true


XOR: P or Q is true but not both. when the premises are False!
Inference by enumeration

Enumeration of all models is sound and complete.

For n symbols, time complexity is O(2n)...

We need a smarter way to do inference!

In particular, we are going to infer new logical sentences


from the data-base and see if they match a query.
Logical equivalence
To manipulate logical sentences we need some rewrite
rules.
Two sentences are logically equivalent iff they are true in
same models: iff and
You need to
know these !
Validity and satisfiability
A sentence is valid if it is true in all models,
e.g., True, A A, A A, (A (A B)) B

Validity is connected to inference via the Deduction Theorem:


KB if and only if (KB ) is valid

A sentence is satisfiable if it is true in some model


e.g., A B, C

A sentence is unsatisfiable if it is false in all models


e.g., AA

Satisfiability is connected to inference via the following:


KB if and only if (KB ) is unsatisfiable
(there is no model for which KB=true and is false)

You might also like