Of Marblerhythmes and Fungal Networks - A Tale of the Present
A fantasy world, in which social web, semantic web, agentic web and world wide web all co-exist, with competing factions for each web paradigm (Fedi Tribes - Decentral social networks, Inference Nomads - Semantic Web Technology/Declarative Programming, Fungi Nation - Machine Learning and Marble Kingdom - Incremental Programming/Web Technology).
The Inference Engine (GOFAIPunk, FirstOrderLogicPunk, OntologyPunk, SemanticWebPunk)
ACE Logic Calculator - Full Workflow with neuro-symbolic CSV-Import-Mapping- and Query-Assistant
ACE Logic Calculator - With Neuro-Symbolic Assistant
ACE Logic Calculator - Demo
ACE Logic Calculator - Demo
From Pocket-Inferer to SemanticWebBrowser: Incremental development of a user-friendly, deterministic, language-interface-based, web-paradigm-agnostic, IDE-like, energy-efficient Web-Browser
Why do official clerks not have the equivalent of a calculator like engineers do but for inference? The fundamental idea of this paper is for ChatGPT-like apps to lose natural language for less energy consumption and more determinism in their answers based on controlled natural languages like ACE; and to capture this new paradigm in a new type of browser that has natural language as its primary interface, here called a semantic web-first browser. The idea is proposed in several design steps, beginning with a simple to use calculator-like program to do inference with natural language (pocket-inferer), for which, when a programmer-mode is turned on, transforms into an IDE-like ACE-editor. The idea is then further developed into a semantic web browser, which can also reference data and queries from the semantic web and later, it is philosphised how a web-paradigm agnostic SemanticWebBrowser could be realized. This poses a fundamental anthesis to ChatGPT-like apps and LLM-centered visions for the WWW with the biggest merit being to tradeoff natural language for more precision and less energy-consumption through controlled natural language. The five main points this paper makes are: - 1. AI browsers with their high energy consumption are not suitable for daily usage (not in the near future, if ever). - 2. There has not yet been found a sufficient interface for the semantic web to be appealing to end-users and reach wider adoption - 3. Controlled natural language like ACE could serve well as a main interface for semantic data, because they manage to capture the potential of semantic web data better than any visualization ever could - 4. The best application for this approach would be a new kind of browser, which realizes “language as an interface” for the semantic web - 5. Derived from language as the main interface, the browser needs to center around the interaction with language and therefore look like a text editor or IDE. - 6. While showing the merits of the semantic web, the browser should also be “backwards compatible” with the traditional world wide web. It is largely based on the following work: Kaarel Kaljurand. “Attempto Controlled English as a Semantic Web Language” (2007).
Combining "Neural | Symbolic" and "Attempto Controlled English" to achieve human readable and editable neuro-symbolic AI systems
Combining "Neural | Symbolic" and "Attempto Controlled English" to achieve human readable and editable neuro-symbolic AI systems
This idea combines a neuro-symbolic AI system (take a LLM and use it to generate logical code; then make inferences from it, see Neural | Symbolic Type) with Attempto Controlled English, which is a controlled natural language that looks like English but is formally defined and as powerful as first order logic. The main benefit is that the result of the transformation from document/natural language to the logical language would be readable by not IT experts, as well as editable. They could check the result, add their own rules and facts, as well as queries. I created a small prototype to show in which direction it would be going (heavily work in progress though). What do you think of this? Would love to here your opinions :)
