A rtificia l I n tellig en ce

UNIT IV

Prof. Ishwar N Bharambe

Assistant Professor,
Ajeenkya D Y Patil School of Engineering,
Charoli Bk,via- lohgaon Pune-412105
Unit IV Lectures: 07 Hrs
Knowledge
Lecture 1 Logical Agents, Knowledge-Based Agents, The
Wumpus World, Logic
Lecture 2 Propositional Logic: A Very Simple Logic,
Propositional Theorem Proving, Effective Propositional Model
Checking
Lecture 3 Agents Based on Propositional Logic,
Lecture 4First-Order Logic, Representation Revisited,
Lecture 5 Syntax and Semantics of First-Order Logic,
Lecture 6 Using First-Order Logic
Lecture 7 Knowledge Engineering in First-Order Logic
 EndSem Previous Years Questions

1. Explain Wumpus world environment giving its PEAS

description [09]

2. Explain different inference rules in FOL with suitable

example. [08]

3. Write an propositional logic for the statement, [10]

i) "All birds fly" ii) "Every man respect his parents"

4. Differentiate between propositional logic and First order

logic [07]
 EndSem Previous Years Questions

5. List the inference rules used in prepositional logic? Explain

them in detail with suitable example. [09]

6. Explain syntax and semantics of First Order Logic detail.

[08]

7. Detail the algorithm for deciding entailment in

prepositional logic. [08]

8. Explain knowledge representation structure and compare

them. [09]
 Logical Agents
An agent can represent knowledge of its world, its goals
and the current situation.

Logical Agent has collection of sentences in logic.

By using these logical sentence, the agent and decide

what to do by inferring knowledge (Conclusions)

The conclusions are achieved by a certain action or set of

action is appropriate to achieve its goals.

Knowledge and Reasoning are important to logical agent

because they enable successful behavior to achieve a desired
goal.
 Knowledge-Based Agents

In AI the Knowledge Based System (KBS) is the

program which exploits the knowledge provided by human
experts who are working in some domain.

The knowledge acquired by KBS is used by the system

to make decision making and derive the new inferences from
the existing knowledge.

Knowledge-based agents are composed of two main

parts:
1. Knowledge-base
2. Inference system
Knowledge-Based Agents

Architecture of Knowledge-Based Agent(KBA)

Knowledge base
The central component of a knowledge-based agent is
its knowledge base, or KB.

