Package org.tweetyproject.beliefdynamics.operators

Class RandomKernelContractionOperator

java.lang.Object

org.tweetyproject.beliefdynamics.MultipleBaseContractionOperator<PlFormula>

org.tweetyproject.beliefdynamics.kernels.KernelContractionOperator<PlFormula>

org.tweetyproject.beliefdynamics.operators.RandomKernelContractionOperator

All Implemented Interfaces:

BaseContractionOperator<PlFormula>

public class RandomKernelContractionOperator
extends KernelContractionOperator<PlFormula>

This class implements a simple kernel base contraction for propositional logic with an incision function that randomly selects its incisions.
NOTE: results of this operator are not deterministic and may not be reproduced (however, each result is a valid kernel contraction)

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
RandomKernelContractionOperator()	Creates a new contraction operator.

Method Summary

Methods inherited from class org.tweetyproject.beliefdynamics.kernels.KernelContractionOperator

contract

Methods inherited from class org.tweetyproject.beliefdynamics.MultipleBaseContractionOperator

contract

Methods inherited from class java.lang.Object

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

Constructor Details

RandomKernelContractionOperator

public RandomKernelContractionOperator()

Creates a new contraction operator.