More broadly, the field has been focused on inductive logic programming since the 90s. More or less, one can think of it like synthesizing a logic program to de

More broadly, the field has been focused on inductive logic programming since the 90s. More or less, one can think of it like synthesizing a logic program to describe and generalize background knowledge and examples. An automated approach to building the knowledgebase of an expert system. It works disturbingly well, especially with modern approaches. https://arxiv.org/pdf/2008.07912 https://arxiv.org/pdf/2008.07912 https://en.wikipedia.org/wiki/Inductive_logic_programming https://en.wikipedia.org/wiki/Inductive_logic_programming