Reference · The Applied Higher-Order Functions catalogue

rainbow.algorithms.proofs.ahof.network-scoring

The Applied Higher-Order Functions cataloguesrc/rainbow/algorithms/proofs/ahof/network_scoring.clj3 definitions, 2 theorems

AHoF D14 worked additive Bayesian-network scoring. Three nodes with local scores 1/2, 1/4, 1/4 give a decomposed network score of exactly 1. Scope (measured by the kernel): this module has 2 worked instances (statements about specific values). None of its theorems is a guarantee about the algorithm for all inputs; `lein verify rainbow.algorithms.proofs.ahof.network-scoring` prints this classification.

ahof-d14/local-score :
  (x₁ : ℕ)
  → ℚ≥0

ahof-d14/nodes :
  → List ℕ

ahof-d14/score :
  → ℚ≥0

ahof-d14/score-is-one :
  → ahof-d14/score = 1

ahof-d14/network-scoring :
  → proposition/conjunction (ahof-d14/score = 1) (ahof-d14/local-score 0 = nnrat/half)