[判断]  推理机建立人的短期存储器模型，存放问题事实和由规则激发而推断出的新事实。