【】从表示目标的谓词或命题出发，使用一组产生式规则证明事实谓词或命题成立，即首先提出一批假设目标，然后逐一验证这些假设。 日期：日期：2026-10-29 来源： 【】从表示目标的谓词或命题出发，使用一组产生式规则证明事实谓词或命题成立，即首先提出一批假设目标，然后逐一验证这些假设。 A. A．因果推理 B. B．正向推理 C. C．逆向推理 D. D．逻辑推理 上一篇：格鲁伯认为:【】是从特定目的出发对所表达的世界所进行的一种抽象的、简化的观察。每一个知识库、基于知识库的信息系统以及基于知识共享的智能体都内含一个概念化的世界，它们是显式的或者隐式的。 下一篇：人工智能的目的是让机器能够【】,以实现某些脑力劳动的机械化。 📖 相关文章 【】从表示目标的谓词或命题出发，使用一组产生式规则证明事实谓词或命题成立，即首先提出一批假设目标，然后逐一验证这些假设。
