(no subject)

Date: 2007-08-06 04:31 pm (UTC)
purplecat: Hand Drawn picture of a Toy Cat (0)
From: [personal profile] purplecat
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.
This account has disabled anonymous posting.
(will be screened if not validated)
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting

If you are unable to use this captcha for any reason, please contact us by email at support@dreamwidth.org

Profile

purplecat: Hand Drawn picture of a Toy Cat (Default)
purplecat

June 2025

S M T W T F S
1234567
8 9 1011121314
15161718192021
22232425262728
2930     

Tags

Style Credit

Expand Cut Tags

No cut tags