Package: dst 1.8.0

Peiyuan Zhu

dst: Using the Theory of Belief Functions

Using the Theory of Belief Functions for evidence calculus. Basic probability assignments, or mass functions, can be defined on the subsets of a set of possible values and combined. A mass function can be extended to a larger frame. Marginalization, i.e. reduction to a smaller frame can also be done. These features can be combined to analyze small belief networks and take into account situations where information cannot be satisfactorily described by probability distributions.

Authors:Peiyuan Zhu [aut, cre], Claude Boivin [aut]

dst_1.8.0.tar.gz
dst_1.8.0.zip(r-4.5)dst_1.8.0.zip(r-4.4)dst_1.8.0.zip(r-4.3)
dst_1.8.0.tgz(r-4.4-any)dst_1.8.0.tgz(r-4.3-any)
dst_1.8.0.tar.gz(r-4.5-noble)dst_1.8.0.tar.gz(r-4.4-noble)
dst_1.8.0.tgz(r-4.4-emscripten)dst_1.8.0.tgz(r-4.3-emscripten)
dst.pdf |dst.html✨
dst/json (API)
NEWS

# Install 'dst' in R:

install.packages('dst', repos = c('https://rapler.r-universe.dev', 'https://cloud.r-project.org'))

Bug tracker:https://github.com/rapler/dst-1/issues

Datasets:

ads - The Captain's Problem. 'ads': Relation between variables Arrival
captain_result - The Captain's Problem. 'swr': Result of the evaluation of the Hypergraph at node Arrival
dlfm - The Captain's Problem. 'dlfm': Relation between variables Departure delay
fw - The Captain's Problem. 'fw': Relation between variables Forecast of the weather
mrf - The Captain's Problem. 'mrf': Relation between variables No Maintenance
mrt - The Captain's Problem. 'mrt': Relation between variables Maintenance done
swr - The Captain's Problem. 'swr': Relation between variables Sailing delay

On CRAN:

8.10 score 6 stars 125 scripts 329 downloads 51 exports 36 dependencies

Last updated 18 hours agofrom:9ede510761. Checks:OK: 1 NOTE: 6. Indexed: yes.

Target	Result	Date
Doc / Vignettes	OK	Nov 20 2024
R-4.5-win	NOTE	Nov 20 2024
R-4.5-linux	NOTE	Nov 20 2024
R-4.4-win	NOTE	Nov 20 2024
R-4.4-mac	NOTE	Nov 20 2024
R-4.3-win	NOTE	Nov 20 2024
R-4.3-mac	NOTE	Nov 20 2024

Exports:addTobca arrow bca bcaNorm bcaPrint bcaPrintLarge bcaRel bcaTrunc belplau belplauEval belplauH belplauHLogsumexp belplauHQQ belplauLogsumexp belplauPlot bound commonality decode DoSSnames dotprod doubles dsrwon dsrwonLogsumexp elim encode extFrame extmin inters intersBySSName logsum marrayToMatrix matrixToMarray mFromMarginal mFromQQ mFromQQRecursive mobiusInvHQQ nameCols nameCols_prod nameRows nzdsr nzdsrLogsumexp peeling plautrans productSpace reduction shape tabresul ttmatrix ttmatrixFromMarginal ttmatrixFromQQ ttmatrixPartition

Dependencies:cli colorspace cpp11 dplyr fansi farver generics ggplot2 glue gtable isoband labeling lattice lifecycle magrittr MASS Matrix mgcv munsell nlme pillar pkgconfig purrr R6 RColorBrewer rlang scales stringi stringr tibble tidyr tidyselect utf8 vctrs viridisLite withr

Bayes_Rule

Peiyuan Zhu

Rendered fromBayes_Rule.Rmdusingknitr::rmarkdownon Nov 20 2024.

Last update: 2024-07-07
Started: 2024-03-27

Captain_Example

Claude Boivin^[Retired Statistician, Stat.ASSQ]

Rendered fromCaptain_Example.Rmdusingknitr::rmarkdownon Nov 20 2024.

