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

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 java.lang.Object
implements CredibilityRevision.AnswersetProcessing

This class implements a default behavior for the processing of the answer sets of the credibility logic programs.

Author:

Tim Janus

Field Summary

Fields

Modifier and Type	Field and Description
private static org.slf4j.Logger	LOG reference to the logback logger instance

Constructor Summary

Constructors

Constructor and Description
DefaultBehavior()

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

LOG

private static org.slf4j.Logger LOG

reference to the logback logger instance

Constructor Detail

DefaultBehavior

public DefaultBehavior()

Method Detail

process

public Program process(java.util.List<Program> orderedPrograms,
                       AnswerSetList answersets)

Description copied from interface: CredibilityRevision.AnswersetProcessing

The method takes the list of ordered programs and the answer set of the credibility logic program and calculates a revided program

Specified by:

process in interface CredibilityRevision.AnswersetProcessing

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