RESEARCH
Academic research on explainable and accountable AI systems.
An Exploration of FOLD-R++: Using Normal Logic Programming to Create Explainable AI Models
Applied FOLD-R++, an inductive logic programming algorithm, to build interpretable rule-based classifiers on mixed categorical/numerical data, and used s(CASP) to generate step-by-step, human-readable justifications and proof trees for individual predictions.