反向推理是从（）出发，反向使用规则，求证已知的事实。

正向推理是从（）出发，通过规则库求得结果。

填空题正向推理是从（）出发，通过规则库求得结果。

推理方式有正向推理、反向推理和（）三种。

填空题推理方式有正向推理、反向推理和（）三种。

通常从选择规则到执行操作分三步完成：匹配、（）和操作。

填空题通常从选择规则到执行操作分三步完成：匹配、（）和操作。