Question about closed world

Anderson <[email protected]> Mon, 17 Jan 2005 09:34:20 -0200

Newsgroups	gmane.comp.ai.powerloom
Message-ID	<[email protected]>

Hello

I can't understand the CLOSED world in PowerLoom. I think the correct 
answer of the last question (text below) is FALSE, but a receive an 
UNKNOWN. Please, can someone help-me? Thanks in advance.

Anderson from São Paulo, Brasil.
MSN: [email protected]
ICQ: 124462208


(defconcept ACONCEPT)
(defconcept BCONCEPT)
(assert (ACONCEPT A))
(ask (not (BCONCEPT A)))
    UNKNOWN
(ask (BCONCEPT A))
    UNKNOWN
(assert (CLOSED BCONCEPT))
(ask (not (BCONCEPT A)))
    TRUE
(ask (BCONCEPT A))
    UNKNOWN