[2899] in java-interest
Re: Rule subsystem
daemon@ATHENA.MIT.EDU (Ron van Hoof)
Thu Oct 19 18:16:02 1995
Date: Thu, 19 Oct 1995 15:57:20 -0400
From: rvhoof@nynexst.com (Ron van Hoof)
To: bc@futuretense.com
Cc: java-interest@java.sun.com
Hoi
I've got a backward chainer running under Java. the only
problem still there is the use of an ask-dialog. The program doesn't
wait for the user to input a value. Currently the backward chainer
only supports the use of variables with values. This weekend I add
the functionality of using objects and attributes. The rule base
contains a domain (all variables used) a factset and rules of
the following form:
production-rule ::= IF <antecedent> THEN <consequent>
antecedent ::= <disjunction> {and <disjunction>}*
disjunction ::= <condition> {or <condition>}*
consequent ::= <conclusion> {also <conclusion>}*
condition ::= <predicate> (variable, value)
conclusion ::= <action> (variable, value)
predicate ::= same | notsame
action ::= add
Included now is also a trace window showing a trace of the inference
engine.
Extensions in near future:
1. condition ::= <predicate> (object, attribute, value)
conclusion ::= <action> (object, attribute, value)
2. use of =, >, <, <=, >=, etc
condition ::= (object, attribute, value) <op> (object,attr,value)
<op> ::= = | > | < | <= | >= etc
3. Writing trace to file
4. Including, 'why', 'how'
5. Creating forward chainer.
Still a lot to be done. But I'm getting there.
Ron
---------------------------------------------------------------------
Ron van Hoof NYNEX Science & Technology, Inc.
Member of Technical Staff Research & Development
Work Systems Design Group
E-Mail: rvhoof@nynexst.com 400 Westchester Avenue, Rm 115a
Voice: (914) 644-2046 White Plains, NY 10604
Fax: (914) 949-9566 USA
---------------------------------------------------------------------
-
Note to Sun employees: this is an EXTERNAL mailing list!
Info: send 'help' to java-interest-request@java.sun.com
