ArgumentativeRevisionOperator (Tweety (Belief Dynamics Library) 1.17 API)

java.lang.Object
- net.sf.tweety.beliefdynamics.MultipleBaseRevisionOperator<net.sf.tweety.logics.pl.syntax.PlFormula>
- - net.sf.tweety.beliefdynamics.operators.ArgumentativeRevisionOperator

All Implemented Interfaces:

BaseRevisionOperator<net.sf.tweety.logics.pl.syntax.PlFormula>
```
public class ArgumentativeRevisionOperator
extends MultipleBaseRevisionOperator<net.sf.tweety.logics.pl.syntax.PlFormula>
```
This class is an exemplary instantiation of a revision operator based on deductive argumentation [Kruempelmann:2011] where several parameters have been fixed: - the inner revision is a Levi revision which bases on the random kernel contraction - the transformation function is credulous - the accumulator used for deductive argumentation is the simple accumulator - the categorizer used for deductive argumentation is the classical categorizer

Author:

Matthias Thimm

Constructor Summary

Constructors
Constructor Description

ArgumentativeRevisionOperator()

Method Summary

Modifier and Type	Method	Description
`Collection<net.sf.tweety.logics.pl.syntax.PlFormula>`	`revise(Collection<net.sf.tweety.logics.pl.syntax.PlFormula> base, Collection<net.sf.tweety.logics.pl.syntax.PlFormula> formulas)`	Revises the first collection of formulas by the second collection of formulas.

Methods inherited from class net.sf.tweety.beliefdynamics.MultipleBaseRevisionOperator
revise

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

- Constructor Detail
  - ArgumentativeRevisionOperator
```
public ArgumentativeRevisionOperator()
```
- Method Detail
  - revise
```
public Collection<net.sf.tweety.logics.pl.syntax.PlFormula> revise(Collection<net.sf.tweety.logics.pl.syntax.PlFormula> base,
                                                                   Collection<net.sf.tweety.logics.pl.syntax.PlFormula> formulas)
```
    Description copied from class: MultipleBaseRevisionOperator
    
    Revises the first collection of formulas by the second collection of formulas.
    
    Specified by:
    
    revise in class MultipleBaseRevisionOperator<net.sf.tweety.logics.pl.syntax.PlFormula>
    
    Parameters:
    
    base - some collection of formulas.
    
    formulas - some formulas.
    
    Returns:
    
    the revised collection.