C# Class AIMA.Core.Logic.FOL.Inference.FOLBCAsk

Inheritance: InferenceProcedure

显示文件 Open project: PaulMineau/AIMA.Net

Public Methods

Method	Description
FOLBCAsk ( ) : System
ask ( FOLKnowledgeBase KB, Sentence query ) : InferenceResult

Private Methods

Method	Description
cascadeSubstitutions ( FOLKnowledgeBase KB, Term>.Dictionary theta ) : Term>.Dictionary
compose ( FOLKnowledgeBase KB, Term>.Dictionary theta1, Term>.Dictionary theta2 ) : Term>.Dictionary
folbcask ( FOLKnowledgeBase KB, BCAskAnswerHandler ansHandler, List goals, Term>.Dictionary theta ) : List>

Method Details

FOLBCAsk() public method

public FOLBCAsk ( ) : System
return	System

ask() public method

public ask ( FOLKnowledgeBase KB, Sentence query ) : InferenceResult
KB	AIMA.Core.Logic.FOL.KB.FOLKnowledgeBase
query	Sentence
return	InferenceResult