“Krino” from ancient Greek: ‘to distinguish, judge, criticize.’
The high-level schema. How Krino thinks.
To create an inspectable, explainable truth engine that communicates in any natural language.
To make the verification of information accessible and affordable to a wide range of users.
To provide the users with the possibility to enhance, upgrade and improve their cognitive environment.
To support argumentation for any use case or context while maintaining unbiasedness and integrity.
Krino will combine the following fields of expertise:
in particular the framework of Constructive Adpositional Grammars (CAG)
Causal philosophy of science to categorize types of arguments (Causality).
in particular sheaf theory and topos theory, to support and formalize the use of CAG.
high-performance database plus implementations of A.N. Whitehead’s ontology and Judea Pearl’s mathematization of causality in an object-oriented programming language (Java or C++).
for example to the Oxford English Dictionary (OED) and Historical Thesaurus of the OED (HTOED).