Artificial Intelligence and Soft Computing: Behavioral ... - Arteimi.info

SR (Y, X) OR (M (X) ∧ M (Y) ∧ L (X, w (Y)))
DR1: --------------------------------------------------------
S (Y, murderer-of(X))
which means that if (Y had strained relations with X ) or ((X and Y are
males) and ( X loves wife of Y)) then unless proved otherwise, (suspect Y
as the murderer of X).
The variables X, Y, etc. of a predicate are instantiated by users through
a query language. A working memory WM2 in the proposed system [8] is
used to hold all the instantiated antecedents of a default rule. If all the
instantiated antecedents of a rule are consistent, then the rule is fired and
the values bound to Y for the predicate suspect (Y, murderer-of (X)) are
recorded. These values of Y together with a particular value of X (=x say) are
used subsequently as the space of instantiation for each variable under each
PR.
The list of suspects, guessed by the DR, is also used at a subsequent
stage for identifying the suspect-nodes of the FPN. The process of collecting
data from users through query language and representation of those data in
the form of a tree, called default-data-tree, can be best described by the
following procedure.
Procedure default-data-tree formation (no-of-predicates);
//no-of-predicates denotes number of predicates
in the entire set of default rules//
Begin
Create root-node;
i:= 1;
While i ≤ no-of-predicates do
Begin
writeln “Does predicate pi (X,Y) exist ?” ;
readln (reply);
If reply = no Then do
Begin
Create a predicate pi (X, Y) at the second level
under the root;
Repeat
writeln “predicate pi (X,Y), X = ? ,Y = ?” ;
readln (X, Y);
If (X ≠ null ) and (Y ≠ null) Then
Create a data node with the read values of X and Y
under the predicate pi ;
Until (X = null ) and ( Y = null)