Class CredibilityRevision.DefaultBehavior
- java.lang.Object
-
- net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision.DefaultBehavior
-
- All Implemented Interfaces:
CredibilityRevision.AnswersetProcessing
- Enclosing class:
- CredibilityRevision
public static class CredibilityRevision.DefaultBehavior extends Object implements CredibilityRevision.AnswersetProcessing
This class implements a default behavior for the processing of the answer sets of the credibility logic programs. Remark: It does not support the generation of two different programs. If two programs are possible the first answer set is used for revision.- Author:
- Tim Janus
-
-
Constructor Summary
Constructors Constructor Description DefaultBehavior()
-
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
public 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)
Description copied from interface:CredibilityRevision.AnswersetProcessingThe method takes the list of ordered programs and the answer set of the credibility logic program and calculates a revided program- Specified by:
processin interfaceCredibilityRevision.AnswersetProcessing- Parameters:
orderedPrograms- List of programs used for revision processanswersets- The answer sets processed by the credibility version of the program- Returns:
- The revided program
-
-