Last update: 2024-06-30
Started: 2020-02-01

Crime_Scene

Peiyuan Zhu

Rendered fromCrime_Scene.Rmdusingknitr::rmarkdownon Nov 20 2024.

Last update: 2024-06-08
Started: 2024-03-27

Crime_Scene_Commonality

Peiyuan Zhu

Rendered fromCrime_Scene_Commonality.Rmdusingknitr::rmarkdownon Nov 20 2024.

Last update: 2024-11-18
Started: 2024-06-08

Evidential_Modelling

Peiyuan Zhu

Rendered fromEvidential_Modelling.Rmdusingknitr::rmarkdownon Nov 20 2024.

Last update: 2024-06-08
Started: 2024-06-08

Holmes_Burglary

Peiyuan Zhu

Rendered fromHolmes_Burglary.Rmdusingknitr::rmarkdownon Nov 20 2024.

Last update: 2024-06-08
Started: 2024-06-08

Introduction to Belief Functions

Claude Boivin^[Retired Statistician, Stat.ASSQ]

Rendered fromIntroduction_to_Belief_Functions.Rmdusingknitr::rmarkdownon Nov 20 2024.

Last update: 2024-04-14
Started: 2020-02-01

Peeling algorithm on Zadeh's Example

Claude Boivin^[Retired Statistician, Stat.ASSQ]

Rendered fromZadeh_Example.Rmdusingknitr::rmarkdownon Nov 20 2024.

Last update: 2024-03-27
Started: 2020-01-23

PJM_example_DSC

Peiyuan Zhu

Rendered fromPJM_example_DSC.Rmdusingknitr::rmarkdownon Nov 20 2024.

Last update: 2024-06-08
Started: 2024-06-08

PJM_example_DSC_Multivalued_Map

Peiyuan Zhu

Rendered fromPJM_example_DSC_Multivalued_Map.Rmdusingknitr::rmarkdownon Nov 20 2024.

Last update: 2024-06-08
Started: 2024-06-08

PJM_example_DSC_Simplified

Peiyuan Zhu

Rendered fromPJM_example_DSC_Simplified.Rmdusingknitr::rmarkdownon Nov 20 2024.

Last update: 2024-06-08
Started: 2024-06-08

Reliability_Proof_Machinery

Peiyuan Zhu

Rendered fromReliability_Proof_Machinery.Rmdusingknitr::rmarkdownon Nov 20 2024.

Last update: 2024-06-08
Started: 2024-06-08

Simple_Implication

Peiyuan Zhu

Rendered fromSimple_Implication.Rmdusingknitr::rmarkdownon Nov 20 2024.

Last update: 2024-08-29
Started: 2024-06-08

Template

Peiyuan Zhu

Rendered fromTemplate.Rmdusingknitr::rmarkdownon Nov 20 2024.

Last update: 2024-06-08
Started: 2024-06-08

The Monty Hall Game

Claude Boivin^[Retired Statistician, Stat.ASSQ]

Rendered fromThe_Monty_Hall_Game.Rmdusingknitr::rmarkdownon Nov 20 2024.

Last update: 2024-09-24
Started: 2020-02-01

The original peter, John and Mary example

Claude Boivin, Stat ASSQ

Rendered fromThe_PJM_example.Rmdusingknitr::rmarkdownon Nov 20 2024.

Last update: 2024-04-14
Started: 2024-03-27

Citation

Development and contributors

Readme and manuals

Help Manual

