pyreason
pyreason copied to clipboard
lab-v2
An explainable inference software supporting annotated, real valued, graph based and temporal logic
**Major changes:** - [x] Make unseen clause variables in node clauses take all possible nodes instead of just the neighbors - [x] Restructure the way subsets are treated why grounding...
This is not an issue but the way we perform rule grounding is convoluted and can be simplified. Especially the use of `subsets` in `interpretation.py`. This will involve changing the...
This is not really an issue, but more an inconsistency. There are possible scenarios where a rule can have multiple groundings (with `infer_edges=True`) OR the rule could be grounded multiple...
Add section on: Recommended starting values for parallel processes (cores) used and memory required for new users.
Add section on: Which factors determine parallel processes (cores) used and memory required.
Add functionality for a new tag allow_duplicates where if False , multiple variables in the body cannot be grounded by the same constant simultaneously. Currently, it works like allow_duplicates=True always.