私は predicate と AI 全般に慣れていませんが、「->」の前が true の場合は false であり、その後が false の場合、それ以外の場合は true であることを意味することを知っています。
しかし、「->」側の後がわからない場合、どのように使用していますか?
そのように、parent(X, Y)は、この述語が false か true かを知るために知られている必要がありますが、 parent(X, Y)は私たちが推論したいものです。
∀ X ∀ Y 父(X, Y) ∨ 母(X, Y) → 親(X, Y)