Package org.tweetyproject.lp.asp.beliefdynamics.revision
package org.tweetyproject.lp.asp.beliefdynamics.revision
-
ClassDescriptionImplements the credibility revision approach for ASP described in Kruempelmann et al.interface defines a method to process the extended answer sets of the credibility revision to generate the new ELP.This class implements a default behavior for the processing of the answer sets of the credibility logic programs.Tests the revision method described in Kruempelmann et al.The implementation orients on the diploma thesis of Mirja Boehmer in this class a variant of the approach "A Preference-Based Framework for Updating Logic Programs" by James P.Uses the RevisionCompareView in a JFrame to compare the different revision methods in ASP.