Package org.tweetyproject.lp.asp.beliefdynamics.revision

Class PreferenceHandling

java.lang.Object

org.tweetyproject.beliefdynamics.MultipleBaseRevisionOperator<ASPRule>

org.tweetyproject.beliefdynamics.CredibilityRevision<ASPRule>

org.tweetyproject.beliefdynamics.CredibilityRevisionIterative<ASPRule>

org.tweetyproject.lp.asp.beliefdynamics.revision.PreferenceHandling

All Implemented Interfaces:

BaseRevisionOperator<ASPRule>

public class PreferenceHandling
extends CredibilityRevisionIterative<ASPRule>

The implementation orients on the diploma thesis of Mirja Boehmer in this class a variant of the approach "A Preference-Based Framework for Updating Logic Programs" by James P. Delgrande, Torsten Schaub and Hans Tompits is implemented, respectively the operator *1 is used; first step: defaultification of two given programs second step: computation of the answer sets of the concatenation of the two defaulticated programs third step: computation of the revised program with the help of these answer sets last step: computation of the answer sets of the revised program We are only check for conflicting rules and remove this rules with lesser priority.

Author:

Tim Janus

Constructor Summary

Constructors

Constructor	Description
PreferenceHandling(ASPSolver solver)	Constructs a PreferenceHandling instance with the specified ASP solver and a default maximum integer value of 5.
PreferenceHandling(ASPSolver solver, int maxInt)	Constructs a PreferenceHandling instance with the specified ASP solver and maximum integer value.

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)	Temporary functional test method.
Program	revise(Collection<ASPRule> base, Collection<ASPRule> formulas)	Revises the two given belief bases and returns the result, the former belief base has a lesser credibility than the latter.
void	setSolver(ASPSolver solver)	Sets the ASPSolver instance for this PreferenceHandling instance.

Methods inherited from class org.tweetyproject.beliefdynamics.CredibilityRevisionIterative

revise

Methods inherited from class org.tweetyproject.beliefdynamics.CredibilityRevision

revise

Methods inherited from class java.lang.Object

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

Constructor Details

PreferenceHandling

public PreferenceHandling(ASPSolver solver)

Constructs a PreferenceHandling instance with the specified ASP solver and a default maximum integer value of 5.

Parameters:

solver - the ASPSolver to be used for solving logic programs

Throws:

NullPointerException - if solver is null

PreferenceHandling

public PreferenceHandling(ASPSolver solver,
 int maxInt)

Constructs a PreferenceHandling instance with the specified ASP solver and maximum integer value.

Parameters:

solver - the ASPSolver to be used for solving logic programs

maxInt - the maximum integer value used in preference handling

Throws:

NullPointerException - if solver is null

Method Details

setSolver

public void setSolver(ASPSolver solver)

Sets the ASPSolver instance for this PreferenceHandling instance.

Parameters:

solver - the ASPSolver to be used for solving logic programs

Throws:

NullPointerException - if solver is null

revise

public Program revise(Collection<ASPRule> base,
 Collection<ASPRule> formulas)

Description copied from class: CredibilityRevision

Revises the two given belief bases and returns the result, the former belief base has a lesser credibility than the latter.

Specified by:

revise in class CredibilityRevision<ASPRule>

Parameters:

base - The lower priority belief base

formulas - The higher priority belief base

Returns:

The belief base which is the result of the revision.

main

public static void main(String[] args)
                 throws ParseException

Temporary functional test method.

Parameters:

args - the args

Throws:

ParseException - error when parsing