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