Representing Knowledge Using Rules: Unit-IV
Representing Knowledge Using Rules: Unit-IV
Unit-IV
1
Procedural versus Declarative Knowledge
We have discussed various search techniques so far. Now we
would consider a set of rules that represent,
1. Knowledge about relationships in the world and
2. Knowledge about how to solve the problem using the content of
the rules.
Procedural Knowledge:
A representation in which the control information that is
necessary to use the knowledge is embedded in the knowledge
itself for e.g. computer programs, directions, and recipes; these
indicate specific use or implementation;
The real difference between declarative and procedural views of
knowledge lies in where control information reside.
2
Procedural versus Declarative Knowledge
For example, consider the following
Man (Marcus)
Man (Caesar)
Person (Cleopatra)
∀x: Man(x) → Person(x)
Now, try to answer the question. ?Person(y)
The knowledge base justifies any of the following answers.
Y=Marcus
Y=Caesar
Y=Cleopatra
12
Forward versus Backward Reasoning
Example 1 of Forward versus Backward Reasoning
It is easier to drive from an unfamiliar place from home, rather than from
home to an unfamiliar place.
Also, if you consider a home as starting place an unfamiliar place as a
goal then we have to backtrack from unfamiliar place to home.
Example 2 of Forward versus Backward Reasoning
Consider a problem of symbolic integration. Moreover, the problem space
is a set of formulas, which contains integral expressions.
Here START is equal to the given formula with some integrals.
GOAL is equivalent to the expression of the formula without any integral.
Here we start from the formula with some integrals and proceed to an
integral free expression rather than starting from an integral free
expression.
13
Forward versus Backward Reasoning
Example 3 of Forward versus Backward Reasoning
The third factor is nothing but deciding whether the reasoning process can
justify its reasoning. If it justifies then it can apply.
For example, doctors are usually unwilling to accept any advice from
diagnostics process because it cannot explain its reasoning.
Example 4 of Forward versus Backward Reasoning
Prolog is an example of backward chaining rule system. In Prolog rules
restricted to Horn clauses. This allows for rapid indexing because all the
rules for deducing a given fact share the same rule head.
Rules matched with unification procedure. Unification tries to find a set
of bindings for variables to equate a sub-goal with the head of some rule.
Rules in the Prolog program matched in the order in which they appear.
14
Combining Forward and Backward Reasoning
Combining Forward and Backward Reasoning
Instead of searching either forward or backward, you can search both
simultaneously.
Also, That is, start forward from a starting state and backward from a goal
state simultaneously until the paths meet.
This strategy called Bi-directional search. The following figure shows the
reason for a Bidirectional search to be ineffective.
16
Please read the following topics yourself:
Matching (Page 138-142)
Control knowledge (Page 142-145) from book authored by Elaine
Rich, Kevin Knight and ShivaShankar B. Nair.
17