Help page	Topics
Add some elements of 0 mass to an existing basic chance assignment.	addTobca
The Captain's Problem. 'ads': Relation between variables Arrival (A), Departure delay (D) and Sailing delay (S)	ads
Find upset, downset of a set among a lattice	arrow
Basic chance assignment mass function	bca bpa
Computer norm between two basic chance assignment objects	bcaNorm
Simple printing of the 'tt' matrix and mass values of a basic chance assignment (bca)	bcaPrint
Print summary statistics of large mass functions	bcaPrintLarge
Representation of a mass function in a product space	bcaRel
Truncation of a basic chance assignment mass function	bcaTrunc
Calculation of the degrees of Belief and Plausibility of a basic chance assignment (bca).	belplau
Evaluate A, B errors	belplauEval
Calculate belief, disbelief, unknown, plausibility, plausibility ratio	belplauH
Calculate belief, disbelief, unknown, plausibility, plausibility ratio with logsumexp	belplauHLogsumexp
Compute belief, disbelief, unknown, plausibility, plausibility ratio based on commonality function	belplauHQQ
Calculation of the degrees of Belief and Plausibility of a basic chance assignment (bca) with logsumexp.	belplauLogsumexp
Plot belplau matrix	belplauPlot
Find inf, sup of a lattice	bound
The Captain's Problem. 'swr': Result of the evaluation of the Hypergraph at node Arrival (A)	captain_result
Compute qq from tt	commonality
Find the value in base 10 of a number coded in another base	aplDecode decode
The Captain's Problem. 'dlfm': Relation between variables Departure delay (D), Loading delay (L), Forecast of the weather (F), Maintenance delay (M)	dlfm
Construct subsets names from column names of a tt matrix	DoSSnames
Generalized inner product of two matrices	dotprod
Remove duplicate rows in a two-dimensional table.	doubles
Combination of two mass functions	dsrwon
Combination of two mass functions with logsumexp	dsrwonLogsumexp
Reduction of a relation	elim
Convert a value to its representation in another chosen base	aplEncode encode
Extension of the frame of discernment of a variable	extFrame
Extension of a relation	extmin
The Captain's Problem. 'fw': Relation between variables Forecast of the weather (F) and Weather at sea (W)	fw
Intersection of two tables of propositions	inters
Intersect two vectors of ssnames	intersBySSName
Adding small probabilities	logsum
Transformation of an array data to its matrix representation	marrayToMatrix
Transformation of the tt matrix of a relation	matrixToMarray
Construct m vector of a bca from marginal probabilities	mFromMarginal
Construct a mass vector from qq function.	mFromQQ
Construct a mass vector from qq function and ttmatrix of focal elements recursively.	mFromQQRecursive
Mobius inversion of commonality function	mobiusInvHQQ
The Captain's Problem. 'mrf': Relation between variables No Maintenance (M = false) and Repairs at sea (R)	mrf
The Captain's Problem. 'mrt': Relation between variables Maintenance done (M = true) and Repairs at sea (R)	mrt
Naming the columns of the 'tt' matrix	nameCols
Naming the columns of the 'tt' matrix of a product space	nameCols_prod
Combining the column names of a matrix to construct names for the rows	nameRows
Normalization of a basic chance assignment	nzdsr
Normalization of a basic chance assignment with logsumexp	nzdsrLogsumexp
The peeling algorithm	peeling
Plausibility transformation of the singletons of a frame	plautrans
Product space representation of a relation	productSpace
Summary of a vector for any operator.	aplRDV reduction
Obtain dimensions of an array or length of a vector with a single command	aplShape shape
The Captain's Problem. 'swr': Relation between variables Sailing delay (S), Weather at sea (W), and Repairs at sea (R)	swr
Prepare a table of results	tabresul
Construct a description matrix from a list of subsets names.	ttmatrix
Construct tt matrix of a bca from marginal probabilities	ttmatrixFromMarginal
Construct a description matrix from qq function.	ttmatrixFromQQ
Create partition matrix	ttmatrixPartition

Package: dst 1.8.0

dst: Using the Theory of Belief Functions

Bayes_Rule

Captain_Example

Crime_Scene

Crime_Scene_Commonality

Evidential_Modelling

Holmes_Burglary

Introduction to Belief Functions

Peeling algorithm on Zadeh's Example

PJM_example_DSC

PJM_example_DSC_Multivalued_Map

PJM_example_DSC_Simplified

Reliability_Proof_Machinery

Simple_Implication

Template

The Monty Hall Game

The original peter, John and Mary example

Citation

Development and contributors

Readme and manuals

Help Manual

Usage by other packages (reverse dependencies)