ostis-ai / scl-machine Goto Github PK

View Code? Open in Web Editor NEW

14.0 14.0 6.0 6.56 MB

Software implementation of logic inference machine

License: Apache License 2.0

CMake 1.51% C++ 96.57% Shell 0.19% Python 1.73%

logic logic-inference logic-programming ostis

scl-machine's People

Contributors

Stargazers

Watchers

Forkers

mksmorlov shtress kilativ-dotcom nikiforovsergei nepare nikitazotov

scl-machine's Issues

Implement adding a set of parameters to the decision node, on the basis of which the decision was made

Is your feature request related to a problem? Please describe.
In addition to listing the applied rules, you can list the arguments. Consider the output structure of the direct inference agent

TODO: Add params to solution node

Reduce formulas checking

Is your feature request related to a problem? Please describe.
It is necessary to consider only those rules that contain the classes of the current set of parameters in their left part.

Test and fix equivalence

Describe the bug
Including nested equivalence and complex formulas equivalences

Huge cycles and if-statements

Describe the bug
Make code more clean, devide to many functions, get rid of hhuge logic if possible

Implement common logic of DI

Is your feature request related to a problem? Please describe.
Implement inference rules logic according to OSTIS-22 Orlov , Vasilevskaya paper

Add CI and linter

Add tools for continuous integrations. Use github actions, add clang for code linting, take .clang-format from https://github.com/ostis-ai/sc-machine

Remove dynamic cast

Describe the bug
Conjunction, disjunction and equivalence processing include dynamic cast and checking if null. Need to use polymorphism

Fix inference flow when the same rules set is checking again

Describe the bug
After generating by a formula from a set of formulas x, they continue to be applied within this set x, after which all sets of formulas are traversed again. Further, nothing can be generated in the previous sets, and the set of x-formulas is run again, although this is not necessary.

Priorities must be handled in the inference or in the agent using it

Go to https://github.com/ostis-ai/scl-machine/blob/main/problem-solver/cxx/inferenceModule/test/units/TestComplexFormulas.cpp
Find TrueNegationImplicationLogicRule
Run test
See error

Expected behavior
Then-part is generated.

Screenshots

Separate priority and non-priority inference flow

Is your feature request related to a problem? Please describe.
Separate the logic for applying inference rules from the logic for bypassing formulas with or without precedence