Class | Description |
---|---|
AbstractDeductiveArgumentationReasoner |
This class contains common characteristics for deductive argumentation
reasoner.
|
CompilationReasoner |
This class implements the approach of knowledge base compilation as proposed in
Philippe Besnard and Anthony Hunter. |
DeductiveKnowledgeBase |
Instances of this class represent deductive knowledge bases,
i.e.
|
SimpleReasoner |
This class implements a brute force approach to deductive argumentation.
|