- Last 7 days
-
docdrop.org docdrop.org
-
ground atomic formula cyc
-
-
x.com x.com
-
links
with TrailMarks notation 1 can put anything into the lines in 1's own omnipresent IndyWiki
The inks themselves are cyc likebut expanded ground atomic formulas with a simple self-formulating extensible homoiconic syntax along with its own auto-poieticmeta-circular bootstrappable
working "NOTATION PROESSOR" which iteslf is extensibel permanent, evergreen and for-ever co0evolvable
with full recapitulable history of its verifiably attributed history of it's colaborative history an
IndyWiki ** as the Maker App for the IndyWeb**
all concerns are integral and omnioptional, so you will never be locked into a specific conception
change your mind and change the very machinery that you formulated and re-factor, make holesale changes as understanding grows
do that with fullintentional transparency and full suppot for turning intentional conceptionalizations into morphic capabilities and affordances as the need arise and it is fleshed out on its way to be REALized
make it amenable to to the PUN that something that is formulated and fully elaborated in its own explicit terms, language, tool, existing capabilities and methodologies can be deeloped to a software tht is capabile of delivering on the formulated intent
The whole thing is designed with making radical cahnges easy and cheap.
This applies to the very means that the notation orchestrates
Since the interpay between authors rely on exchanges sharing opermanently, irevocably with ful attributon within owned networks of collaborators or audience
all that is needed to change one thing to another named version
future proof forward compatiility can be ensured/
-
- Jul 2026
-
x.com x.com
-
building knowledge that compounds -- and the graph layer is what makes it scale.
yes but what's in a name, sat's in a link, Are te critical questions
Cyc was right with atomic formulas for capturing trails
But instead of trying to create standard, create homiconic ways to create extend revicsse notations that drives the creation of aormulas
-
- Jul 2025
-
groups.csail.mit.edu groups.csail.mit.edu
-
formula
Hence we need ground atomic incomplete co-evolving formulas
as in cyc
need an informal notation to eveolve from intutiive formulations to eventually eplicit coherent, complete consistent potentially eventully effective formlas
-
- Mar 2025
-
www.youtube.com www.youtube.com
-
an exercise in large scale knowledge based development
large scale knowledge base
cyc was right in proposing that ground atomic formulas can capture a lot of knowledge
empower humans to use a notation that has that power
that's TrailMarks or Clue Marks or IntentMarks are all about
for Opidox Intentional clueful Mark in notaions and innotations
-
- Oct 2024
-
www.youtube.com www.youtube.com
-
some ground atomic formula which is just a the name of a relation and a few arguments and so on and so converting commonly occurring types or schemas of rules into brand new predicates brand new functions turns out to enormously speed up the inference process
one of the most important 150 good ideas in Cycthe secret source/souce behind TrailMarks
but instead of doing it in a closed system open it to the entire web, the Flipped Web, the IndyWeb so that people can weave their Own(ed) born multiplayer collaborative personal first indranet.work spaces
so that we can find the Other and toGether Gather what we need when we need them to make sense of the world and act with CARE
realizing Matt Saiia#s dream world
and doing the job of really making better Maps understanding then Nets frontier
as Engelbart challenged Gooegle when he said
https://hypothes.is/a/9_SmgCDKEeuXxO8mN5IZmA
Google might be proudly say okay we're doing a lot to help people find things out on that front error and okay but then who's 00:17:43 doing the job of really making better Maps understanding the frontier
https://www.youtube.com/clip/Ugkxl0MlTULCcBksvouYsJBcpJfLinFUjOcm
-
