You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Change grounding process to loop through all possible variables and not just neighbors. This will allow for more complex rules.
Add node/edge rule distinction. pred(x)<-pred1(y,x), pred2(y,z) is different from pred(x,y)<-pred1(y,x), pred2(y,z). This should be reflected in the YAMLs as well
Add bound parser to rule parser so that we can pass in bounds in text rules
Add annotation function parser to rule parser
Read rules from text file
Add comments for text file with # and remove any blank lines
Return interpretations as a dict instead of class object
Add support for multi di-graph
Look into prev_l and prev_u in interval class
If there's no change to an interpretation (same rule firing) it should be added to the trace
Look into not checking for whether variable is __source in edge rule node clauses
Currently PyReason loops through all nodes and edges and checks for neighbor groundings. This is inflexible with rules such as pred(x)<-pred1(y,x), pred2(y,z) where y will be replaced by the neighbors of x--where in reality this should be any other node (except in the case of a node clause, then the groundings are the neighbors).
The text was updated successfully, but these errors were encountered:
pred(x)<-pred1(y,x), pred2(y,z)
is different frompred(x,y)<-pred1(y,x), pred2(y,z)
. This should be reflected in the YAMLs as well#
and remove any blank linesinterpretation.py
Model
class for pyreason instead of global variables. Include functions such asmodel.summary()
after reasoning.diffuse.py
and command line supportinterpretations
as a dict instead of class objectprev_l
andprev_u
in interval class__source
in edge rule node clausesCurrently PyReason loops through all nodes and edges and checks for neighbor groundings. This is inflexible with rules such as
pred(x)<-pred1(y,x), pred2(y,z)
wherey
will be replaced by the neighbors ofx
--where in reality this should be any other node (except in the case of a node clause, then the groundings are the neighbors).The text was updated successfully, but these errors were encountered: