From Newsgroup: comp.lang.prolog
Hi,
How it started:
https://conceptbase.sourceforge.net/
How its going:
https://www.ibm.com/products/datastax
The problem with claims such as " Formal languages,
such as KAOS, are based on predicate logic and
capture additional details about an application
in a precise manner. They also provide a foundation
for reasoning with information models." is that
every thing in the quoted sentence is wrong.
Real AI systems scale by approximation,
vectorization, distributed representations,
and partial knowledge — not by globally
consistent logical models. No classical requirements
language or ontology captures the informal
cognitive machinery that makes
intelligence flexible. Intelligence needs the
whole messy cognitive spectrum.
Somehow DataStax looks like n8n married AI embedding.
I hope Amazon, Meta, Google, etc.. get the message.
I don't worry about Microsoft, they might come with
something from their Encarta corner and Copilot+ is
more Local AI. After all we need things like Wikidata
in a Robot and not in a Data Center.
LoL
Bye
--- Synchronet 3.21a-Linux NewsLink 1.2