Knowledge Representation-October 16
Knowledge Representation-October 16
A. Facts: Truths in some relevant world. These are the things we want to represent.
The simplest way to represent declarative facts is a set of relations of the same sort
used in the database system.
· Provides a framework to compare two objects based on equivalent attributes.
· Any instance in which two different objects are compared is a relational type of
knowledge.
The table below shows a simple way to store facts.
Also, The facts about a set of objects are put systematically in columns.
This representation provides little opportunity for inference.
Given the facts, it is not possible to answer a simple question such as: “Who is
the heaviest player?”
Also, But if a procedure for finding the heaviest player is provided, then these
facts will enable that procedure to compute an answer.
Moreover, We can ask things like who “bats – left” and “throws – right”.
Inheritable Knowledge
The knowledge embodied in the design hierarchies found in the functional, physical
and process domains.
Within the hierarchy, elements inherit attributes from their parents, but in many
cases, not all attributes of the parent elements prescribed to the child elements.
Also, The inheritance is a powerful form of inference, but not adequate.
Moreover, The basic KR (Knowledge Representation) needs to augment with
inference mechanism.
Property inheritance: The objects or elements of specific classes inherit attributes
and
values from more general classes.
So, The classes organized in a generalized hierarchy.
Boxed nodes — objects and values of attributes of
objects.
Arrows — the point from object to its value.
This structure is known as a slot and filler
structure, semantic network or a collection of
frames.
The steps to retrieve a value for an attribute of
an instance object:
1. Find the object in the knowledge base
2. If there is a value for the attribute report it
3. Otherwise look for a value of an instance, if none fail
4. Also, Go to that node and find a value for the attribute and
then report it
5. Otherwise, search through using is until a value is found for
the attribute.
Inferential Knowledge
Represent knowledge as formal logic: All dogs have tails ∀x: dog(x) → hastail(x)
individual data.
Advantages:
A set of strict rules.
Can use to derive more facts.
Also, Truths of new statements can be verified.
· Guaranteed correctness.
So, Many inference procedures available to implement standard rules of logic popular in AI systems. e.g
Automated theorem proving.
Procedural Knowledge
Moreover, Knowledge encoded in some procedures, small programs that know how to
do specific things, how to proceed
Advantages:
Heuristic or domain-specific knowledge can represent.
Moreover, Extended logical inferences, such as default reasoning facilitated.
Also, Side effects of actions may model. Some rules may become false in time.
Keeping track of this in large systems may be tricky.
Disadvantages:
15
16
17
18