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
Program	process(java.util.List<Program> orderedPrograms, 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

Program process(java.util.List<Program> orderedPrograms,
                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