10

我正在开发的应用程序是一种“配置器”。它是用 C# 编写的，我什至编写了一个规则引擎来配合它。这个想法是有一堆命题逻辑语句，用户可以进行选择。根据他们选择的内容，其他一些项目变得需要或完全不可用。

命题逻辑语句一般采用以下形式：

A => ~X 
ABC => ~(X+Y) 
A+B => Q 
A(~(B+C)) => ~Q A <=> B

符号：

=>  -- Implication
<=> -- Material Equivalence
~   -- Not
+   -- Or
Two letters side-by-side -- And

我对 Prolog 很陌生，但它似乎能够为我处理所有的“规则处理”，让我摆脱我当前的规则引擎（它有效，但它不是那么快或容易保持我想要的）。

此外，所有可用选项都属于层次结构。例如：

Outside
   Color
      Red
      Blue
      Green
   Material
      Wood
      Metal

如果隐含了第二级的项目（特征，例如颜色），则必须选择第三级的项目（选项，例如红色）。同样，如果我们知道一个特征是假的，那么它下面的所有选项也都是假的。

问题是每个产品都有自己的一套规则。建立一个包含这些运算符作为谓词的知识库，然后在运行时开始为产品构建所有规则是一种合理的方法吗？

我想象它可能工作的方式是建立组件、功能和选项的想法。然后设置 then 之间的关系（例如，如果特征为假，那么它的所有选项都是假的）。在运行时，添加产品的特定规则。然后将所有用户的选择传递给一个函数，检索哪些项目为真哪些项目为假作为输出。

我不知道我所问的所有含义，因为我刚刚进入 Prolog，但我试图避免走上一条糟糕的道路并在此过程中浪费大量时间。

一些可能有助于针对我想要找出的问题的问题：

  1. 这听起来可行吗？
  2. 我在吠叫错误的树吗？
  3. 尝试在运行时创建所有这些规则是否有任何缺点或顾虑？
  4. 有没有更好的系统来处理这种事情，我可以挤进 C# 应用程序（确切地说是 Silverlight）？
  5. 我应该检查其他竞争系统吗？
  6. 你对这类事情有什么一般性的建议吗？

提前感谢您的建议！

4

2 回答 2

9
  1. 当然，但 Prolog 有一个学习曲线。
  2. 基于规则的推理是 Prolog 的游戏，尽管您可能必须将许多规则重写为Horn 子句。A+B => Q是可行的（它变成q :- a. q :- b.or q :- (a;b).），但您的其他示例必须重写，包括A => ~X.
  3. 取决于您的 Prolog 编译器，特别是它是否支持动态谓词的索引。
  4. 搜索“前向检查”、“推理引擎”和“业务规则”等术语。各种社区不断为这个问题发明不同的术语。
  5. 约束处理规则 (CHR)是一种逻辑编程语言，作为 Prolog 扩展实现，更接近基于规则的推理/前向链接/业务规则引擎。不过，如果你想使用它，你仍然需要学习基本的 Prolog。
  6. 请记住，Prolog 是一种编程语言，而不是逻辑推理的灵丹妙药。它削减了一阶逻辑的一些角落，以保持事物的高效可计算性。这就是它只处理 Horn 子句的原因：它们可以与过程/子例程一对一地映射。
于 2011-07-21T13:40:29.113 回答
4

您还可以加入 DCG 来生成物料清单。这个想法大致是终端可用于指示子产品，而非终端可用于定义子产品的越来越复杂的组合，直到您获得最终的可配置产品。

以 {red, blue, green} 中的两个属性值对 Color 和 {wood, metal} 中的 Material 为例。这些可以指定一个门把手，因此并非所有组合都是可能的：

knob(red,wood)   --> ['100101'].
knob(red,metal)  --> ['100102'].
knob(blue,metal) --> ['100202'].

然后，您可以将门定义为：

door ... --> knob ..., panel ...

有趣的是，您不会在这样的产品规范中看到任何逻辑公式，只有事实和规则，以及大量传递的参数。您可以在知识获取组件中使用参数。通过运行未实例化的目标，您可以导出属性值对的可能值。谓词 setof/3 将为您排序和删除重复项：

?- setof(Color,Material^Bill^knob(Color,Material,Bill,[]),Values).
Value = [blue, red] 
?- setof(Material,Color^Bill^knob(Color,Material,Bill,[]),Values).
Material = [metal, wood]

现在您知道了属性的范围，您可以让最终用户依次选择一个属性和一个值。假设他采用属性颜色及其值蓝色。属性 Material 的范围然后相应地缩小：

?- setof(Material,Bill^knob(blue,Material,Bill,[]),Values).
Material = [metal]

最后，当所有属性都被指定后，您可以读取子产品的货号。您可以将其用于价格计算，通过添加一些为您提供有关商品编号的附加信息的事实，或生成订购清单等：

?- knob(blue,metal,Bill,[]).
Bill = ['100202']

最好的祝福

PS：哦，产品配置器中使用的物料清单概念似乎可以追溯到 Clocksin & Mellish。至少我在这里找到了相应的评论：http: //www.amzi.com/manuals/amzi/pro/ref_dcg.htm#DCGBillMaterials

于 2011-07-21T22:10:27.133 回答