SoleModels

Welcome to the documentation for SoleModels, the first ever framework for symbolic learning. This package provides the basic structures for representing symbolic models and data. Note that it does not provide any implementation of symbolic learning algorithms. At the current state, ModalDecisionTrees is the only implemented algorithm that is Sole-compatible.

Index

• SoleLogics.CONJUNCTION
• SoleLogics.DISJUNCTION
• SoleLogics.IA_L
• SoleLogics.globalrel
• SoleModels.BASE_FEATURE_ALIASES
• SoleLogics.AbstractAlphabet
• SoleLogics.AbstractFrame
• SoleLogics.AbstractInterpretation
• SoleLogics.AbstractInterpretationSet
• SoleLogics.AbstractKripkeStructure
• SoleLogics.AbstractRelation
• SoleLogics.AbstractWorld
• SoleLogics.Atom
• SoleLogics.Formula
• SoleLogics.GeometricalWorld
• SoleLogics.Interval
• SoleLogics.Interval2D
• SoleModels.AbstractCondition
• SoleModels.AbstractConditionalAlphabet
• SoleModels.AbstractFeature
• SoleModels.AbstractFullMemoset
• SoleModels.AbstractLogiset
• SoleModels.AbstractMemoset
• SoleModels.AbstractModel
• SoleModels.AbstractOneStepMemoset
• SoleModels.AbstractScalarOneStepGlobalMemoset
• SoleModels.AbstractScalarOneStepRelationalMemoset
• SoleModels.AbstractUnivariateFeature
• SoleModels.Aggregator
• SoleModels.BoundedScalarConditions
• SoleModels.Branch
• SoleModels.CLabel
• SoleModels.ConstantModel
• SoleModels.ConstrainedModel
• SoleModels.DecisionForest
• SoleModels.DecisionList
• SoleModels.DecisionTree
• SoleModels.DimensionalDatasets.AbstractUniformFullDimensionalLogiset
• SoleModels.DimensionalDatasets.AbstractUniformFullDimensionalOneStepRelationalMemoset
• SoleModels.DimensionalDatasets.UniformFullDimensionalLogiset
• SoleModels.DimensionalDatasets.UniformFullDimensionalOneStepRelationalMemoset
• SoleModels.ExistentialTopFormula
• SoleModels.ExplicitBooleanLogiset
• SoleModels.ExplicitFeature
• SoleModels.ExplicitLogiset
• SoleModels.Feature
• SoleModels.FullMemoset
• SoleModels.FunctionModel
• SoleModels.FunctionalCondition
• SoleModels.Label
• SoleModels.LeafModel
• SoleModels.MixedSymbolicModel
• SoleModels.MultiFormula
• SoleModels.MultiLogiset
• SoleModels.MultivariateFeature
• SoleModels.RLabel
• SoleModels.Rule
• SoleModels.ScalarChainedMemoset
• SoleModels.ScalarCondition
• SoleModels.ScalarExistentialFormula
• SoleModels.ScalarFormula
• SoleModels.ScalarMetaCondition
• SoleModels.ScalarOneStepMemoset
• SoleModels.ScalarOneStepRelationalMemoset
• SoleModels.ScalarPropositionFormula
• SoleModels.ScalarUniversalFormula
• SoleModels.SupportedLogiset
• SoleModels.TestOperator
• SoleModels.UnboundedScalarConditions
• SoleModels.UnivariateFeature
• SoleModels.UnivariateMax
• SoleModels.UnivariateMin
• SoleModels.UnivariateNamedFeature
• SoleModels.UnivariateSoftMax
• SoleModels.UnivariateSoftMin
• SoleModels.UnivariateValue
• SoleModels.UniversalBotFormula
• SoleModels.ValueCondition
• SoleModels.VarFeature
• Base.isopen
• Base.rand
• SoleLogics.accessibles
• SoleLogics.check
• SoleLogics.syntaxstring
• SoleModels.antecedent
• SoleModels.apply
• SoleModels.apply_test_operator
• SoleModels.balanced_weights
• SoleModels.bestguess
• SoleModels.check_model_constraints
• SoleModels.checkantecedent
• SoleModels.computefeature
• SoleModels.computeunivariatefeature
• SoleModels.consequent
• SoleModels.default_weights
• SoleModels.displaymodel
• SoleModels.evaluaterule
• SoleModels.feasiblemodelstype
• SoleModels.featvaltype
• SoleModels.immediatesubmodels
• SoleModels.info
• SoleModels.isminifiable
• SoleModels.issymbolic
• SoleModels.joinrules
• SoleModels.listimmediaterules
• SoleModels.listrules
• SoleModels.minify
• SoleModels.naturalgrouping
• SoleModels.negconsequent
• SoleModels.outcometype
• SoleModels.outputtype
• SoleModels.parsecondition
• SoleModels.parsefeature
• SoleModels.posconsequent
• SoleModels.printmodel
• SoleModels.printmodel
• SoleModels.propagate_feasiblemodels
• SoleModels.readmetrics
• SoleModels.representatives
• SoleModels.rulemetrics
• SoleModels.scalarlogiset
• SoleModels.submodels
• SoleModels.variable_name
• SoleModels.wrap