All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class ShoeKb.Axiom

java.lang.Object
   |
   +----ShoeKb.Axiom

public class Axiom
extends Object
An inference rule (or axiom) used to conclude a fact from a given set of facts. Only Horn-clause style rules are supported, that is, there is a conjunction of antecedents and a single consequent.


Constructor Index

 o Axiom()
Create a new rule with no antecedents or consequents.
 o Axiom(Atom, Atom)
Create a new rule with a single antecedent and consequent.

Method Index

 o addAntecedent(Atom)
Adds an antecedent to the existing conjunction of antecedents.
 o addAntecedent(String, String, String)
Adds an antecedent to the existing conjunction of antecedents.
 o addConsequent(Atom)
Adds a consequent to the existing conjunction of consequents.
 o addConsequent(String, String, String)
Adds a consequent to the existing conjunction of consequents.
 o getAntecedents()
Returns the antecedents of the axiom.
 o getConsequents()
Returns the consequents of the axiom
 o toString()

Constructors

 o Axiom
 public Axiom()
Create a new rule with no antecedents or consequents.

 o Axiom
 public Axiom(Atom theAntecedent,
              Atom theConsequent)
Create a new rule with a single antecedent and consequent.

Methods

 o getAntecedents
 public Vector getAntecedents()
Returns the antecedents of the axiom.

 o getConsequents
 public Vector getConsequents()
Returns the consequents of the axiom

 o addAntecedent
 public void addAntecedent(Atom theAntecedent)
Adds an antecedent to the existing conjunction of antecedents.

 o addAntecedent
 public void addAntecedent(String predicate,
                           String arg1,
                           String arg2)
Adds an antecedent to the existing conjunction of antecedents.

 o addConsequent
 public void addConsequent(Atom theConsequent)
Adds a consequent to the existing conjunction of consequents.

 o addConsequent
 public void addConsequent(String predicate,
                           String arg1,
                           String arg2)
Adds a consequent to the existing conjunction of consequents.

 o toString
 public String toString()
Overrides:
toString in class Object

All Packages  Class Hierarchy  This Package  Previous  Next  Index