com.articulate.sigma

Class CELTTestSuite

java.lang.Object

com.articulate.sigma.CELTTestSuite

public class CELTTestSuite
extends java.lang.Object

A framework for testing CELT.

Constructor Summary

Constructors

Constructor and Description
CELTTestSuite()

Method Summary

Modifier and Type	Method and Description
static java.lang.String	test(KB kb) Reads a KIF file consisting of pairs of (sentence...

Methods inherited from class java.lang.Object

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

Constructor Detail

CELTTestSuite

public CELTTestSuite()

Method Detail

test

public static java.lang.String test(KB kb)

Reads a KIF file consisting of pairs of (sentence... and (answer... statements, where the sentence is a quoted string and the answer is the expected KIF formula.