Not quite the problem. I want to find out if ALL the things pass the tests and, if so, under which instantaiont of variables
i.e.
ALL x in list. EXISTS sigma. believe(x.sigma)
so basically if I'm say I believe "sky is blue", "blue cow is blue", "blue cow has four legs" and I'm looking to see if I believe
EXISTS x. "x is blue" AND "x has four legs"
then I loop
believe?: x is blue candidate: x = sky believe?: x has four legs (when x = sky) FAIL. back track believe? :x is blue next candidate: x = blue cow believe?: x has four legs (when x = blue cow) SUCCESS end loop
I've realised I need to implemented depth-first search in Java, its now a question of the most efficient way to do that with the iterators I already have for checking "believes" and returning candidates.
(no subject)
Date: 2007-08-06 04:31 pm (UTC)i.e.
ALL x in list. EXISTS sigma. believe(x.sigma)
so basically if I'm say I believe "sky is blue", "blue cow is blue", "blue cow has four legs" and I'm looking to see if I believe
EXISTS x. "x is blue" AND "x has four legs"
then I loop
believe?: x is blue
candidate: x = sky
believe?: x has four legs (when x = sky)
FAIL.
back track
believe? :x is blue
next candidate: x = blue cow
believe?: x has four legs (when x = blue cow)
SUCCESS
end loop
I've realised I need to implemented depth-first search in Java, its now a question of the most efficient way to do that with the iterators I already have for checking "believes" and returning candidates.