Interface CredibilityRevision.AnswersetProcessing
-
- All Known Implementing Classes:
CredibilityRevision.DefaultBehavior
- Enclosing class:
- CredibilityRevision
public static interface CredibilityRevision.AnswersetProcessinginterface 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.Programprocess(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 processanswersets- The answer sets processed by the credibility version of the program- Returns:
- The revided program
-
-