既知の事実と規則を使用した新しい事実

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によると、「プロローグのクエリでは、既知の事実とルールに基づく控除で回答できる」と述べています。プロローグが一連の事実と規則によって生成される可能性のある事実をすべて見つけようとしていないことに言及する価値はある。それは遅すぎることも不可能でさえあります。