public FOLKnowledgeBase(FOLDomain domain,
InferenceProcedure inferenceProcedure, Unifier unifier)
{
this.parser = new FOLParser(new FOLDomain(domain));
this.inferenceProcedure = inferenceProcedure;
this.unifier = unifier;
//
this.substVisitor = new SubstVisitor();
this.variableCollector = new VariableCollector();
this._standardizeApart = new StandardizeApart(variableCollector,
substVisitor);
this.cnfConverter = new CNFConverter(parser);
}
public RemoveQuantifiers(FOLParser parser)
{
this.parser = parser;
substVisitor = new SubstVisitor();
}
public CNFConverter(FOLParser parser)
{
this.parser = parser;
this.substVisitor = new SubstVisitor();
}
public StandardizeQuantiferVariables(SubstVisitor substVisitor)
{
this.substVisitor = substVisitor;
}
public RemoveQuantifiers(FOLParser parser)
{
this.parser = parser;
substVisitor = new SubstVisitor();
}
public CNFConverter(FOLParser parser)
{
this.parser = parser;
this.substVisitor = new SubstVisitor();
}
public StandardizeQuantiferVariables(SubstVisitor substVisitor)
{
this.substVisitor = substVisitor;
}
public StandardizeApart(VariableCollector variableCollector,
SubstVisitor substVisitor)
{
this.variableCollector = variableCollector;
this.substVisitor = substVisitor;
}
public StandardizeApart()
{
variableCollector = new VariableCollector();
substVisitor = new SubstVisitor();
}
public StandardizeApart(VariableCollector variableCollector,
SubstVisitor substVisitor)
{
this.variableCollector = variableCollector;
this.substVisitor = substVisitor;
}
public StandardizeApart()
{
variableCollector = new VariableCollector();
substVisitor = new SubstVisitor();
}
public void setUp()
{
parser = new FOLParser(DomainFactory.crusadesDomain());
sv = new SubstVisitor();
}