[rust-006]《Production Matching for Large Learning Systems》读书笔记

1. Rete，拉丁语"net"的意思。
2. Rete算法有两个内存数据结构：产生式内存数据结构production memory(PM)；工作内存数据结构working memory(WM)。PM和WM在Rete算法的推理过程会始终变动。
3. WM：存储Rete系统在计算过程中的一系列记录item，这些记录item表示各种事实fact。
   1. 这些事实fact包括内部：问题求解的当前内部状态事实；影响问题求解的外部世界的事实变动。这里的“记录”，称之为working memory element(WME)。
   2. 举例一些WME，比如w1:(B1 ^on B2)，w2:(B1 ^on B3)，w3:(B1 ^color red)，w4:(B2 ^on table)，w5:(B2 ^left-of B3)，w6:(B2 ^color blue)，w7:(B3 ^left-of B4)，w8:(B3 ^on table)，w9:(B2 ^color red)。
   3. 所有的WME都统一格式是三元元组，形如(identifier ^attribute value)，最简单，便于处理，复杂的记录都可以转化成三元元组。
   4. WM存储的WME，各成分都是常量，没有变量。
4. PM：存储一系列的production产生式规则。
   1. 每条规则，包含两部分，第一部分是一组条件condition，又称之为LHS，第二部分是一组操作action，又称之为RHS，当条件达成时候要变动的事实fact。每条规则形如：(name-of-this-production LHS --> RHS)。
   2. 匹配算