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.
-
Axiom()
- Create a new rule with no antecedents or consequents.
-
Axiom(Atom, Atom)
- Create a new rule with a single antecedent and consequent.
-
addAntecedent(Atom)
- Adds an antecedent to the existing conjunction of antecedents.
-
addAntecedent(String, String, String)
- Adds an antecedent to the existing conjunction of antecedents.
-
addConsequent(Atom)
- Adds a consequent to the existing conjunction of consequents.
-
addConsequent(String, String, String)
- Adds a consequent to the existing conjunction of consequents.
-
getAntecedents()
- Returns the antecedents of the axiom.
-
getConsequents()
- Returns the consequents of the axiom
-
toString()
-
Axiom
public Axiom()
- Create a new rule with no antecedents or consequents.
Axiom
public Axiom(Atom theAntecedent,
Atom theConsequent)
- Create a new rule with a single antecedent and consequent.
getAntecedents
public Vector getAntecedents()
- Returns the antecedents of the axiom.
getConsequents
public Vector getConsequents()
- Returns the consequents of the axiom
addAntecedent
public void addAntecedent(Atom theAntecedent)
- Adds an antecedent to the existing conjunction of antecedents.
addAntecedent
public void addAntecedent(String predicate,
String arg1,
String arg2)
- Adds an antecedent to the existing conjunction of antecedents.
addConsequent
public void addConsequent(Atom theConsequent)
- Adds a consequent to the existing conjunction of consequents.
addConsequent
public void addConsequent(String predicate,
String arg1,
String arg2)
- Adds a consequent to the existing conjunction of consequents.
toString
public String toString()
- Overrides:
- toString in class Object
All Packages Class Hierarchy This Package Previous Next Index