|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
ObjectKnowledgeBase
public class KnowledgeBase
Define KnowledgeBase.
Nested Class Summary | |
---|---|
static class |
KnowledgeBase.KBUnsatisfiableStateException
This Exception is thrown when the KnowledgeBase becomes inconsistent, or unsatisfiable. |
static interface |
KnowledgeBase.KnowledgeBaseListener
|
Field Summary | |
---|---|
int |
INCREMENTAL_STACK_GROWTH
Must be a positive value. |
int |
INITIAL_STACK_SIZE
Must be a positive value. |
static int |
KB_UNSATISFIABLE
|
Constructor Summary | |
---|---|
KnowledgeBase(MappedList vars,
int[] clausesIndex,
int[] literalsVars,
int[] literalsStates,
boolean[] literalsPositive,
KnowledgeBase.KnowledgeBaseListener lstn)
|
Method Summary | |
---|---|
int |
assertNegative(int var,
int state)
Asserts var!=state as true. |
int |
assertPositive(int var,
int state)
Asserts var=state as true. |
static KnowledgeBase |
createFromBN(BeliefNetwork bn,
MappedList vars,
KnowledgeBase.KnowledgeBaseListener lstn)
|
int |
currentState()
|
int |
numClauses()
|
int |
numLiterals()
|
void |
retract(int size)
|
void |
write(PrintStream stream)
|
Methods inherited from class Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public int INITIAL_STACK_SIZE
public int INCREMENTAL_STACK_GROWTH
public static final int KB_UNSATISFIABLE
Constructor Detail |
---|
public KnowledgeBase(MappedList vars, int[] clausesIndex, int[] literalsVars, int[] literalsStates, boolean[] literalsPositive, KnowledgeBase.KnowledgeBaseListener lstn) throws KnowledgeBase.KBUnsatisfiableStateException
KnowledgeBase.KBUnsatisfiableStateException
Method Detail |
---|
public int currentState()
public int numClauses()
public int numLiterals()
public static KnowledgeBase createFromBN(BeliefNetwork bn, MappedList vars, KnowledgeBase.KnowledgeBaseListener lstn) throws KnowledgeBase.KBUnsatisfiableStateException
KnowledgeBase.KBUnsatisfiableStateException
public int assertPositive(int var, int state)
public int assertNegative(int var, int state)
public void retract(int size)
public void write(PrintStream stream)
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |