A. 在执行某一条规则时,如果该规则的右部是一个或多个结论,则把这些结论加入到综合数据库中;如果该规则的右部是一个或多个操作,则执行这些操作

B. 随时掌握结束产生式系统运行的时机,以便在适当的时候停止系统的运行

C. 按一定策略从规则库中选择规则与综合数据库中的已知事实进行匹配

D. 匹配成功的规则可能不止一条,这称为发生了冲突.此时,推理机构必须调用相应的解决冲突的策略进行消解,以便从中选出一条执行