Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    All Classes
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

aima.logic.fol
Class DLKnowledgeBase

java.lang.Object
  extended by aima.logic.fol.DLKnowledgeBase

public class DLKnowledgeBase
extends java.lang.Object

Author:
Ravi Mohan

Constructor Summary
DLKnowledgeBase(FOLDomain domain)
           
 
Method Summary
 void add(java.lang.String sentenceString)
           
 Fact fact(int i)
           
 java.util.List facts()
           
 java.util.Properties forwardChain(Predicate query)
           
 java.util.Properties forwardChain(java.lang.String query)
           
 java.util.List getRules()
           
 int numFacts()
           
 int numRules()
           
 Rule rule(int i)
           
 Predicate trigger(Rule triggered)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DLKnowledgeBase

public DLKnowledgeBase(FOLDomain domain)
Method Detail

getRules

public java.util.List getRules()

add

public void add(java.lang.String sentenceString)

numRules

public int numRules()

numFacts

public int numFacts()

rule

public Rule rule(int i)

fact

public Fact fact(int i)

forwardChain

public java.util.Properties forwardChain(java.lang.String query)

forwardChain

public java.util.Properties forwardChain(Predicate query)

trigger

public Predicate trigger(Rule triggered)

facts

public java.util.List facts()
Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    All Classes
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD