Skip to content
Snippets Groups Projects
Commit 4f9735f6 authored by Patrick Hammer's avatar Patrick Hammer
Browse files

Negation fix (caused wrong results when backward inference was involved), and... 

Negation fix (caused wrong results when backward inference was involved), and avoiding derivations with confidence<TRUTH_EPSILON,
as well as avoiding derivations of quests with implications/equivalences.
parent d424b9ae
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment