aima.logic.propositional.algorithms
Class PLFCEntails

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

public class PLFCEntails
extends java.lang.Object

Nested Class Summary

class

PLFCEntails.HornClause

Constructor Summary

PLFCEntails()

Method Summary

boolean	plfcEntails(KnowledgeBase kb, java.lang.String s)
boolean	plfcEntails(KnowledgeBase kb, Symbol q)

Methods inherited from class java.lang.Object

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

Constructor Detail

PLFCEntails

public PLFCEntails()

Method Detail

plfcEntails

public boolean plfcEntails(KnowledgeBase kb,
                           java.lang.String s)

plfcEntails

public boolean plfcEntails(KnowledgeBase kb,
                           Symbol q)