Professional Documents
Culture Documents
Color, Volume, Owner, Material, Type, and Density, and the relationship
between the two objects is described by the predicate On.
Given this instance space, the task is to learn the target concept "pairs of
physical objects, such that one can be stacked safely on the other," denoted by
the predicate SafeToStack(x,y).
Learning this target concept might be useful, for example, to a robot system that
has the task of storing various physical objects within a limited workspace.
The domain theory shown in the table includes assertions such as "it is safe to
stack x on y if y is not Fragile," and "an object x is Fragile if the Material
from which x is made is Glass."
Like the learned hypothesis, the domain theory is described by a collection of
and Fragile, which are not present in the descriptions of the training
examples, but which can be inferred from more primitive instance attributes
such as Material, Density, and Volume, using other other rules in the domain
theory.
Finally, notice that the domain theory shown in the table is sufficient to prove
that the positive example shown there satisfies the target concept
SafeToStack.
An analytical learning problem: SafeToStack(x,y)
Learning with Perfect Domain Theories: Prolog-EBG
Analytical Learning is explanation based learning -> related to domain theory
(Knowledge on specific field). E.g. Mathematics, Science Domain.
Domain Theory is always said to be correct and complete.
Correct : If each assertion made by Domain Theory(DT) is always True.
Complete : If it Covers each and every positive example.
Need of Domain Theory
1. Improved Performance
2. Difficult to achieve a perfect Domain
Example: Prolog-EBG (Programming with Logic)
Mainly based on Sequential Learning and horn Classes
3 Steps : 1. Explaining 2.Analysis 3.Refining
Learning with Perfect Domain Theories: Prolog-EBG