ariel@bimacs.BITNET (Ariel J. Frank) (06/15/90)
Hi AI/Rete land. I need your help/info please. I will ACK answers.
I have developed a "Rete Like" algorithm to support a special purpose
Production Language. I had to add functionality to the original Rete
(as I know it from Forg's paper, 1979):
1. Support hierarchical "Data Elements"
i.e: fields are related to subjects (a grade of a student)
subjects may have many instances (there are many students)
The system is data flow oriented. No data is actually put into the net.
A token contains a pointer (Base Register) to the data record, which may
be hierarchical.
2. The production language supports quantifiers such as : "All","Any",
"At list n","No more then m"
i.e: "If no more then 5 students got a grade under c then... "
The network topology supports the quantifiers.
3. The network includes the R.H.S of the productions.
It also includes direct links from the R.H.S area of the net back to
the entry area.
4. Truth Maintenance.
"Invalid" tokens are created automatically by the network.
Productions undergo a reverse process (some of their actions are being
reversed) when fired due to an invalid token.
So far I have only general ideas about optimization of the network.
There seem to be a tradeof between cutting down the number of "join"
nodes and the ability to gain structural similarity.
I would be happy to exchange ideas on the subjects and on the following:
1. More functionality to rete.
2. Truth maintenance in production systems.
3. Scheduling technics of the nodes of the network.
4. Strategies of Conflict Resolution.
5. Bench Marks for Rete algorithm.
Thanks in advance. I will summerize if enough interest. Dan.
Movshovich Dan
Dept. of Mathematics and Computer Science
Bar Ilan University, Ramat Gan, Israel 52900
Tel: (972-3-) 5318407/8, Fax: (972-3-) 344766
BITNET: movshovi@bimacs
INTERNET: movshovi@bimacs.biu.ac.il
CSNET: movshovi%bimacs.bitnet%cunyvm.cuny.edu@csnet-relay
UUCP: ...uunet!mcvax!humus!bimacs!movshovi
--
Ariel J. Frank
Deputy Chairperson, Dept. of Mathematics and Computer Science
Bar Ilan University, Ramat Gan, Israel 52900
Tel: (972-3-) 5318407/8, Fax: (972-3-) 344766
AMIX (Israeli UNIX user group) Chairperson
Tel: (972-3-) 715770/2, Fax: (972-3-) 5744374
BITNET: ariel@bimacs (also F68388@barilan)
INTERNET: ariel@bimacs.biu.ac.il
CSNET: ariel%bimacs.bitnet%cunyvm.cuny.edu@csnet-relay
UUCP: ...uunet!mcvax!humus!bimacs!ariel