An approach to AI: Take background knowledge as Horn clauses and infer a logic program that would correctly model the underlying relations.
Neat-sounding example with s(CASP): {2110.07843} FOLD-R++
Kind of similar ideas come up in neuro-symbolic AI.