论文部分内容阅读
正向推理法是人工智能中一种重要的推理方法，而一般的正向推理法具有效率低、灵活性差的缺点。该文从分析一般正向推理法的缺点出发，给出了一种用于规则基专家系统的新的正向推理法——过程记录法。过程记录法是一种非单调推理方法。通过采用新的事实和规则表示形式以及新的推理机制，该方法具有速度快效率高的优点。（本刊录）