Package org.tweetyproject.lp.asp.beliefdynamics.revision


package org.tweetyproject.lp.asp.beliefdynamics.revision
  • Interface Summary
    Interface
    Description
    interface defines a method to process the extended answer sets of the credibility revision to generate the new ELP.
  • Class Summary
    Class
    Description
    Implements the credibility revision approach for ASP described in Kruempelmann et al.
    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.