Prime implicant search algorithms and Social influence example

Algorithms

• implement two new search algorithms based on Abduction-Based Explanations for Machine Learning Models, by Alexey Ignatiev, Nina Narodytska, Joao Marques-Silva;
  • From a particular formula lambda, find the prime implicant of a certain formula (called prediction in ABEfML(https://doi.org/10.1609/aaai.v33i01.33011511)) that complies with the causal base of a model.
  • Find the abductive explanation (a prime implicant while being true) of a certain formula that complies with the causal base and assignments of a model.
• add some manual tests and their result

Example

• implement the social influence example from A Rule-Based Modal View of Causal Reasoning by Emiliano Lorini