Overview   Package  Class  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES    

Package org.aspic.inference

Top level package for the ASPIC Argumentation Engine.

See:
          Description

Interface Summary
RuleArgumentValuator An interface for valuating rule arguments.
 

Class Summary
Addition The "+" binary built-in predicate.
ArithmeticBinaryEvaluator Abstract class for binary built-in predicates that attempt to compute both arguments before attempting to generate an Argument.
ArithmeticEqualTo The "=:=" binary evaluator built-in predicate.
ArithmeticNotEqualTo The "=\=" binary evaluator built-in predicate.
Binary Abstract class for binary built-in predicates.
BinaryEvaluator Abstract class for binary built-in predicates that attempt to compute both arguments before attempting to generate an Argument.
BuiltIn Abstract class for a built-in predicate.
Constant A Constant is the simplest sub-class of Element.
ConstantFloat The knowledge syntax is based on prolog which understands that numbers might be integers or floats.
ConstantInteger The knowledge syntax is based on prolog which understands that numbers might be integers or floats.
ConstantList An ElementList whose members are restricted to Constants.
ConstantNumber A ConstantNumber is a special Constant that you can always make exactly one Argument for.
Division The "/" binary built-in predicate.
Element Top-level abstract class for all knowledge classes.
ElementList An encapsulated List of Elements that is used as the antecedent in a Rule, the argList of a Term, and could possibly be used to capture lists if list processing operators were built into the language.
Engine An Engine has a knowledge base and can generate queries.
Engine.MessageFormatter A logging formatter that only shows the message: nothing else
EqualTo The "==" binary evaluator built-in predicate.
GreaterThan The ">" binary evaluator built-in predicate.
GreaterThanOrEqualTo The ">=" binary evaluator built-in predicate.
Is The "is" unary built-in predicate.
KnowledgeBase A KnowledgeBase collects and indexes Rules.
KnowledgeBaseSource An argument source that allows arguments to be accessed from a KnowledgeBase.
LessThan The "<" binary evaluator built-in predicate.
LessThanOrEqualTo The "=<" binary evaluator built-in predicate.
Multiplication The "*" binary built-in predicate.
NegationAsFailure Negation as failure unary operator.
Nonvar The "nonvar" unary built-in predicate.
NotEqualTo The "\==" binary evaluator built-in predicate.
Predicate A Predicate provides a meta-view of a Constant and is used in the KnowledgeBase class to represent it's contents.
Query A Query uses a Reasoner to evaluate a query expression.
ReasonerPair A Reasoner Pair is a pair ArgumentLists, PRO and OPP.
Result Simple data class for representing a match to a Query expression.
Rule A Rule is a specialised Term, rule/4.
RuleArgument Class for representing Arguments.
RuleArgumentList A List of Arguments and a Substitution that is common to those Arguments.
Substitution Captures the substitutions made in developing a particular Argument.
Subtraction The "-" binary evaluator built-in predicate.
Term A Term uses the inherited Constant's functor as it's predicate name and adds an additional list of arguments, argList.
Unary Abstract class for unary built-in predicates.
Variable A Variable is an ungrounded placeholder, used within a rule or within a query predicate expression that is grounded during the process of argument discovery.
 

Enum Summary
Engine.OnOff Enumeration for boolean Engine properties.
Engine.Property Enumeration of the available Engine properties.
Party Enum representing the two parties in a dialectical proof.
Reasoner Enumeration of known Reasoners, with a createReasoner() factory method built in.
RuleArgument.Status Enumeration of possible Argument status values, as defined within the context of a particular Query.
Valuator Enumeration of known Valuators, with a createValuator() factory method built in.
 

Exception Summary
ReasonerException This exception should be raised if the reasoner fails
 

Package org.aspic.inference Description

Top level package for the ASPIC Argumentation Engine. This component can be embedded in other applications (e.g. the Decision Engine), used interactively via the provided Tester GUI, or used via the Command Line.

Command line Usage

If you run the Inference Engine at the commandline and specify org.aspic.inference.Engine then you will see this message: 
usage: java org.aspic.inference.Engine [-options] dKB query
            dKB - defeasible Knowledge Base
            Query - query expression.
 -f,--format                   aifxml or dot. If ommitted then the engine
                               just outputs a list of matched expressions followed by 'yes' or 'no'.
 -h,--help                     Show this message
 -l,--logging                  turns on logging to stderr.
 -p,--pretty                   sets AIFXML pretty printing
 -rr,--restricted_rebutting    sets restricted rebutting: off (default) or
                               on.
 -s,--semantics                controls semantics of reasoning.  grounded
                               (default) or preferred_credulous are available.
 -t,--transposition            sets knowledge base transposition: off
                               (default) or on.
 -v,--version                  print product version and exit
 -vn,--valuation               sets argument valuation: weakest_link
                               (default) or last_link.
(or similar) which details usage of the CLI.

GUI

The Experimental GUI class is org.aspic.inference.gui.EngineTester

Status

Beta. Feature complete (all anticipated engine configurations are implemented). API subject to change. Bugs are still being ironed out (see README).

Dependencies

Several third party libraries are used by the engine. These are listed below.