net.sf.tweety.lp.asp.beliefdynamics.revision

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 and Description
net.sf.tweety.lp.asp.syntax.Program	process(List<net.sf.tweety.lp.asp.syntax.Program> orderedPrograms, net.sf.tweety.lp.asp.util.AnswerSetList 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,
                                            net.sf.tweety.lp.asp.util.AnswerSetList 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