edu.ucla.belief.rc2.kb
Interface KnowledgeBase

All Known Implementing Classes:
KnowledgeBaseImpl

public interface KnowledgeBase

Define KnowledgeBase.

Author:
David Allen

Nested Class Summary
static interface KnowledgeBase.KnowledgeBaseListener
           
 
Field Summary
static int KB_UNSATISFIABLE
           
 
Method Summary
 int assertPositive(int var, int state)
          Asserts var=state as true.
 int currentState()
          Returns the current state of the KB, if retract is later called with this value, the KB will return to this state.
 int numClauses()
           
 int numLiterals()
           
 int numPossibleStates(FiniteVariable fv)
           
 void retract(int state)
          The parameter state should be the returned value from either an assertPositive call or from a currentState call.
 

Field Detail

KB_UNSATISFIABLE

static final int KB_UNSATISFIABLE
See Also:
Constant Field Values
Method Detail

numClauses

int numClauses()

numLiterals

int numLiterals()

currentState

int currentState()
Returns the current state of the KB, if retract is later called with this value, the KB will return to this state.


assertPositive

int assertPositive(int var,
                   int state)
Asserts var=state as true. If KB is unsatisfiable it will return KB_UNSATISFIABLE.


retract

void retract(int state)
The parameter state should be the returned value from either an assertPositive call or from a currentState call.


numPossibleStates

int numPossibleStates(FiniteVariable fv)


Copyright 2010 UCLA Automated Reasoning Group