dfs_vector_space.pl -- Vector space
Conversion between sets of models and vector space.
- dfs_model_to_vector(+Model, -ModelVector) is det
- ModelVector is a set of tuples (AtomicProp,State) representing
the State of each atomic proposition AtomicProp in Model.
- dfs_models_to_matrix(+ModelSet, -ModelMatrix) is det
- Convert a set of models into a vector space.
- See also
- - dfs_model_to_vector/2.
- +ModelSet @># -Matrix is det
- Infix operator for dfs_models_to_matrix/2.
- See also
- - dfs_models_to_matrix/2.
- dfs_vector_to_model(+ModelVector, -Model)
- Converts ModelVector, a set of tuples (AtomicProp,State) representing
the State of each atomic proposition AtomicProp, into a Model.
- dfs_matrix_to_models(+ModelMatrix, -ModelSet) is det
- Convert a vector space into a set of models.
- See also
- - dfs_vector_to_model/2.
- +Matrix #>@ -ModelSet is det
- Infix operator for dfs_matrix_to_models/2.
- See also
- - dfs_matrix_to_models/2.
- dfs_vector(+Formula, +ModelSet, -Vector) is det
- dfs_vector(+Formula, +ModelMatrix, -Vector) is det
- A formula P is true in a model M iff [[P]]^M,g = 1 given an arbitrary
variable assignment g.