Re: Question about closed world
Thomas Russ <[email protected]>
| Newsgroups | gmane.comp.ai.powerloom |
|---|---|
| Message-ID | <[email protected]> |
On Jan 17, 2005, at 3:34 AM, Anderson wrote: > 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. This is currently a bug in PowerLoom. The NOT reasoner understands about reasoning with closed propositions, but that has not yet made it into the general reasoner. Unfortunately, we are quite busy for the next week or two, so it will take a little while before we can address this particular problem. > > 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 > > > _______________________________________________ > powerloom-forum mailing list > [email protected] > http://mailman.isi.edu/mailman/listinfo/powerloom-forum