RSS AI Zone
Bruce, in a previous post you helped me with inference and I worked out an inference query definition:
“2ve 1s<2q: queue s: match s1 v2 ”
given :userfacts
( crow istypeof bird )
( bird istypeof creature )
( creature istypeof `living thing` )
my chatbot can answer:
>what is a crow
Bird, creature, and living thing.
I would like to create a deduction query that back chains from what is needed to get prerequisites.
given facts:
a isneededfor b
b isneededfor c
I would like to return both facts given “isneededfor” and “c” and I would like to be able to specify the predicate “isneededfor”.
I have tried many different patterns, but perhaps you can explain why the following is not the answer since to me is seems like the inverse of the infer query above:
“2ve 3o>2q: queue o: match v2 o3”
I thought the “>” would expand down right to left using the object as the subject.
Thanks.
