Re: play(player, game)

--On Wednesday, May 25, 2005 12:47 -0700 Hans Chalupsky <[email protected]> wrote:

>>>>>> Octav Popescu <[email protected]> writes:
>
>> Another question: irrespective of the CLOSED declaration, does PowerLoom
>> do  3-value (or 5-value with the defaults) logic computation? Like saying
>> (AND  UNKNOWN FALSE) = FALSE, (AND UNKNOWN TRUE) = UNKNOWN, (OR UNKNOWN
>> TRUE) =  TRUE, (OR UNKNOWN FALSE) = UNKNOWN.
>
> Yes, for example:
>
> STELLA(3): (defrelation happy (?x))
>| r|HAPPY
> STELLA(4): (assert (not (happy joe)))
>| P|(NOT (HAPPY JOE))
> STELLA(5): (ask (happy fred))
> UNKNOWN
> STELLA(6): (ask (and (happy joe) (happy fred)))
> FALSE
> STELLA(7): (ask (or (happy joe) (happy fred)))
> UNKNOWN
> STELLA(8): (ask (or (not (happy joe)) (happy fred)))
> TRUE
> STELLA(10): (ask (and (not (happy joe)) (happy fred)))
> UNKNOWN
> STELLA(11):
>
> Hans

Well, that's great, but then I get:

? (ask (and (happy fred) (happy joe)))
UNKNOWN
? (ask (or (happy fred) (happy joe)))
FALSE

Although the next two are fine:

? (ask (or (happy fred) (not (happy joe))))
TRUE
? (ask (and (happy fred) (not (happy joe))))
UNKNOWN

Octav