List of convertToCNF() Examples

Examples of convertToCNF()

aima.core.logic.fol.CNFConverter.convertToCNF()
Returns the specified sentence as a list of clauses, where each clause is a disjunction of literals. @param aSentence a sentence in first order logic (predicate calculus) @return the specified sentence as a list of clauses, where each clause isa disjunction of literals.

Examples of aima.core.logic.fol.CNFConverter.convertToCNF()

    FOLParser parser = new FOLParser(domain);
    CNFConverter cnfConv = new CNFConverter(parser);


    // x=y
    Sentence sent = parser.parse("x = y");
    CNF cnf = cnfConv.convertToCNF(sent);


    Assert.assertEquals("[x = y]", cnf.toString());


    // x!=y
    sent = parser.parse("NOT(x = y)");

View Full Code Here

0 1 2 3 4 5

TOP

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.