Four Forgetting Algorithms were developed and implementated:
Algorithm 1 is the semantic-based algorithm originally proposed in [Eiter and Wang, 2006]
Algorithm 2 is the syntax-based algorithm originally proposed in [Eiter and Wang, 2006]
Algorithm 3 is a variant of the algorithm 1. The advantage of the algorithm is that large intermediate results are avoided,
and that no minimization(the step 3 of algorithm 1) has to be carried out (which takes quaratic effort on the number of models).
Algorithm 4 is the mixed algorithm developed for the Conflict Resolution System. The purpose of the algorithm is to preserve so-called locally irrevalent rules.
The following is the main screen of the Forgetting system:
CRS is an application of forgetting in resolving conflicts (or preference recovery) in multi-agent systems. The algorithm 4 proposed in the affiliated paper (submitted to JELIA-06) is employed in this system.
The following is the main screen of the CRS system:
Reference:
[2006] T. Eiter and K.Wang. Forgetting and conflict resolving in disjunctive logic programming.
In Proc. 21st AAAI, page forthcoming. AAAI Press, 2006.