I would like the system to be able to infer from "turtles #eat kelp" that "a turtle #eats kelp".
Hode can do a little inference already, via transitive relationships. The relationships themselves are first-order, but the inference is not: It is hard-coded into Hode how to deduce from, say, "1 #< 2" and "2 #< 3" that "1 #< 3".
The natural solutio=n is to introduce a new Expr constructor for rules of inference.
I would like the system to be able to infer from "turtles #eat kelp" that "a turtle #eats kelp".
Hode can do a little inference already, via transitive relationships. The relationships themselves are first-order, but the inference is not: It is hard-coded into Hode how to deduce from, say, "1 #< 2" and "2 #< 3" that "1 #< 3".
The natural solutio=n is to introduce a new
Expr
constructor for rules of inference.