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

Class CredibilityRevision

java.lang.Object

net.sf.tweety.beliefdynamics.MultipleBaseRevisionOperator<T>

net.sf.tweety.beliefdynamics.CredibilityRevision<T>

net.sf.tweety.beliefdynamics.CredibilityRevisionNonIterative<net.sf.tweety.lp.asp.syntax.Rule>

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

All Implemented Interfaces:

net.sf.tweety.beliefdynamics.BaseRevisionOperator<net.sf.tweety.lp.asp.syntax.Rule>

public class CredibilityRevision
extends net.sf.tweety.beliefdynamics.CredibilityRevisionNonIterative<net.sf.tweety.lp.asp.syntax.Rule>

Implements the credibility revision approach for ASP described in Kruempelmann et al. 2008. It extends the NonIterativeRevision interface by providing methods to receive the last calculated answer sets and it's projection. Internally the prefixes 'c__' 'neg_c' are used to prefix constants and the prefix 'p__' is used to prefix literals of the extended alphabet of the credibility program.

Author:

Tim Janus

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static interface	CredibilityRevision.AnswersetProcessing interface defines a method to process the extended answer sets of the credibility revision to generate the new ELP.
static class	CredibilityRevision.DefaultBehavior This class implements a default behavior for the processing of the answer sets of the credibility logic programs.

Constructor Summary

Constructors

Constructor and Description
CredibilityRevision() Default Ctor: Do not forget to set the solver
CredibilityRevision(net.sf.tweety.lp.asp.solver.Solver solver) Ctor: setting the solver at construction time
CredibilityRevision(net.sf.tweety.lp.asp.solver.Solver solver, int maxInt)

Method Summary

Modifier and Type	Method and Description
net.sf.tweety.lp.asp.util.AnswerSetList	getLastAnswerset()
net.sf.tweety.lp.asp.util.AnswerSetList	getLastProjectedAnswerSet()
static void	main(String[] args)
net.sf.tweety.lp.asp.syntax.Program	revise(List<Collection<net.sf.tweety.lp.asp.syntax.Rule>> ol)
void	setAnswersetProcessing(CredibilityRevision.AnswersetProcessing processing)
net.sf.tweety.lp.asp.syntax.Program	translate(List<net.sf.tweety.lp.asp.syntax.Program> orderedList) Translates the given list of programs to the credibility logic program.

Methods inherited from class net.sf.tweety.beliefdynamics.CredibilityRevisionNonIterative

revise

Methods inherited from class net.sf.tweety.beliefdynamics.CredibilityRevision

revise

Methods inherited from class java.lang.Object

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

Constructor Detail

CredibilityRevision

public CredibilityRevision()

Default Ctor: Do not forget to set the solver

CredibilityRevision

public CredibilityRevision(net.sf.tweety.lp.asp.solver.Solver solver)

Ctor: setting the solver at construction time

Parameters:

solver - Reference to the solver used for answer set generation.

CredibilityRevision

public CredibilityRevision(net.sf.tweety.lp.asp.solver.Solver solver,
                           int maxInt)

Method Detail

getLastAnswerset

public net.sf.tweety.lp.asp.util.AnswerSetList getLastAnswerset()

getLastProjectedAnswerSet

public net.sf.tweety.lp.asp.util.AnswerSetList getLastProjectedAnswerSet()

setAnswersetProcessing

public void setAnswersetProcessing(CredibilityRevision.AnswersetProcessing processing)

revise

public net.sf.tweety.lp.asp.syntax.Program revise(List<Collection<net.sf.tweety.lp.asp.syntax.Rule>> ol)

Specified by:

revise in class net.sf.tweety.beliefdynamics.CredibilityRevision<net.sf.tweety.lp.asp.syntax.Rule>

translate

public net.sf.tweety.lp.asp.syntax.Program translate(List<net.sf.tweety.lp.asp.syntax.Program> orderedList)

Translates the given list of programs to the credibility logic program. The index of the program in the list represents its credibility, this means the first program in the list has lesser credibility than the second.

Parameters:

orderedList - The ordered list of extended logic programs which shall be translated.

Returns:

The credibility logic program representing the revision of the given ELPs.

main

public static void main(String[] args)