Relations, declarative knowledge and inference
I realised that I need to demo, coming soon in flesh, why I’m doing the relations the way I do, and why I have these strange concepts.
Let’s start with an example in KIF, the example is lifted from the KIF draft proposed American National Standard (dpANS).
(defrelation number (?x) := (or (real ?x) (complex ?x)))
What does it mean? Well, is number(x) will be true if x is either a real or complex number. Number is a relation.
Generally speaking we have two ways to define a relation or function - either explictly defining all possible/known cases, or by using some procedure to produce them.
Post new comment