A knowledge base is a set of sentences. (Here

“sentence” is used as a technical term.

It is a collection of sentences.

These sentences are expressed in a language which is

called a knowledge representation language.

The Knowledge-base of KBA stores fact about the

world.
It is domain-specific content
Inference system

Inference means deriving new sentences from old.

Inference system allows us to add a new sentence to the
knowledge base.
A sentence is a proposition about the world. Inference
system applies logical rules to the KB to deduce new
information.

Inference system is domain-independent algorithms.

A knowledge-based agent must able to do

• An agent should be able to represent states, actions, etc.

• An agent Should be able to incorporate new percepts

• An agent can update the internal representation of the world

• An agent can deduce the internal representation of the

world

• An agent can deduce appropriate actions.

A generic knowledge-based agents program

Figure 7.1. A generic knowledge-based agent

Operations Performed by KBA
TELL: This operation tells the knowledge base what it
perceives from the environment. i.e. add new sentence (facts)
to the KB.(Tell it what it needs to know)

ASK: This operation asks the knowledge base what

action it should perform. Query i.e what is known from the
KB.(Ask what to do next)

Perform: The agent program TELLs the knowledge

base which action was chosen, and the agent executes the
action.
Operations Performed by KBA
MAKE-PERCEPT-SENTENCE constructs a
sentence asserting that the agent perceived the given percept
at the given time.

MAKE-ACTION-QUERY constructs a sentence that

asks what action should be done at the current time.

Finally, MAKE-ACTION-SENTENCE constructs a

sentence asserting that the chosen action was executed.

The details of the inference mechanisms are hidden

inside TELL and ASK.
Wumpus world:
The Wumpus world is a simple world example to
illustrate the worth of a knowledge-based agent and to
represent knowledge representation.

It was inspired by a video game Hunt the Wumpus by

Gregory Yob in 1973.

The Wumpus world is a cave which has 4/4 rooms

connected with passageways.
So there are total 16 rooms which are connected with
each other.
We have a knowledge-based agent who will go forward
in this world. The cave has a room with a beast which is
called Wumpus, who eats anyone who enters the room.
Wumpus world:
The Wumpus can be shot by the agent, but the agent
has a single arrow.

In the Wumpus world, there are some Pits rooms which

are bottomless, and if agent falls in Pits, then he will be stuck
there forever.

The exciting thing with this cave is that in one room

there is a possibility of finding a heap of gold. So the agent
goal is to find the gold and climb out the cave without fallen
into Pits or eaten by Wumpus.
The agent will get a reward if he comes out with
gold, and he will get a penalty if eaten by Wumpus or falls in
the pit.
Wumpus world:
PEAS description of Wumpus world:
Performance measure:
• +1000 reward points if the agent comes out of the
cave with the gold.

• -1000 points penalty for being eaten by the Wumpus

or falling into the pit.

• -1 for each action, and -10 for using an arrow.

• The game ends if either agent dies or came out of the

cave.
PEAS description of Wumpus world:
Environment:

• A 4*4 grid of rooms.

• The agent initially in room square [1, 1], facing

toward the right.

• Location of Wumpus and gold are chosen randomly

except the first square [1,1].

• Each square of the cave can be a pit with probability

0.2 except the first square.
PEAS description of Wumpus world:
Actuators:
• Left turn,

• Right turn

• Move forward

• Grab

• Release

• Shoot.
PEAS description of Wumpus world: Sensors:
• The agent will perceive the stench if he is in the room adjacent to the
Wumpus. (Not diagonally).
• The agent will perceive breeze if he is in the room directly adjacent to
the Pit.
• The agent will perceive the glitter in the room where the gold is
present.
• The agent will perceive the bump if he walks into a wall.
• When the Wumpus is shot, it emits a horrible scream which can be
perceived anywhere in the cave.
• These percepts can be represented as five element list, in which we
will have different indicators for each sensor.
• Example if agent perceives stench, breeze, but no glitter, no bump, and
no scream then it can be represented as: [Stench, Breeze, None, None,
None].
The Wumpus world Properties:
• Partially observable: The Wumpus world is partially
observable because the agent can only perceive the close
environment such as an adjacent room.

• Deterministic: It is deterministic, as the result and outcome

of the world are already known.

• Sequential: The order is important, so it is sequential.

• Static: It is static as Wumpus and Pits are not moving.

• Discrete: The environment is discrete.

• One agent: The environment is a single agent as we have

one agent only and Wumpus is not considered as an agent.
Exploring the Wumpus world:
Now we will explore the Wumpus world and will
determine how the agent will find its goal by applying logical
reasoning.
Agent's First step:
Initially, the agent is in the first room or on the square
[1,1], and we already know that this room is safe for the
agent, so to represent on the below diagram (a) that room is
safe we will add symbol OK. Symbol

A is used to represent agent, symbol B for the breeze, G

for Glitter or gold, V for the visited room, P for pits, W for
Wumpus.

At Room [1,1] agent does not feel any breeze or any

Stench which means the adjacent squares are also OK.
Agent's second Step:
Agent's second Step:
Now agent needs to move forward, so it will either
move to [1, 2], or [2,1]. Let's suppose agent moves to the
room [2, 1], at this room agent perceives some breeze which
means Pit is around this room.

The pit can be in [3, 1], or [2,2], so we will add symbol

P? to say that, is this Pit room?

Now agent will stop and think and will not make any
harmful move.

The agent will go back to the [1, 1] room. The room

[1,1], and [2,1] are visited by the agent, so we will use symbol
V to represent the visited squares.
Agent's third step:
At the third step, now agent will move to the room [1,2]
which is OK.

In the room [1,2] agent perceives a stench which

means there must be a Wumpus nearby. But Wumpus cannot
be in the room [1,1] as by rules of the game, and also not in
[2,2] (Agent had not detected any stench when he was at
[2,1]).
Therefore agent infers that Wumpus is in the room
[1,3], and in current state, there is no breeze which means in
[2,2] there is no Pit and no Wumpus.

So it is safe, and we will mark it OK, and the agent

moves further in [2,2].
Agent's fourth step:

At room [2,2], here no stench and no breezes present so

let's suppose agent decides to move to [2,3].

At room [2,3] agent perceives glitter, so it should grab

the gold and climb out of the cave.
Logic:-
It a particular mode of reasoning viewed as valid or
invalid
Logic is expressed using some language.

Types of logic
● Different types of logics possible
● Propositional logic
● First-order logic
● Temporal logic
● Numerical constraints logic
● Map-coloring logic
Logic:-
Example:
“x + y = 4” is a well-formed sentence, whereas
“x2y+ =” is not.

A logic must also define the semantics of the language

which tells “meaning” of sentences.

The semantics of the language defines the truth of each

sentence with respect to each possible world or model.
Example:
“x + y = 4” is true in a world where x is 2 and y is 2.

It is false in a world where x is 1 and y is 1.

Logical entailment between sentences:
The idea that a sentence follows logically from another
sentence.
In mathematical notation,
we write as α |= β to mean that the sentence α entails
the sentence β.
α |= β if and only if, in every model in which α is true,
β is also true, that is if α is true, then β must also be true.
Informally, the truth of β is “contained” in the truth of
α. The sentence x + y = 4 entails the sentence 4 = x + y.
Entailment is used to carry out logical inference.

If an inference algorithm i can derive α from KB, we

write KB ►iα , which is pronounced “α is derived from KB
by i” or “i derives α from KB.”
Logical entailment between sentences:
The property of completeness is also desirable: an
inference algorithm is complete if it can derive any sentence
that is entailed.

if KB is true in the real world, then any sentence α

derived from KB by a sound inference procedure is also true
in the real world.
Consider the situation in Figure -7.3.(b):

The agent has detected nothing in [1,1] and a breeze in

[2,1].

These percepts, combined with the agent’s knowledge

of the rules of the wumpus world constitute the KB.
Logical entailment between sentences:
An agent is interested (among other things) in whether
the adjacent squares [1,2], [2,2], and [3,1] contain pits.
Each of the three squares might or might not contain a
pit, so there are 23 = 8 possible models. Now let us consider
two possible conclusions:
α1 = “There is no pit in [1,2].”
α2 = “There is no pit in [2,2].”
By inspection, we see the following:
In every model in which KB is true, α1 is also true.
Hence, KB |= α1: there is no pit in [1,2].
We can also see that in some models in which KB is
true, α2 is false.
Hence, KB |= α2: the agent cannot conclude that there
is no pit in [2,2].
Propositional logic: a very simple logic
The statements are made by the propositions The
propositions logic is also called as Boolean Logic.
The sentence / statements is declarative, which is either
true or false but can not be both.
Questions, opinion and Comma(,) are not allowed in
propositions logic.
Examples-
1.Students are studying in the college(True proposition)
2.5+3=8 (True proposition)
3.4+2=8(False proposition)
4.What is your name( not Accepted / syntax error)
5. Some Students are intelligent (False proposition because
this declares both true and false).