 | CategoricalEntailment Class |
Inheritance HierarchyNamespace: Novacta.Analytics
Assembly: Novacta.Analytics (in Novacta.Analytics.dll) Version: 2.0.0
SyntaxThe CategoricalEntailment type exposes the following members.
Properties| Name | Description | |
|---|---|---|
 | FeaturePremises |
Gets the list of premises this instance defines about its
FeatureVariables.
|
| FeatureVariables |
Gets the list of feature variables about which
this instance defines its FeaturePremises.
|
| ResponseConclusion |
Gets the category Code
in ResponseVariable derived
by this instance when its FeaturePremises
are satisfied.
|
| ResponseVariable |
Gets the response variable from which
this instance defines its ResponseConclusion.
|
| TruthValue |
Gets or sets the eventually partial truth value assigned to
this instance.
|
Methods| Name | Description | |
|---|---|---|
 | Equals | Determines whether the specified object is equal to the current object. (Inherited from Object.) |
 | Finalize | Allows an object to try to free resources and perform other cleanup operations before it is reclaimed by garbage collection. (Inherited from Object.) |
| GetHashCode | Serves as the default hash function. (Inherited from Object.) |
| GetType | Gets the Type of the current instance. (Inherited from Object.) |
| MemberwiseClone | Creates a shallow copy of the current Object. (Inherited from Object.) |
| ToString |
Returns a String that represents this instance.
(Overrides ObjectToString.) |
| ValidatePremises |
Validates that the premises of this instance are satisfied
by the categorical items in the specified data set.
|
RemarksA CategoricalEntailment instance represents a relationship between a set of FeatureVariables and a corresponding ResponseVariable.
The relationship has the form of an implication from a collection of FeaturePremises, statements about the available features, to a corresponding ResponseConclusion, a category Code in the ResponseVariable.
The conclusion is entailed by the premises with a degree of confirmation represented by the TruthValue of the instance.
Let us assume that items from a given
feature space 
must be classified
into a set 
of labels.
If 
feature variables
are taken into account, and if
variable 
has
finite domain 
, then 
can
be represented as the
Cartesian product 
.
A categorical entailment is a
triple 
,
where 
is a subset of 
representing the FeaturePremises,
is the ResponseConclusion,
and 
is the TruthValue.
Given a CategoricalDataSet instance in which observations of the FeatureVariables are included, you can check for what of its rows the premises are satisfied by calling method ValidatePremises(CategoricalDataSet, IndexCollection).
Empty feature or response domains are not allowed.
A premise can be empty, but in such case it is represented as matching the corresponding feature domain. Equivalently, a premise which is not a nonempty proper subset of the domain is always valid for every item in the feature space.
You can't directly instantiate a CategoricalEntailment object. However, categorical entailments can be exploited for classification purposes via CategoricalEntailmentEnsembleClassifier instances. Entailments can be included in such a classifier by calling its method Add(IListSortedSetDouble, Double, Double). They can be populated automatically by executing methods AddTrained(CategoricalDataSet, IndexCollection, Int32, Int32, Boolean, Boolean) or Train(CategoricalDataSet, IndexCollection, Int32, Int32, Boolean, Boolean).
See Also