Examples of aima.core.logic.fol.inference.FOLBCAsk

aima.core.logic.fol.inference.FOLBCAsk

Artificial Intelligence A Modern Approach (2nd Edition): Figure 9.6, page 288.

 function FOL-BC-ASK(KB, goals, theta) returns a set of substitutions input: KB, a knowledge base goals, a list of conjuncts forming a query (theta already applied) theta, the current substitution, initially the empty substitution {} local variables: answers, a set of substitutions, initially empty if goals is empty then return {theta} qDelta <- SUBST(theta, FIRST(goals)) for each sentence r in KB where STANDARDIZE-APART(r) = (p1 ˆ ... ˆ pn => q) and thetaDelta <- UNIFY(q, qDelta) succeeds new_goals <- [p1,...,pn|REST(goals)] answers <- FOL-BC-ASK(KB, new_goals, COMPOSE(thetaDelta, theta)) U answers return answers

Figure 9.6 A simple backward-chaining algorithm. @author Ciaran O'Reilly @author Mike Stampone


  private static void fOL_bcAskDemo() {
    System.out.println("----------------------------");
    System.out.println("Backward Chain, Kings Demo 1");
    System.out.println("----------------------------");
    kingsDemo1(new FOLBCAsk());
    System.out.println("----------------------------");
    System.out.println("Backward Chain, Kings Demo 2");
    System.out.println("----------------------------");
    kingsDemo2(new FOLBCAsk());
    System.out.println("----------------------------");
    System.out.println("Backward Chain, Weapons Demo");
    System.out.println("----------------------------");
    weaponsDemo(new FOLBCAsk());
  }

View Full Code Here

 */
public class FOLBCAskTest extends CommonFOLInferenceProcedureTests {


  @Test
  public void testDefiniteClauseKBKingsQueryCriminalXFalse() {
    testDefiniteClauseKBKingsQueryCriminalXFalse(new FOLBCAsk());
  }

View Full Code Here

    testDefiniteClauseKBKingsQueryCriminalXFalse(new FOLBCAsk());
  }


  @Test
  public void testDefiniteClauseKBKingsQueryRichardEvilFalse() {
    testDefiniteClauseKBKingsQueryRichardEvilFalse(new FOLBCAsk());
  }

View Full Code Here

    testDefiniteClauseKBKingsQueryRichardEvilFalse(new FOLBCAsk());
  }


  @Test
  public void testDefiniteClauseKBKingsQueryJohnEvilSucceeds() {
    testDefiniteClauseKBKingsQueryJohnEvilSucceeds(new FOLBCAsk());
  }

View Full Code Here

    testDefiniteClauseKBKingsQueryJohnEvilSucceeds(new FOLBCAsk());
  }


  @Test
  public void testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds() {
    testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds(new FOLBCAsk());
  }

View Full Code Here

    testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds(new FOLBCAsk());
  }


  @Test
  public void testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds() {
    testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds(new FOLBCAsk());
  }

View Full Code Here

    testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds(new FOLBCAsk());
  }


  @Test
  public void testDefiniteClauseKBWeaponsQueryCriminalXReturnsWestSucceeds() {
    testDefiniteClauseKBWeaponsQueryCriminalXReturnsWestSucceeds(new FOLBCAsk());
  }

View Full Code Here

TOP

Related Classes of aima.core.logic.fol.inference.FOLBCAsk

aima.core.logic.fol.inference.proof.ProofFinal

aima.core.logic.fol.inference.proof.ProofStepBwChGoal

aima.core.logic.fol.kb.data.Literal

aima.core.logic.fol.parsing.ast.Term

aima.gui.demo.logic.FolDemo

aima.test.core.unit.logic.fol.inference.FOLBCAskTest

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.