使用已知事实和规则的新事实

Question

根据已知事实和规则可以推断出新事实是什么意思？一个例子将不胜感激。

Answer 1

句子“新事实可以通过已知的事实和规则推断”描述了推断的过程，其确切地说是：通过使用已知的事实和规则添加新事实来扩展知识。

通常的例子如下：

known facts:
    All men are mortal
    Socrates is a man

new fact:
    Socrates is mortal.

另一个例子：

1 is a number
if X is a number, succ(X) is a number

你可以从中产生无限的新事实：
succ（1）是一个数字，succ（succ（1））是一个数字等

正如hardmath所说，“在prolog查询中可以通过基于已知事实和规则的推论来'回答'”。值得一提的是，prolog并不试图找出可以通过一系列事实和规则产生的所有事实;这太慢甚至不可能。