Package | Description |
---|---|
com.articulate.sigma |
Provides classes for the Sigma knowledge engineering environment version developed
at Articulate Software Inc.
|
Modifier and Type | Field and Description |
---|---|
java.util.ArrayList<ProofStep> |
TPTP3ProofProcessor.proof |
Modifier and Type | Method and Description |
---|---|
ProofStep |
TPTP3ProofProcessor.parseProofStep(java.lang.String line)
Parse a step like the following into its constituents
fof(c_0_5, axiom, (s__subclass(s__Artifact,s__Object)), c_0_3).
|
Modifier and Type | Method and Description |
---|---|
static java.util.ArrayList<ProofStep> |
ProofStep.normalizeProofStepNumbers(java.util.ArrayList<ProofStep> proofSteps)
Take an ArrayList of ProofSteps and renumber them consecutively
starting at 1.
|
static java.util.ArrayList<ProofStep> |
ProofStep.removeDuplicates(java.util.ArrayList<ProofStep> proofSteps)
Take an ArrayList of ProofSteps and renumber them consecutively
starting at 1.
|
static java.util.ArrayList<ProofStep> |
ProofStep.removeUnnecessary(java.util.ArrayList<ProofStep> proofSteps)
created a new by qingqing
remove unnecessary steps, which should not appear in proof
Unnecessary steps could be:
(1) conjectures;
(2) Successful resolution theorem proving results in a contradiction;
|
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
HTMLformatter.proofTableFormat(java.lang.String query,
ProofStep step,
java.lang.String kbName,
java.lang.String language)
Create the HTML for a single step in a proof.
|
Modifier and Type | Method and Description |
---|---|
static java.util.ArrayList<ProofStep> |
ProofStep.normalizeProofStepNumbers(java.util.ArrayList<ProofStep> proofSteps)
Take an ArrayList of ProofSteps and renumber them consecutively
starting at 1.
|
static java.util.ArrayList<ProofStep> |
ProofStep.removeDuplicates(java.util.ArrayList<ProofStep> proofSteps)
Take an ArrayList of ProofSteps and renumber them consecutively
starting at 1.
|
static java.util.ArrayList<ProofStep> |
ProofStep.removeUnnecessary(java.util.ArrayList<ProofStep> proofSteps)
created a new by qingqing
remove unnecessary steps, which should not appear in proof
Unnecessary steps could be:
(1) conjectures;
(2) Successful resolution theorem proving results in a contradiction;
|
static java.util.ArrayList<java.lang.String> |
ProofProcessor.returnSkolemStmt(java.lang.String skolem,
java.util.ArrayList<ProofStep> proofSteps)
Looks for skolem function from proofsteps if query is not given.
|
static java.lang.String |
ProofProcessor.tptpProof(java.util.ArrayList<ProofStep> proofSteps)
Convert XML proof to TPTP format
|