Rule Generating Rules
Bossam supports asserting rules at the consequent of rules. Here’s a simple example.
rule r is if father(?x,?y) then assert if Man(?x) then hasChild(?x);
The pattern at the consequent part is called the rule template. Instead of deriving facts, RGRs generate rule instances from the rule templates.
I believe that RGR will be very useful for encoding dynamic & complex knowledge. Also, RGR is an essential tool for performance optimization because it’s possible to reduce the number of facts by utilizing RGRs.
Hope RGRs be of a useful toy for Bossam users!