From 4ed250ea19a01fd808308a29559d8a0970af2325 Mon Sep 17 00:00:00 2001 From: troyyyyy <49091847+troyyyyy@users.noreply.github.com> Date: Wed, 7 Dec 2022 13:27:08 +0800 Subject: [PATCH] Update abducer_base.py --- abducer/abducer_base.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/abducer/abducer_base.py b/abducer/abducer_base.py index 322f200..3dd4822 100644 --- a/abducer/abducer_base.py +++ b/abducer/abducer_base.py @@ -222,9 +222,9 @@ if __name__ == '__main__': print(kb.consist_rule(consist_exs, rules), kb.consist_rule(consist_exs2, rules)) print() - res = abd.abduce((consist_exs, None, None)) + res = abd.abduce((consist_exs, True, None)) print(res) - res = abd.abduce((inconsist_exs, None, None)) + res = abd.abduce((inconsist_exs, True, None)) print(res) print()