45 projects
questioning-machine
Machine that asks questions.
machina-observatrix
A machine that observes all the time.
thingking-machine
A Machine that can thingk.
memory-machine
State machine enhancing the memory function of Abstract Intellect.
meta-machina
This machine creates machines.
observer-machine
Observer.
euretikos
Ingenious Inventor
symposium
Interaction of multiple language models
attending-machine
Attending Machine
observing-machine
Observing Machine
rhetorikos
rhetorikos / ῥητορικός - ῥήτωρ (rhḗtōr, “public speaker”) + -ῐκός (-ikós)
hermeneus
Translator from the language of questions to the language of answers.
sequenz
Tools for sequent calculus.
hyperetes
Any person who acted as the assistant of another.
grammateus
A role similar to a scribe or notary.
bibliothekarios
In the Library of Alexandria, librarians were known as βιβλιοθηκάριοι
natural-reasoning
Package description
deciding-machine
Package description
judging-machine
Package description
thinking-machine
Package description
machina-ratiocinatrix
Machina Ratiocinatrix
seven-circumstances
'Seven circumstances' are the foundation of 'inquisitive semantics'.
knowing-machine
The machine that knows the answers to all questions
misunderstanding
Misunderstanding is a failure to understand something correctly.
ignorance
Ignorance is a lack of knowledge or information.
septem-circumstantiae
Septem Circumstantiae
entitas
Package description
metaphora
From Ancient Greek μεταφορά (metaphorá), from μεταφέρω (metaphérō, “I transfer, apply”), from μετά (metá, “with, across, after”) + φέρω (phérō, “I bear, carry”).
quadrilemma
Yes, No, Unknown or Unknowable?
lingua-characteristica-universalis
Lingua Characteristica Universalis
lingua-characteristica
Lingua Characteristica Universalis
calculus-ratiocinator
Calculus Ratiocinator
reasoning-machine
Reasoning Machine
guessing-machine
Guessing Machine
multilogue
Multilogue is a cooperative game of reasoning entities against ignorance, confusion and misunderstanding.
multilectic
The multilogue philosophy with more than two 'truths'
calculemus
Logical verification of probabilistic/language model 'intuitions'.
oraculum-service
Adaptive experimentation with the help of adaptive computations
oracula
Adaptive experimentation with the help of adaptive computations
partletboost
Partlet Boosting
partboost
Simplified Partlet Boosting
partlets
Families of Partlet Functions and Partlet Decomposition of Sequences
partlet
Partlet Decomposition of Sequences
credits
Verification of data together with meticulous tracing of its' sources
pylez
Rules Engine