OverviewFilesCommitsIssuesDocsReleasesPeers

opencog-evidence commits / 98ef97d

Ad some notes
98ef97d9eb52b0c75f0cfabc158a03b80851c6e8
by Linas Vepštas <linasvepstas@gmail.com> · 2025-04-24T22:41:20.000Z

Changed files (1) +58 -0

Design.md +58 -0
……@@ -12,4 +12,62 @@ Social media, via David Marx @digthatdata.bsky.social
1212 * unpopular != wrong
1313 * attention grabbing != important
1414
15Bennnet:
16 * Valence (attraction, repulsion)
17 * "Weakness" vs "simplicity": Weak systems are those that allow more
18 variety of output than strong systems. Weak systems outperform simple
19 systems (by a lot) in training/fitting data.
20 * Weak tools can be employed in a greater variety of tasks.
21
22Paper:
23Investigating the impact of trial retractions on the healthcare evidence ecosystem (VITALITY Study I): retrospective cohort study
24BMJ 2025; 389 doi: https://doi.org/10.1136/bmj-2024-082068 (Published 23 April 2025)
25Abstract
26Objective To investigate the impact of retracted trials on the
27production and use of healthcare evidence in the evidence ecosystem. ...
28
29So this is a specific deep dive into how bad info pollutes the
30evidence-based information ecosystem.
31
32Manuscript Notes
33----------------
34Notes taken while reading:
35Are Biological Systems More Intelligent Than Artificial Intelligence?
36Michael Timothy Bennett
37https://arxiv.org/abs/2405.02325
38
39Section 3.1 of version 4 of the PDF appears to contain a key typo that
40makes it difficult to understand. It says that a "vocabulary" is a
41subset of the set of states. Version 3 correctly defines the
42vocabulary as the a subset of the power set of states.
43
44Recapping the definitions:
45 * There is a set of "states" Phi.
46 * A "program" is a subset of Phi.
47 * A "vocabulary" is a set of programs. It is fixed externally, a
48 priori, by the reader/external observer.
49 * A "language" is the set of all(?) subsets of the vocabulary, such that
50 each subset has a non-empty intersection. That is, each element of
51 the language is a set of programs, such that there is at least one
52 state is common to all programs.
53 * The definition is not clear; he may be defining the "language" to
54 be the union of all ultrafilters. Or he may be defining a language
55 to be the union of just some filters.
56 * A statement is an element of the language. The extension of a
57 statement is the filter containing that statement.
58 * The "weakness" of a statement is the cardinality of it's extension.
59 * ... definitions are a bit garbled and riddled with typos that make
60 comprehension difficult.
61
62I dunno. This paper tries to formulate hierarchical systems in terms of
63filters (as in topology) and boolean algebras thereon, using
64non-standard terminology, but I just don't see where it goes. If I blur
65my eyes, this all just collapses to pretty standard topology. The
66problem is that general topology has many far deeper and far more
67sophisticated statements of which above is a scraping of the surface.
68Alas.
69
70
71Other stuff
72-----------
1573TBD. I am going to write the next blob in Lyx. See where that goes.