Package jeops.engine

This package contains the main classes of JEOPS.

See:
          Description

Class Summary
ConflictSet This classes models the conflict set of the inference engine.
DefaultRuleSorter The default rule sorter used in this inference engine.
KnowledgeBase The main class of JEOPS.
LRURuleSorter A rule sorter that will fire the least recently used rule.
MRURuleSorter A rule sorter that will fire the most recently used rule.
NaturalRuleSorter A rule sorter that will fire each pair (rule, instanciations) only once, that is, no rule will fire twice with the same list of objects.
ObjectBase This class models the facts over which the inferenc engine will act.
OneShotRuleSorter A rule sorter that will fire each rule only once, even if it has more than one possible instantiations.
Precondition This class models one of the preconditions of a rule.
PriorityRuleSorter A rule sorter that will choose the rule that has been first declared in the rules file.
Rule This class models a rule to be evaluated in the inference engine.
RuleAction This class models an action of a rule to be executed if the rule's preconditions evaluate to true.
RuleBase Class that models the heart of the inference engine.
RuleDeclaration This class models a variable declaration (universally quantified) used in a rule definition.
RuleLocalDeclaration This class models a local variable declaration of a rule.
RuleSorter Abstract class that defines the methods needed by any rule sorter, used by the conflict set to choose the rule to be fired.
 

Exception Summary
NoMoreRulesException This class defines an exception that will be thrown when there aren't more rules to be fired in a conflict set.
RuleNotFiredException This class models an exception that may be thrown when a rule can't be fired, maybe due to its bad formation or by an exception being thrown when firing it.
 

Package jeops.engine Description

This package contains the main classes of JEOPS. Basically, this is the only package that needs to be seen by the user.