search

normativeai / backend

GNU General Public License v3.0
3 stars 3 forks source link

Supporting independency checking of facts #22

Closed shaolintl closed 5 years ago

shaolintl commented 5 years ago

A useful feature is to be able to infer if a certain fact follows from the others and is therefore dependent. This can be obtained by trying to prove this fact based on all other active facts.

lex-lex commented 5 years ago

Did anyone test this feature yet?

shaolintl commented 5 years ago

I did lightly. More serious testing is needed though

On Sun, 2 Jun 2019 at 09:18, Alexander Steen notifications@github.com wrote:

Did anyone test this feature yet?

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/normativeai/backend/issues/22?email_source=notifications&email_token=ABMPYVK6PVJYF2UIFODD4SLPYNQ23A5CNFSM4HHPNCTKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODWXOYDQ#issuecomment-498002958, or mute the thread https://github.com/notifications/unsubscribe-auth/ABMPYVPH7BNKWTDU5O4BFGTPYNQ23ANCNFSM4HHPNCTA .

shaolintl commented 5 years ago

Anyway, it was added so any mulfunctioning should be added as a bug