commit 0eae7ee6150653953c12e97c04b4522319ad4b06
parent 7cddba2f7eaf008c89c5491270b0d3effa2f341e
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Sun, 29 Dec 2024 16:33:50 +0100
commit with codex
Diffstat:
8 files changed, 43 insertions(+), 10 deletions(-)
diff --git a/formal_language b/formal_language
@@ -17,4 +17,4 @@ Up: [formal_language_theory]
See also: [neutral_letter]
-Aliases: formal languages
+Aliases: formal languages, language formal, languages formal
diff --git a/locally_testable_language b/locally_testable_language
@@ -16,3 +16,5 @@ Membership is decidable in [ptime] with algebraic characterization, cf [schutzen
- mTT+MOD dans place2013separating, where you can further count [modulo] a certain value
See also: [piecewise_testable_language], [local_language], [suffix_testable_language], [prefix_testable_language]
+
+Up: [formal_language]
diff --git a/maximum_a_posteriori b/maximum_a_posteriori
@@ -3,3 +3,5 @@
On [ddnnf], tractable : upwards then downwards
See also: [message_passing], [marginal_maximum_a_posteriori]
+
+Up: [probabilistic_inference]
diff --git a/pattern_language b/pattern_language
@@ -1,6 +1,6 @@
# Pattern language
-[language_formal] defined as the set of [words] that can be obtained by [substituting] the variables of a [pattern_with_variables]
+[Formal_language] defined as the set of [words] that can be obtained by [substituting] the variables of a [pattern_with_variables]
Two variants:
@@ -9,6 +9,8 @@ Two variants:
Problems: [pattern_language_computational_problems]
-variant erasing vs non-erasing
+Variants: [pattern_language_erasing] vs [pattern_language_nonerasing]
Aliases: pattern languages
+
+Up: [formal_language]
diff --git a/probabilistic_graphical_model b/probabilistic_graphical_model
@@ -0,0 +1,7 @@
+# Probabilistic graphical model
+
+- [bayes_network]
+- [markov_logic_network]
+- [sum_product_network]
+
+Up: [probabilities]
diff --git a/probabilistic_inference b/probabilistic_inference
@@ -0,0 +1,7 @@
+# Probabilistic inference
+
+- [maximum_a_posteriori]
+- [conditioning]
+- [marginal_computation]
+
+Up: [probability]
diff --git a/probabilistic_model b/probabilistic_model
@@ -0,0 +1,13 @@
+# Probabilistic model
+
+- [probabilistic_graphical_model]
+ - [bayes_network]
+ - [markov_logic_network]
+- [probabilistic_circuit]
+- [determinantal_point_process]
+
+Up: [probabilities]
+
+Aliases: probabilistic models
+
+See also: [probabilistic_database_model]
diff --git a/probabilities b/probabilities
@@ -1,16 +1,13 @@
# Probabilities
-[probabilistic_model]s:
-- [bayes_network]
-- [markov_logic_network]
-- [probabilistic_circuit]
-- [determinantal_point_process]
+[probabilistic_model]
Tasks:
- [pqe]
-- [maximum_a_posteriori]
-- [marginal]
+- [probabilistic_inference]
+ - [maximum_a_posteriori]
+ - [marginal_computation]
Algorithms:
@@ -22,6 +19,7 @@ Concepts:
- [random_variable]
- [probability_outcome]
- [probability_distribution]
+- [marginal_distribution]
Results:
@@ -31,3 +29,5 @@ Results:
Up: [mathematics]
See also: [probabilistic_databases], [random_variable], [algorithm_randomized], [randomness]
+
+Aliases: probability