package aima.test.core.unit.logic.fol.inference;
import org.junit.Test;
import aima.core.logic.fol.inference.FOLFCAsk;
import aima.test.core.unit.logic.fol.CommonFOLInferenceProcedureTests;
/**
* @author Ciaran O'Reilly
*
*/
public class FOLFCAskTest extends CommonFOLInferenceProcedureTests {
@Test
public void testDefiniteClauseKBKingsQueryCriminalXFalse() {
testDefiniteClauseKBKingsQueryCriminalXFalse(new FOLFCAsk());
}
@Test
public void testDefiniteClauseKBKingsQueryRichardEvilFalse() {
testDefiniteClauseKBKingsQueryRichardEvilFalse(new FOLFCAsk());
}
@Test
public void testDefiniteClauseKBKingsQueryJohnEvilSucceeds() {
testDefiniteClauseKBKingsQueryJohnEvilSucceeds(new FOLFCAsk());
}
@Test
public void testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds() {
testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds(new FOLFCAsk());
}
@Test
public void testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds() {
testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds(new FOLFCAsk());
}
@Test
public void testDefiniteClauseKBWeaponsQueryCriminalXReturnsWestSucceeds() {
testDefiniteClauseKBWeaponsQueryCriminalXReturnsWestSucceeds(new FOLFCAsk());
}
}