Lecture 15 1
Lecture 15 1
Lecture 15 1
D R K H A D I J A K A N WA L
INSTITUTE OF CS&IT
T H E W O M E N U N I V E R S I T Y M U LTA N
RECAP
Problem Solving
GA
Simple GA
Examples of Mutation and
Crossover
Application Areas
COURSE OUTLINE
Advanced
Introduction Expert Systems Topics
Problem
Solving Uncertainty Conclusion
Genetic
Algorithms Learning
Knowledge
Representation Planning
& Reasoning
LECTURE CONTENTS
Types of Knowledge: procedural, declarative, meta, heuristic,
structural
Knowledge Representation Techniques
Facts
Object-attribute Value Triplets
Semantic Networks
Frames
Logic:
Propositional Calculus
Predicate Calculus
THE AI CYCLE
LEARNING
PERCEPTIO
N KNOWLEDGE
REASONING
REPRESENTATION
(KR)
PLANNING
EXECUTION
THE DILEMMA
We do not know how the KR and reasoning components
are implemented in humans, even though we can see
their manifestation in the form of intelligent behavior.
Hence, the need for a synthetic (artificial) way to model
the knowledge representation and reasoning capability
of humans in computers.
THE SIMPLE APPROACH
Instead of focusing on how knowledge is
acquired, we will assume for now that knowledge
is externally injected into the system.
For now, we focus on how to represent some
given knowledge and then how to reason about
that knowledge for the purpose of inference
Knowledge acquisition and learning will be
discussed later
WHAT IS KNOWLEDGE
Knowledg
Heuristic
Procedura e
Knowledg Rules
Rules l
e of
Procedure Knowledg
e Thumb
s
Methods
Meta-
Knowledg Knowledge
e about
Knowledge
TOWARDS REPRESENTATION
Tariq Ayesha
Ali
GRAPHS AND NETWORKS
May be used to represent procedural knowledge.
e.g.How to start a car?
Mona
FORMAL KR TECHNIQUES
Now, we will discuss some formal methods of knowledge
representation in AI.
Each method is suited to representing a certain type of knowledge.
Choosing the proper representation is important because it must
facilitate reasoning. As the saying goes ‘Knowledge is Power’.
FACTS
Facts are a basic block of knowledge (the atomic units of
knowledge)
They represent declarative knowledge.
A Proposition is the statement of a fact. Each proposition has an
associated truth value. It may be true or false.
In AI, to represent a fact, we use a proposition and its associated
truth value
e.g.
Proposition A: It is raining
Proposition B: I have an umbrella
Proposition C: I will go to school
TYPES OF FACTS
single-valued or multiple –valued: e.g. an individual can only
have one eye color, but may have many cars. So the value of
attribute cars may contain more than one value.
uncertain facts: e.g. it will probably be sunny today. We may
chose to store numerical certainty values with such facts.
fuzzy facts, which are ambiguous in nature. e.g. The book is
heavy/light. Fuzzy representation used. Use certainty factor values
to specify value of “truth”.
OBJECT-ATTRIBUTE-VALUE
TRIPLETS
A type of fact composed of three parts
Used to assert a particular property of some object.
e.g. Ali’s eye color is brown.
Object: Ali
Attribute: eye color
Ali Eye Color
Value: brown Brown