Skip to content

Commit

Permalink
Update: truth functions corrected for functional equivalence
Browse files Browse the repository at this point in the history
  • Loading branch information
patham9 committed Sep 20, 2024
1 parent 8322f84 commit 253a87d
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/Decision.c
Original file line number Diff line number Diff line change
Expand Up @@ -114,7 +114,7 @@ void Decision_Execute(long currentTime, Decision *decision)
{
Event e_imp = { .term = equTerm1,
.type = EVENT_TYPE_BELIEF,
.truth = Truth_Abduction(decision->usedContingency.truth, comparedImp.truth),
.truth = Truth_Induction(decision->usedContingency.truth, comparedImp.truth),
.stamp = equStamp,
.occurrenceTime = currentTime };
if(FUNCTIONAL_EQUIVALENCE_SPECIFIC)
Expand All @@ -137,7 +137,7 @@ void Decision_Execute(long currentTime, Decision *decision)
{
Event e_imp = { .term = equTerm2,
.type = EVENT_TYPE_BELIEF,
.truth = Truth_Induction(decision->usedContingency.truth, comparedImp.truth),
.truth = Truth_Abduction(decision->usedContingency.truth, comparedImp.truth),
.stamp = equStamp,
.occurrenceTime = currentTime };
if(FUNCTIONAL_EQUIVALENCE_SPECIFIC)
Expand Down

0 comments on commit 253a87d

Please sign in to comment.