Abstract: A dynamic reasoning system may include a symbolic reasoning engine that iteratively calls a dynamic rule generator to answer an input query. The symbolic reasoning engine may determine a primary goal and/or secondary goals to generate proofs for the answer. The symbolic reasoning engine may call a rules component to provide rules to prove a current input goal. The rules component may use a static rule knowledge base and/or the dynamic rule generator to retrieve and rank rules relevant to the current input goal. The dynamic rule generator may generate new rules that lead to the current input goal. The dynamic rule generator may include a statistical model that generates unstructured or structured probabilistic rules based on context related to the input query. The symbolic reasoning engine may return a list of rules with confidence for explaining the answer to the input goal.