aima.test.logictest.foltest
Class DLKnowledgeBaseTest

java.lang.Object
  junit.framework.Assert
      junit.framework.TestCase
          aima.test.logictest.foltest.DLKnowledgeBaseTest

All Implemented Interfaces:

junit.framework.Test

public class DLKnowledgeBaseTest
extends junit.framework.TestCase

Author:

Ravi Mohan

Constructor Summary

DLKnowledgeBaseTest()

Method Summary

DLKnowledgeBase	createKingsKnowledgeBase()
void	setUp()
void	testAddComplexRule()
void	testAddRule()
void	testBasicForwardChainingFails()
void	testBasicForwardChainingSucceeds()
void	testClausesFormDomainsCorrectlyWithMatchingFacts()
void	testClausesFormDomainsCorrectlyWithNoMatchingFacts()
void	testComplexForwardChainingSucceeds()
void	testFactNotAddedWhenAlreadyPresent()
void	testRulesFormDomainsCorrectlyForAllClauses()
void	testRuleTriggerable()

Methods inherited from class junit.framework.TestCase

countTestCases, createResult, getName, run, run, runBare, runTest, setName, tearDown, toString

Methods inherited from class junit.framework.Assert

assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, fail, fail

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

DLKnowledgeBaseTest

public DLKnowledgeBaseTest()

Method Detail

setUp

public void setUp()

Overrides:

setUp in class junit.framework.TestCase

testAddRule

public void testAddRule()

testAddComplexRule

public void testAddComplexRule()

testClausesFormDomainsCorrectlyWithNoMatchingFacts

public void testClausesFormDomainsCorrectlyWithNoMatchingFacts()

testClausesFormDomainsCorrectlyWithMatchingFacts

public void testClausesFormDomainsCorrectlyWithMatchingFacts()

testRulesFormDomainsCorrectlyForAllClauses

public void testRulesFormDomainsCorrectlyForAllClauses()

testBasicForwardChainingFails

public void testBasicForwardChainingFails()

testBasicForwardChainingSucceeds

public void testBasicForwardChainingSucceeds()

testRuleTriggerable

public void testRuleTriggerable()

testComplexForwardChainingSucceeds

public void testComplexForwardChainingSucceeds()

testFactNotAddedWhenAlreadyPresent

public void testFactNotAddedWhenAlreadyPresent()

createKingsKnowledgeBase

public DLKnowledgeBase createKingsKnowledgeBase()