Class CompilationReasoner
- java.lang.Object
-
- net.sf.tweety.arg.deductive.reasoner.AbstractDeductiveArgumentationReasoner
-
- net.sf.tweety.arg.deductive.reasoner.CompilationReasoner
-
- All Implemented Interfaces:
QuantitativeReasoner<DeductiveKnowledgeBase,PlFormula>
,Reasoner<java.lang.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
-
Methods inherited from class net.sf.tweety.arg.deductive.reasoner.AbstractDeductiveArgumentationReasoner
query
-
-
-
-
Constructor Detail
-
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.
-
-