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

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

공개 메소드들

메소드	설명
plResolution ( KnowledgeBase kb, Sentence alpha ) : bool
plResolution ( KnowledgeBase kb, String alpha ) : bool
plResolution ( String kbs, String alphaString ) : bool
plResolve ( Sentence clause1, Sentence clause2 ) : List

비공개 메소드들

메소드	설명
createResolventClause ( ClauseSymbols cs, Symbol toRemove ) : Sentence
filterOutClausesWithTwoComplementaryLiterals ( List clauses ) : List
getCombinationPairs ( List clausesList ) : List>

메소드 상세

plResolution() 공개 메소드

public plResolution ( KnowledgeBase kb, Sentence alpha ) : bool
kb	KnowledgeBase
alpha	AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence
리턴	bool

plResolution() 공개 메소드

public plResolution ( KnowledgeBase kb, String alpha ) : bool
kb	KnowledgeBase
alpha	String
리턴	bool

plResolution() 공개 메소드

public plResolution ( String kbs, String alphaString ) : bool
kbs	String
alphaString	String
리턴	bool

plResolve() 공개 메소드

public plResolve ( Sentence clause1, Sentence clause2 ) : List
clause1	AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence
clause2	AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence
리턴	List