dmitry_stratyfy

3 ms·

1.
by dmitry_stratyfy 11mo ago
This is an expected behaviour. More rules impose more constraints on the feasible space. The space with more rules is hence much smaller. The only pitfall is that in the middle of calculation the feasible space may blow up before eventually
2.
by dmitry_stratyfy 11mo ago
Good point. Yes, it uses optimisation for various tasks. First of all, it uses compact representatin of rules - similar to DNF, but converted to a sparse matrix. Second, for the inference (which is a process of compiling the knowledge base)
3.
by dmitry_stratyfy 11mo ago
Glad to hear that! Ping me if you have any questions
4.
by dmitry_stratyfy 11mo ago
Prolog is heavy-weight 1st order logic machine. vector-logic is light-weight propositional logic inference engine. Optimised for simple queries like "what is the value of 'y' given all rules and evidences", and also allo
5.
by dmitry_stratyfy 11mo ago
Hi HN, I'm one of the creators. I've been tackling the problem of managing complex business rules for years (especially in fintech), and wanted a lightweight, Python-native tool that was built on a solid theoretical foundation. We
6.
Show HN: Vector-logic, a lightweight rules engine from first principles(github.com)
8 points by dmitry_stratyfy 11mo ago|9 comments
7.
Show HN: State Algebra, new algebraic framework for logic, an alternative to BDD(arxiv.org)
5 points by dmitry_stratyfy 1y ago|0 comments
8.
Bias mitigation using a dual optimization approach(medium.com)
7 points by dmitry_stratyfy 4y ago|0 comments
9.
by dmitry_stratyfy 5y ago
Stratyfy | http://www.stratyfy.com | Senior Developer + Senior Data Scientist | Distributed | Full-time | Remote Stratyfy’s models uncover knowledge, remove bias, and make human-in-the-loop decisions with proprietary interpretab