NaiveLiteralTransformationFunction (Tweety (ASP Belief Dynamics) 1.16 API)

java.lang.Object
- net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.NaiveLiteralTransformationFunction

All Implemented Interfaces:

net.sf.tweety.beliefdynamics.selectiverevision.MultipleTransformationFunction<net.sf.tweety.lp.asp.syntax.ASPRule>
```
public class NaiveLiteralTransformationFunction
extends Object
implements net.sf.tweety.beliefdynamics.selectiverevision.MultipleTransformationFunction<net.sf.tweety.lp.asp.syntax.ASPRule>
```
This class represents the naive transformation function for literals as introduced in [1]. [1] Homann, Sebastian: Master thesis: Argumentationsbasierte selektive Revision von erweiterten logischen Programmen.

Author:

Sebastian Homann

Constructor Summary

Constructors
Constructor	Description
`NaiveLiteralTransformationFunction(Collection<net.sf.tweety.lp.asp.syntax.ASPRule> beliefSet, net.sf.tweety.arg.lp.semantics.attack.AttackStrategy attackRelation, net.sf.tweety.arg.lp.semantics.attack.AttackStrategy defenseRelation)`	Creates a new naive transformation function for literals.

Method Summary

Modifier and Type	Method	Description
`Collection<net.sf.tweety.lp.asp.syntax.ASPRule>`	`transform(Collection<net.sf.tweety.lp.asp.syntax.ASPRule> formulas)`
`Collection<net.sf.tweety.lp.asp.syntax.ASPRule>`	`transform(net.sf.tweety.lp.asp.syntax.ASPRule rule)`	"Transforms" the single fact by either accepting or rejecting it.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - NaiveLiteralTransformationFunction
```
public NaiveLiteralTransformationFunction(Collection<net.sf.tweety.lp.asp.syntax.ASPRule> beliefSet,
                                          net.sf.tweety.arg.lp.semantics.attack.AttackStrategy attackRelation,
                                          net.sf.tweety.arg.lp.semantics.attack.AttackStrategy defenseRelation)
```
    Creates a new naive transformation function for literals.
    
    Parameters:
    
    beliefSet - The belief set used for this transformation function.
    
    attackRelation - the notion of attack used for attacking arguments
    
    defenseRelation - the notion of attack used to attack attacking arguments
- Method Detail
  - transform
```
public Collection<net.sf.tweety.lp.asp.syntax.ASPRule> transform(Collection<net.sf.tweety.lp.asp.syntax.ASPRule> formulas)
```
    Specified by:
    
    transform in interface net.sf.tweety.beliefdynamics.selectiverevision.MultipleTransformationFunction<net.sf.tweety.lp.asp.syntax.ASPRule>
  - transform
```
public Collection<net.sf.tweety.lp.asp.syntax.ASPRule> transform(net.sf.tweety.lp.asp.syntax.ASPRule rule)
```
    "Transforms" the single fact by either accepting or rejecting it.
    
    Parameters:
    
    rule - a single fact
    
    Returns:
    
    the fact if its negation is not acceptable for the given attack-relations and belief base, an empty collection otherwise