• 홈
• AIMA
• Core
• Logic
• FOL
• KB
• FOLKnowledgeBase

C# 클래스 AIMA.Core.Logic.FOL.KB.FOLKnowledgeBase

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

공개 메소드들

메소드	설명
FOLKnowledgeBase ( FOLDomain domain ) : System
FOLKnowledgeBase ( FOLDomain domain, InferenceProcedure inferenceProcedure ) : System
FOLKnowledgeBase ( FOLDomain domain, InferenceProcedure inferenceProcedure, Unifier unifier ) : System
ToString ( ) : String
ask ( Sentence aQuery ) : InferenceResult
ask ( String aQuerySentence ) : InferenceResult
clear ( ) : void
collectAllVariables ( Sentence aSentence ) : List
convertToCNF ( Sentence aSentence ) : CNF
convertToClauses ( Sentence aSentence ) : List
createAnswerLiteral ( Sentence forQuery ) : Literal
fetch ( List literals ) : Term>>.List
fetch ( Literal l ) : Term>>.List
getAllClauses ( ) : List
getAllDefiniteClauseImplications ( ) : List
getAllDefiniteClauses ( ) : List
getInferenceProcedure ( ) : InferenceProcedure
getNumberFacts ( ) : int
getNumberRules ( ) : int
getOriginalSentences ( ) : List
isRenaming ( Literal l ) : bool
isRenaming ( Literal l, List possibleMatches ) : bool
setInferenceProcedure ( InferenceProcedure inferenceProcedure ) : void
standardizeApart ( Chain aChain ) : Chain
standardizeApart ( Clause aClause ) : Clause
standardizeApart ( Sentence aSentence ) : Sentence
subst ( Term>.Dictionary theta, Literal l ) : Literal
subst ( Term>.Dictionary theta, Sentence aSentence ) : Sentence
subst ( Term>.Dictionary theta, Term aTerm ) : Term
tell ( String aSentence ) : Sentence
tell ( List sentences ) : void
tell ( Sentence aSentence ) : void
unify ( FOLNode x, FOLNode y ) : Term>.Dictionary

보호된 메소드들

메소드	설명
getParser ( ) : FOLParser

비공개 메소드들

메소드	설명
fetchMatchingFacts ( Literal l ) : List
getFactKey ( Literal l ) : String
indexFact ( Literal fact ) : void
recursiveFetch ( Term>.Dictionary theta, Literal l, List remainingLiterals, Term>.List possibleSubstitutions ) : void
store ( Sentence aSentence ) : void

메소드 상세