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