形式定理相关论文
该文初步探讨了用新的人工智能语言PROLOG来构造专家系统的可行性及其特点。该文着重通过构造PROLOG这个小型专家系统的实例具体介......
对中介逻辑命题演算系统MP的18条推理规则作了简化,从中删除了5条不独立的推理规则,构成与原推理规则集S等价的形式推理规则集S1.......
