Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Rft78 (not to be merged yet, just for comparison) #293

Open
wants to merge 23 commits into
base: master
Choose a base branch
from
Open
Changes from 1 commit
Commits
Show all changes
23 commits
Select commit Hold shift + click to select a range
47ba4d4
Update: intermediate commit for allowing acquired relations
patham9 Jan 22, 2025
0780d98
Update: working RFT examples
patham9 Jan 22, 2025
dd7bf77
Update: also support identity matching case
patham9 Jan 22, 2025
cd07075
Update: allow temporal implications to be triggers in relating of events
patham9 Jan 25, 2025
df0dfdc
Update: example showing transitivity
patham9 Jan 25, 2025
294361d
Update: reformatting
patham9 Jan 25, 2025
c2a420b
Update: acquired relation yet again
patham9 Jan 27, 2025
ceb026a
Update: acquired relation yet again
patham9 Jan 27, 2025
a50d5fc
Update: further improvements
patham9 Jan 28, 2025
359b299
Update: new config with parameters borrowed from AniNAL
patham9 Jan 28, 2025
527e7dc
Update: do not rederive
patham9 Jan 28, 2025
6824cb6
Update: saner stamp handling
patham9 Jan 28, 2025
cf47968
Update: symmetry case captured
patham9 Jan 31, 2025
3e0c90b
Update: further improvement
patham9 Jan 31, 2025
0d58ca3
Update: transitivity supported, code improved
patham9 Feb 1, 2025
bcd114d
Update: also print out reflexivity separately
patham9 Feb 1, 2025
27a535c
Update: all working examples don't need additional time and events
patham9 Feb 1, 2025
0895ba7
Update: functional equivalence disabled for now
patham9 Feb 1, 2025
ae1872e
Update: var intro not allowed for =/> anymore
patham9 Feb 1, 2025
c53165f
Update: var filter
patham9 Feb 1, 2025
c0681a5
Update: debug print new flag
patham9 Feb 1, 2025
c605f71
Update: do not check for stamp overlap in deductive inference
patham9 Feb 16, 2025
82e6058
Update: only proceed if term overriding succeeds
patham9 Feb 16, 2025
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Update: functional equivalence disabled for now
patham9 committed Feb 1, 2025
commit 0895ba7583c22945fae28eaacaf9aa1246da0fbd
2 changes: 1 addition & 1 deletion src/Decision.c
Original file line number Diff line number Diff line change
@@ -243,7 +243,7 @@ void Decision_Execute(long currentTime, Decision *decision)
.truth = Truth_Abduction(decision->specific_implication.truth, comparedImp.truth),
.stamp = equStamp,
.occurrenceTime = currentTime };
if(FUNCTIONAL_EQUIVALENCE_SPECIFIC)
if(FUNCTIONAL_EQUIVALENCE_SPECIFIC && functional_equivalence_active)
{
if(functional_equivalence_active)
{