jboss - 如何将 JBoss/DROOLS 规则转换为 CLIPS clp

Question

我需要将定义为 DROOLS .drl 文件的规则转换为 CLIPS .clp。

据我所知，应该可以将 DROOLS 规则转换为 ruleML，将 ruleML 转换为 CLIPS .clp。

我很清楚这件事比文件格式之间的转换更复杂。但就我深入研究此事(阅读论文和网上找到的信息)而言，这应该是很有可能的。然而，这还不是我的领域，如果没有实用的建议和示例，这个问题太复杂了，我无法着手处理。

Answer 1

如果您要在两种语言之间翻译相似的功能，那么您可以编写一个程序来进行翻译，或者使用搜索并最好用 grep 表达式替换。除非程序非常简单，否则您仍然需要做大量工作来检查和调整翻译(这需要两种语言的应用知识)。例如，下面的代码是从 IRL (JRules) 转换为 CLIPS 的规则。

我不熟悉可用于 ruleML 的工具，但如果有一些可用的工具甚至可以进行部分翻译，那将是值得使用的入门工具。

when 
  {
   Phase ( name == "match" ) ;
   Rank ( ?p : value; process == "yes" );
   Technique ( name == "Hidden-Single"; rank == ?p ) ;   
   Possible ( ?v : value; ?r : row; ?pid : id );
   not Possible ( value == ?v; row == ?r; id != ?pid ) ;
   Possible ( ?v2: value; value != ?v; row == ?r; id == ?pid ) ;
   not Impossible ( id == ?pid; value == ?v2; rank == ?p ) ;
  }
then 
  {
   insert Impossible() { id = ?pid; value = ?v2; rank = ?p; reason = "Hidden Single";  }  
  }

(defrule hidden-single-row   
   (phase match)
   (rank (value ?p) (process yes))
   (technique (name Hidden-Single) (rank ?p))
   (possible (value ?v) (row ?r) (id ?id))
   (not (possible (value ?v) (row ?r) (id ~?id)))
   (possible (value ?v2&~?v) (row ?r) (id ?id))
   (not (impossible (id ?id) (value ?v2) (rank ?p)))
   =>
   (assert (impossible (id ?id) (value ?v2) (rank ?p) (reason "Hidden Single"))))