Hi Win,
Thanks for the response -- yes, I saw the logical CE in the book and
online, but I was hoping there was a way of doing the exact same thing
_outside_ of the rule construct (something like "> (assert (logical
(faucet-open) (water-flowing))) [pardon the butchered syntax]).
- Eithon
Win Carus wrote:
Hi Eithon.
Take a look at the "logical" conditional element in the Jess on-line
manual:
"The logical conditional element lets you specify /logical
dependencies/ among facts. All the facts asserted on the RHS of a rule
become dependent on the matches to the logicalpatterns on that rule's
LHS. If any of the matches later become invalid, the dependent facts
are retracted automatically."
http://herzberg.ca.sandia.gov/jess/docs/70/rules.html#logical_ce
This may be what you're looking for.
Win
Eithon Cadag wrote:
Hi all,
Is there any way to define logical fact dependencies outside of
rules? I have a system that recursively retrieves information from
the Web and instantiates that information as facts, and want to
define logical dependencies between the information derived from the
assertion of other information. Since the information is retrieved
wholesale and the facts are created all at once after they are
retrieved, there aren't rules that create these dependencies
naturally. For example, after retrieving information, the facts would
be created thusly:
(assert (factA ... ))
(assert (factB ...))
(assert (edge (from factA) (to factB)))
and ideally we want the existence of factB predicated on the
continued existence of factA. Is this possible post-assertion, or is
there a better way of doing this?
Any tips or suggestions would be greatly appreciated.
Thanks,
- Eithon
--------------------------------------------------------------------
To unsubscribe, send the words 'unsubscribe jess-users [EMAIL PROTECTED]'
in the BODY of a message to [EMAIL PROTECTED], NOT to the list
(use your own address!) List problems? Notify
[EMAIL PROTECTED]
--------------------------------------------------------------------
------------------------------------------------------------------------
begin:vcard
fn:Win Carus
n:Carus;Win
org:Information Extraction Systems, Inc.
adr:;;20 East Quinobequin Road;Waban;MA;02468;USA
email;internet:[EMAIL PROTECTED]
title:President
tel;work:(617) 244-5068
tel;fax:(617) 244-5068
x-mozilla-html:FALSE
url:http://www.InfoExtract.com
version:2.1
end:vcard
--------------------------------------------------------------------
To unsubscribe, send the words 'unsubscribe jess-users [EMAIL PROTECTED]'
in the BODY of a message to [EMAIL PROTECTED], NOT to the list
(use your own address!) List problems? Notify [EMAIL PROTECTED]
--------------------------------------------------------------------
