填空题 鲁宾逊提出了（）使机器定理证明成为可能

问答题 规则库中，概念共享和概念分离各指什么？在哪种情况下，其与／或树和依赖图是相一致的？

问答题 何谓产生式系统？它由哪几部分组成？