search

data61 / PSL

Other
65 stars 9 forks source link

Abduction: Do not include refuted nodes in an abduction graph. #201

Closed yutakang closed 1 year ago

yutakang commented 1 year ago

Following the idea discussed here, we should not include refuted abduction_node in abduction_graph.

Consequently, we should remove the refuted field from both andnode and ornode.

yutakang commented 1 year ago

Done in 565e1c39faa41010c8d394470b767a87e3e29363.