blue_berry

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 :)

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; for the user to be able to modify this trade-off-ratio at will based on LLMs (which is not possible when starting from a ChatGPT-like app); 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.