机构名称：
¥ 3.0
简短的回答是肯定的，但逻辑上完整意味着如果该陈述为真，我们可以在有限的时间内证明这一点。因为函数可以递归应用，（例如回想一下 S(S(S(n)))。因此，无法确定知识库是否包含某些事实（如果不包含，我们将永远循环下去）。当它确实包含某些事实时，您可以想象一个像 IDS（迭代深化搜索）这样的例程，其中递归级别是受控的。我们称之为半可判定的。
人工智能 - 计算机科学
主要关键词
相关文件推荐
