Uses of Interface
net.sf.tweety.commons.KernelProvider
-
Packages that use KernelProvider Package Description net.sf.tweety.beliefdynamics.kernels net.sf.tweety.logics.pl.reasoner -
-
Uses of KernelProvider in net.sf.tweety.beliefdynamics.kernels
Fields in net.sf.tweety.beliefdynamics.kernels declared as KernelProvider Modifier and Type Field Description private KernelProvider<T>
KernelContractionOperator. kernelProvider
Used to determine kernels.Constructors in net.sf.tweety.beliefdynamics.kernels with parameters of type KernelProvider Constructor Description KernelContractionOperator(IncisionFunction<T> incisionFunction, KernelProvider<T> kernelProvider)
Creates a new kernel contraction operator with the given incision function. -
Uses of KernelProvider in net.sf.tweety.logics.pl.reasoner
Classes in net.sf.tweety.logics.pl.reasoner that implement KernelProvider Modifier and Type Class Description class
AbstractPlReasoner
Abstract class for propositional logic reasoners.class
SatReasoner
Uses the default SAT reasoner to perform reasoning in propositional logicclass
SimplePlReasoner
Naive classical inference (checks all interpretations for satisfiability).
-