Description
3HAC024144-001 ABB
产生式系统用来描述若干个不同的以一个基本概念为基础的系统。这个基本概念就是产生式规则或产生式条件和操作对的概念。在产生式系统中，论域的知识分为两部分：用事实表示静态知识，如事物、事件和他们之间的关系；用产生式规则表示推理过程和行为。
在基于规则系统中，每个if可能与某断言(assertion)集中的一个或多个断言匹配，then部分用于规定放入工作内存的新断言。当then部分用于规定动作时，称这种基于规则的系统为反应式系统(reaction system)或产生式系统(production system)。
它由三个部分构成：总数据库、产生式规则和控制策略。
1.正向推理
从一组表示事实的谓词或命题出发，使用一组产生式规则，用以证明该谓词公式或命题是否成立。
一般策略：先提供一批事实（数据）到总数据库中。系统利用这些事实与规则的前提相匹配，触发匹配成功的规则，把其结论作为新的事实添加到总数据库中。继续上述过程，用更新过的总数据库的所有事实再与规则库中另一条规则匹配，用其结论再次修改总数据库的内容，直到没有可匹配的新规则，不再有新的事实加到总数据库中。
2.逆向推理
从表示目标的谓词或命题出发，使用一组产生式规则证明事实谓词或命题成立，即首先提出一批假设目标，然后逐一验证这些假设。
一般策略：首先假设一个可能的目标，然后由产生式系统试图证明此假设目标是否在总数据库中。若在总数据库中，则该假设目标成立；否则，若该假设为终叶（证据）节点，则询问用户。若不是，则再假定另一个目标，即寻找结论部分包含该假设的那些规则，把它们的前提作为新的假设，并力图证明其成立。这样反复进行推理，直到所有目标均获证明或者所有路径都得到测试为止。
3.双向推理
双向推理的推理策略是同时从目标向事实推理和从事实向目标推理，并在推理过程中的某个步骤，实现事实与目标的匹配。
GIDDINGS & LEWIS 502-02906-00 Scan Monitor
Expedited shipping available
GIDDINGS & LEWIS 502-04051-00 NSFP 5020405100
Giddings & Lewis DC Output Interface 502-02954-01 NEW
Giddings & Lewis DC Output Interface 502-02954-00
畅销品牌：
ABB、GE发那科、AB、FOXBORO、Honeywell，力士乐、KUKA、SEW、施耐德等，安川、本特利，英维思，伍德沃德，福克斯波罗、西屋、瑞恩、施耐德莫迪康、ABB、AB、西门子、摩托罗拉、安川、博世力士乐，力士乐等各大品牌的DCS系统配件，机器人系统配件，大型伺服系统备件。（专业停产配件原装进口原厂正品，提供报关单，提供质保一年。
