Knowledge Representation - Intro
Knowledge Representation - Intro
REPRESENTATION
KNOWLEDGE REPRESENTATION AND
MAPPING
To solve the complex problems encountered in artificial
intelligence ,one needs both a large amount of
knowledge and some mechanisms for manipulating that
knowledge to create solution to new problem.
Ways of representing knowledge have been exploited in
AI programs, dealing with two different kind of entities:
1. Facts: truths in some relevant world. These are the
things we want to represent.
2. Representations of facts in some chosen formalism.
These are the things we will actually be able to
manipulate.
KNOWLEDGE AND MAPPING CONT…..
Structuring these entities is as two levels:
1. The knowledge level , at which facts(including each agent’s
behaviors and current goals) are described.
2. The symbol level, at which representation of objects at
knowledge level are defined in terms of symbols that can be
manipulated by programs
MAPPING B/W FACTS &
REPRESENTATIONS
*
Reasoning Program
Facts
Internal* Representations
English English
Understanding Generation
English Representation
representation mappings
MAPPING B/W FACTS &
REPRESENTATIONS
In the above figure all the links are called representation
mappings.
The forward representation mapping maps from facts to
representations.
The backward representation mapping goes the other
way from representations to facts.
desired real reasoning
Initial facts Final facts
* forward backward *
representation representation
mapping mapping
Adult-male 5-10
height
isa 6-1
height
bats Baseball
Equal to
player Batting-average
handed
.252
isa isa
Batting-average Batting-average
.106 Pitcher Fielder .262
instance instance
This new information does not require further data gathering form
source, but does require analysis of the given information to
generate new knowledge.
− Given a set of relations and values, one may infer other values or
relations.
− In addition to algebraic relations, a predicate logic (mathematical
deduction) is used to infer from a set of attributes.
− Inference through predicate logic uses a set of logical operations to
relate individual data.
The symbols used for the logic operations are : " → "
(implication), " ¬ " (not), " V " (or), " Λ " (and), " ∀ " (for all), " ∃
" (there exists).
INFERENTIAL KNOWLEDGE
CONTD….
Examples of predicate logic statements :
1. Wonder is a name of a dog : dog (wonder)
2. All dogs belong to the class of animals : ∀ x : dog (x) →
animal(x)
3. All animals either live on land or in water : ∀ x : animal(x) →
live (x, land) V live (x, water)