AIMA.Core.Logic.FOL.KB.FOLKnowledgeBase.FOLKnowledgeBase C# (CSharp) Method

FOLKnowledgeBase Class Documentation Datei anzeigen Open project: PaulMineau/AIMA.Net

FOLKnowledgeBase() public method

public FOLKnowledgeBase ( FOLDomain domain ) : System
domain	AIMA.Core.Logic.FOL.Domain.FOLDomain
return	System

        public FOLKnowledgeBase(FOLDomain domain) : this(domain, new FOLOTTERLikeTheoremProver())
        {
            // Default to Full Resolution if not set.
            
        }

Same methods

FOLKnowledgeBase::FOLKnowledgeBase ( FOLDomain domain, InferenceProcedure inferenceProcedure ) : System
FOLKnowledgeBase::FOLKnowledgeBase ( FOLDomain domain, InferenceProcedure inferenceProcedure, Unifier unifier ) : System