Interface CredibilityRevision.AnswersetProcessing

  • All Known Implementing Classes:
    CredibilityRevision.DefaultBehavior
    Enclosing class:
    CredibilityRevision

    public static interface CredibilityRevision.AnswersetProcessing
    interface defines a method to process the extended answer sets of the credibility revision to generate the new ELP.
    Author:
    Tim Janus
    • Method Summary

      Modifier and Type Method Description
      net.sf.tweety.lp.asp.syntax.Program process​(List<net.sf.tweety.lp.asp.syntax.Program> orderedPrograms, Collection<net.sf.tweety.lp.asp.semantics.AnswerSet> answersets)
      The method takes the list of ordered programs and the answer set of the credibility logic program and calculates a revided program
    • Method Detail

      • process

        net.sf.tweety.lp.asp.syntax.Program process​(List<net.sf.tweety.lp.asp.syntax.Program> orderedPrograms,
                                                    Collection<net.sf.tweety.lp.asp.semantics.AnswerSet> answersets)
        The method takes the list of ordered programs and the answer set of the credibility logic program and calculates a revided program
        Parameters:
        orderedPrograms - List of programs used for revision process
        answersets - The answer sets processed by the credibility version of the program
        Returns:
        The revided program