Re: assert vs instance-of and other questions
Hans Chalupsky <[email protected]>
| Newsgroups | gmane.comp.ai.powerloom |
|---|---|
| Message-ID | <[email protected]> |
>>>>> Kotaro Funakoshi <[email protected]> writes: > ..... >> STELLA(22): (all-facts-of george) >> (|P|(ISA GEORGE MONKEY) |P?|(MONKEY GEORGE) |P?|(INSTANCE-OF GEORGE MONKEY)) >> STELLA(23): >> >> The `all-facts-of' shows that `(MONKEY GEORGE)' was inferred via >> forward-inference. > You mean |P?| indicates a forward-inference proposition, right? > Now another mystery is resolved :-) In this case, yes. Generally, |P?| indicates a proposition whose truth value is unknown in the current context. Forward-inferred propositions are only true in the inference cache context associated with the module in which they were inferred. "all-facts-of" returns a list of propositions which is then printed relative to the current module but not relative to the associated cache which is why they print with a question mark there. Hans