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
    process(List<Program> orderedPrograms, Collection<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 Details

    • process

      Program process(List<Program> orderedPrograms, Collection<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