Hi,
I have another problem with deleted facts. I have a rule that is
activated with a fact that is already retracted from the working memory.
Here the log:
------------------
FIRE 248
SuggestModifiabilityTactics::__SuggestModifiabilityTacticsSchedulersuggest
f-707
<== f-707 (SuggestModifiabilityTactics::T_ControlModelExecution
init)
==> Activation:
SuggestModifiabilityTactics::__SuggestModifiabilityTacticsSchedulerinit
: f-0,
*1> ==> f-716 (SuggestModifiabilityTactics::T_ControlModelExecution
suggest)
<== Activation:
SuggestModifiabilityTactics::__SuggestModifiabilityTacticsSchedulerinit
: f-0,
==> Activation:
SuggestModifiabilityTactics::__SuggestModifiabilityTacticsSchedulerCleanup
: f-716
==> Activation:
SuggestModifiabilityTactics::SuggestModifiabilityTacticLocalization :
f-716, f-598, f-88, f-708,,
*2> ==> Activation:
SuggestModifiabilityTactics::SuggestModifiabilityTacticEncapsulation :
f-716, f-598, f-90, f-711, f-22,,, f-651,
*3> FIRE 249
SuggestModifiabilityTactics::SuggestModifiabilityTacticEncapsulation
f-716, f-598, f-90, f-711, f-22, f--2,, f-651,
==> f-717 (Seeker::TryTacticResult (scenario <Fact-90>)
(reasoningFramework Modifiability) (index nil) (tactic encapsulation)
(at <Fact-104>) (parameters 0.2) (result nil))
==> Activation:
SuggestModifiabilityTactics::TryModifiabilityTacticEncapsulation :
f-717, f-611, f-22,, f-601
..........
FIRE 253
SuggestModifiabilityTactics::__SuggestModifiabilityTacticsSchedulerCleanup
f-716
*4> <== f-716 (SuggestModifiabilityTactics::T_ControlModelExecution
suggest)
==> Activation:
SuggestModifiabilityTactics::__SuggestModifiabilityTacticsSchedulerinit
: f-0,
<== Focus SuggestModifiabilityTactics
==> Focus ModifiabilityReasoningFrameworks
...........
FIRE 631 Seeker::RemoveTryTactics f-1009, f-717
<== f-717 (Seeker::TryTacticResult (scenario <Fact-90>)
(reasoningFramework Modifiability) (index nil) (tactic encapsulation)
(at <Fact-104>) (parameters 0.2) (result 7.632824388220001))
*5> ==> Activation:
SuggestModifiabilityTactics::SuggestModifiabilityTacticEncapsulation :
f-716, f-598, f-90, f-711, f-22,,, f-718,
==> Activation:
DescribeModifiabilityTactics::SuggestEncapsulateForMultipleStrongDependenciesRemove
: f-1000,
-----------
at *1 a rule inserts the fact 716, which correctly activates the rule
marked with *2. This rule executes in the next step.
At *4 another rule fires and retracts fact 716. Everything fine so far.
Later on a rule retracts the fact 717, which was created by the rule *3.
This activates that rule again, as marked with *5 inspite the fact that
fact 716 does not exist anymore. Here the questionable rule:
Jess> (ppdefrule
SuggestModifiabilityTactics::SuggestModifiabilityTacticEncapsulation)
Jess> "(defrule
SuggestModifiabilityTactics::SuggestModifiabilityTacticEncapsulation
(SuggestModifiabilityTactics::T_ControlModelExecution suggest)
(ModifiabilityReasoningFrameworks::ScenariosOfInterest (quality ?qu)
(measureType ?mt))
?sc <- (MAIN::Scenarios (quality ?qu) (measureType ?mt) (measureValue
?cv))
(MAIN::P_AnalysisResult (quality ?qu) (isSatisfied false) (value ?av)
(owner ?sc))
(Configuration::StrongCohesion ?strong)
?res <- (accumulate (bind ?rr (create$)) (bind ?rr (insert$ ?rr 1
?_60_ni)) ?rr (ModifiabilityReasoningFrameworks::Node_affected (scenario
?sc) (nodeId ?_60_ni)))
(test (= (length$ ?res) 1))
(ModifiabilityReasoningFrameworks::Arc_Relation (source ?n&:(eq ?n
(nth$ 1 ?res))) (probability ?pr&:(>= ?pr ?strong)))
(not (Seeker::TryTacticResult (scenario ?sc) (reasoningFramework
Modifiability) (tactic encapsulation)))
=>
(assert (Seeker::TryTacticResult (scenario ?sc) (reasoningFramework
Modifiability) (index nil) (tactic encapsulation) (at (fact-id
(fact-slot-value (nth$ 1 ?res) id))) (parameters 0.2) (result nil))))"
Any idea?
Felix Bachmann
begin:vcard
fn:Felix Bachmann
n:Bachmann;Felix
org:Software Engineering Institute - Carnegie Mellon University;SEI-PLS
adr;dom:;;4500 5th Avenue;Pittsburgh;PA;15213
email;internet:[EMAIL PROTECTED]
tel;work:+1 (412) 268 6194
tel;fax:+1 (412) 268 5758
url:http://www.sei.cmu.edu
version:2.1
end:vcard
