|
Packages |
| spindle |
Reasoner main package. |
| spindle.console |
Provides the classes and interface relating to the user console. |
| spindle.console.impl |
Provides the implementation of command supported in user console. |
| spindle.core |
SPINdle reasoner core classes. |
| spindle.core.dom |
Provides the classes used to represent the document object model (DOM) of
defeasible theory. |
| spindle.core.dom.impl |
Provides the implementation of application constants defined in SPINdle. |
| spindle.engine |
Provides reasoning support according to the types of
defeasible theories (such as Standard Defeasible
Logic, Modal Defeasible) and intuition required (e.g., ambiguity blocking, ambiguity
propagation, well-founded semantics and their combinations) through
different reasoning engines. |
| spindle.engine.mdl |
Provides theory normalizer and reasoning engine classes to support Modal Defeasible Reasoning (MDL). |
| spindle.engine.sdl |
Provides theory normalizer and reasoning engine classes to support Standard/Basic Defeasible Reasoning (SDL). |
| spindle.engine.tdl |
(Under development)
Provides theory normalizer and reasoning engine classes to support Temporal Defeasible Reasoning (TDL). |
| spindle.io |
Provides the classes for system input and output through data streams, serialization and the file system. |
| spindle.io.outputter |
Provides classes for outputting defeasible theory and conclusions derived. |
| spindle.io.parser |
Provides classes for parsing defeasible theory and conclusions saved. |
| spindle.sys |
Reasoning Engine system classes. |
| spindle.sys.message |
Message constants used in system messages, error messages and explanation messages. |
| spindle.tools |
Provides the utilities classes for manipulating/analysing a defeasible theory. |
| spindle.tools.analyser |
Provides the classes for theory analysis. |
| spindle.tools.analyser.dom |
Provides the classes used to represent the document object model (DOM) used in theory analyser. |
| spindle.tools.analyser.impl |
Provides implementation of theory analyser classes. |
| spindle.tools.evaluator |
|
| spindle.tools.explanation |
|
| spindle.tools.explanation.dom |
|