Viewing profile — dmitry_stratyfy
dmitry_stratyfy
HN member- Joined
- Wed, Nov 04, 2020, 1:23 PM UTC
- HN karma
- 3
- Public activity
- 9 items
- HN profile
- View on Hacker News ↗
About dmitry_stratyfy
My current project: Stratyfy develops a proprietary new generation interpretable AI technology rooted in probabilistic logic. It allows to extract knowledge from data and combine it with expert rules, perform supervised and self-supervised learning, and make decisions with human-in-the-loop. We elevate classical business rules engines to the league of machine learning tech.
Recent public activity
-
comment
Comment #45890023
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 …
-
comment
Comment #45889493
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 in…
-
comment
Comment #45889014
Glad to hear that! Ping me if you have any questions
-
comment
Comment #45887533
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…
-
comment
Comment #45887374
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 th…
- story
-
story
Show HN: State Algebra, new algebraic framework for logic, an alternative to BDD
Hey HN, My co-author and I just published a paper on arXiv that formalises a framework we've been using successfully in probabilistic logic for many years. We decided it was time t…
- story
-
comment
Comment #30879008
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…