aima.logic.propositional.algorithms
Class PLResolution

java.lang.Object
  aima.logic.propositional.algorithms.PLResolution

public class PLResolution
extends java.lang.Object

Constructor Summary

PLResolution()

Method Summary

boolean	plResolution(KnowledgeBase kb, Sentence alpha)
boolean	plResolution(KnowledgeBase kb, java.lang.String alpha)
boolean	plResolution(java.lang.String kbs, java.lang.String alphaString)
java.util.Set<Sentence>	plResolve(Sentence clause1, Sentence clause2)

Methods inherited from class java.lang.Object

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

Constructor Detail

PLResolution

public PLResolution()

Method Detail

plResolution

public boolean plResolution(KnowledgeBase kb,
                            java.lang.String alpha)

plResolution

public boolean plResolution(KnowledgeBase kb,
                            Sentence alpha)

plResolve

public java.util.Set<Sentence> plResolve(Sentence clause1,
                                         Sentence clause2)

plResolution

public boolean plResolution(java.lang.String kbs,
                            java.lang.String alphaString)