What I would like to do is a system that learns through inference and by providing a small set of general rules, the system sould be able to create new rules for itself. Now as I understand it, Typedb cannot create new rules for itself without having an external application to incert said rules. That is where an application like Rasa comes in. Rasa has custom actions. Typedb could infer through propositional logic what new rules does it need to learn something new and send that information to a program like Rasa which by using a template of how rules are defined , it could inject the new rules for Typedb to learn.