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

aima.core.logic.fol.inference.FOLFCAsk

Artificial Intelligence A Modern Approach (3rd Edition): Figure 9.3, page 332.

 function FOL-FC-ASK(KB, alpha) returns a substitution or false inputs: KB, the knowledge base, a set of first order definite clauses alpha, the query, an atomic sentence local variables: new, the new sentences inferred on each iteration repeat until new is empty new <- {} for each rule in KB do (p1 ˆ ... ˆ pn => q) <- STANDARDIZE-VARAIBLES(rule) for each theta such that SUBST(theta, p1 ˆ ... ˆ pn) = SUBST(theta, p'1 ˆ ... ˆ p'n) for some p'1,...,p'n in KB q' <- SUBST(theta, q) if q' does not unify with some sentence already in KB or new then add q' to new theta <- UNIFY(q', alpha) if theta is not fail then return theta add new to KB return false

Figure 9.3 A conceptually straightforward, but very inefficient forward-chaining algo- rithm. On each iteration, it adds to KB all the atomic sentences that can be inferred in one step from the implication sentences and the atomic sentences already in KB. The function STANDARDIZE-VARIABLES replaces all variables in its arguments with new ones that have not been used before. @author Ciaran O'Reilly

 */
public class FOLFCAskTest extends CommonFOLInferenceProcedureTests {


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

View Full Code Here

    testDefiniteClauseKBKingsQueryCriminalXFalse(new FOLFCAsk());
  }


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

View Full Code Here

    testDefiniteClauseKBKingsQueryRichardEvilFalse(new FOLFCAsk());
  }


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

View Full Code Here

    testDefiniteClauseKBKingsQueryJohnEvilSucceeds(new FOLFCAsk());
  }


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

View Full Code Here

    testDefiniteClauseKBKingsQueryEvilXReturnsJohnSucceeds(new FOLFCAsk());
  }


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

View Full Code Here

    testDefiniteClauseKBKingsQueryKingXReturnsJohnAndRichardSucceeds(new FOLFCAsk());
  }


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

View Full Code Here


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

View Full Code Here

TOP

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

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

aima.core.logic.fol.inference.proof.ProofStepFoChAlreadyAFact

aima.core.logic.fol.inference.proof.ProofStepFoChAssertFact

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

aima.core.logic.fol.parsing.ast.NotSentence

aima.core.logic.fol.parsing.ast.Sentence

aima.gui.demo.logic.FolDemo

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

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.