C# 클래스 AIMA.Core.Logic.Propositional.Algorithms.PLFCEntails

파일 보기 프로젝트 열기: PaulMineau/AIMA.Net 1 사용 예제들

공개 메소드들

메소드	설명
PLFCEntails ( ) : System
plfcEntails ( KnowledgeBase kb, String s ) : bool
plfcEntails ( KnowledgeBase kb, Symbol q ) : bool

비공개 메소드들

메소드	설명
asHornClauses ( List sentences ) : List
countisZero ( HornClause hornClause ) : bool
decrementCount ( HornClause hornClause ) : void
inferred ( Symbol p ) : bool

메소드 상세

PLFCEntails() 공개 메소드

public PLFCEntails ( ) : System
리턴	System

plfcEntails() 공개 메소드

public plfcEntails ( KnowledgeBase kb, String s ) : bool
kb	KnowledgeBase
s	String
리턴	bool

plfcEntails() 공개 메소드

public plfcEntails ( KnowledgeBase kb, Symbol q ) : bool
kb	KnowledgeBase
q	AIMA.Core.Logic.Propositional.Parsing.Ast.Symbol
리턴	bool