Package org.tweetyproject.arg.deductive.reasoner

Class CompilationReasoner

java.lang.Object

org.tweetyproject.arg.deductive.reasoner.AbstractDeductiveArgumentationReasoner

org.tweetyproject.arg.deductive.reasoner.CompilationReasoner

All Implemented Interfaces:

QuantitativeReasoner<DeductiveKnowledgeBase,PlFormula>, Reasoner<Double,DeductiveKnowledgeBase,PlFormula>

public class CompilationReasoner
extends AbstractDeductiveArgumentationReasoner

This class implements the approach of knowledge base compilation as proposed in

Philippe Besnard and Anthony Hunter. Knowledgebase Compilation for Efficient Logical Argumentation. In Proceedings of the 10th International Conference on Knowledge Representation (KR'06), pages 123-133, AAAI Press, 2006.

It performs deductive argumentation on a set of propositional formulas.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
CompilationReasoner(Categorizer categorizer, Accumulator accumulator)	Creates a new compilation reasoner for the given belief base, categorizer, and accumulator.

Method Summary

Modifier and Type	Method	Description
boolean	isInstalled()

Methods inherited from class org.tweetyproject.arg.deductive.reasoner.AbstractDeductiveArgumentationReasoner

query

Methods inherited from class java.lang.Object

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

Constructor Details

CompilationReasoner

public CompilationReasoner(Categorizer categorizer,
 Accumulator accumulator)

Creates a new compilation reasoner for the given belief base, categorizer, and accumulator.

Parameters:

categorizer - some categorizer.

accumulator - some accumulator.

Method Details

isInstalled

public boolean isInstalled()

Returns:

if reasoner is installed