aima.core.logic.fol

Class CNFConverter

java.lang.Object

aima.core.logic.fol.CNFConverter

public class CNFConverter
extends java.lang.Object

Artificial Intelligence A Modern Approach (3rd Edition): page 345.

Every sentence of first-order logic can be converted into an inferentially equivalent CNF sentence.

Note: Transformation rules extracted from 346 and 347, which are essentially the INSEADO method outlined in: INSEADO Rules

Author:

Ciaran O'Reilly, Mike Stampone

Constructor Summary

Constructors

Constructor and Description
CNFConverter(FOLParser parser)

Method Summary

Modifier and Type	Method and Description
CNF	convertToCNF(Sentence aSentence) Returns the specified sentence as a list of clauses, where each clause is a disjunction of literals.

Methods inherited from class java.lang.Object

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

Constructor Detail

CNFConverter

public CNFConverter(FOLParser parser)

Method Detail

convertToCNF

public CNF convertToCNF(Sentence aSentence)

Returns the specified sentence as a list of clauses, where each clause is a disjunction of literals.

Parameters:

aSentence - a sentence in first order logic (predicate calculus)

Returns:

the specified sentence as a list of clauses, where each clause is a disjunction of literals.