aima.learning.knowledge
Class FOLDataSetDomain

java.lang.Object
  aima.logic.fol.domain.FOLDomain
      aima.learning.knowledge.FOLDataSetDomain

public class FOLDataSetDomain
extends FOLDomain

Constructor Summary

FOLDataSetDomain(DataSetSpecification dataSetSpecification, java.lang.String trueGoalValue)

Method Summary

java.lang.String	getDataSetTargetName()
java.util.List<java.lang.String>	getDescriptionDataSetNames()
java.util.List<java.lang.String>	getDescriptionPredicateNames()
java.lang.String	getExampleConstant(int egNo)
java.lang.String	getFOLName(java.lang.String dsName)
java.lang.String	getGoalPredicateName()
java.lang.String	getTrueGoalValue()
boolean	isMultivalued(java.lang.String descriptiveDataSetName)

Methods inherited from class aima.logic.fol.domain.FOLDomain

addAnswerLiteral, addConstant, addFOLDomainListener, addFunction, addPredicate, addSkolemConstant, addSkolemFunction, getConstants, getFunctions, getPredicates, removeFOLDomainListener

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FOLDataSetDomain

public FOLDataSetDomain(DataSetSpecification dataSetSpecification,
                        java.lang.String trueGoalValue)

Method Detail

getDataSetTargetName

public java.lang.String getDataSetTargetName()

getGoalPredicateName

public java.lang.String getGoalPredicateName()

getTrueGoalValue

public java.lang.String getTrueGoalValue()

getDescriptionPredicateNames

public java.util.List<java.lang.String> getDescriptionPredicateNames()

getDescriptionDataSetNames

public java.util.List<java.lang.String> getDescriptionDataSetNames()

isMultivalued

public boolean isMultivalued(java.lang.String descriptiveDataSetName)

getExampleConstant

public java.lang.String getExampleConstant(int egNo)

getFOLName

public java.lang.String getFOLName(java.lang.String dsName)