Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > sci.logic > #342029

How to not be Artificial Intelligent [Boris the Loris deeply shocked] (Re: Philosophical Twist due to negligence)

Cross-posted to 3 groups.

Show all headers | View raw

Hi,

How it started, some useless GOFAI framing and
production systems lore:

Computational Logic and Human Thinking:
How to Be Artificially Intelligent
https://www.cambridge.org/core/books/computational-logic-and-human-thinking/C2AFB0483D922944067DBC76FFFEB295

How its going, please note CodeMender from Google:

New Google Riftrunner AI (Gemini 3) Shocks Everyone
https://www.youtube.com/watch?v=F_YWQ12qQ8M

Especially note the section about CodeMender(*), and AI
built on Gemini, which does inspect and suggest changes
to OpenSource projects.

So whats the rule of predicting the future in AI. Well
just take skeptics, like Boris the Loris (**) (nah we don't
use Fuzzy Testing here, CodeMender uses this among other

methods), Linus Torwald (nah, AI for OpenSource is still
far away, CodeMender is here) etc.. Negate what they are
saying and you get a perfect prediction for 2025 / 2026.

LoL

Bye

(*) Already *old* anouncement from October 6, 2025:

Introducing CodeMender: an AI agent for code security
https://deepmind.google/blog/introducing-codemender-an-ai-agent-for-code-security/

(**) Ok, when you don't find Boris the Loris on
SWI-Prolog discourse, you might find him here:

Hello. My name is Boris and this is my family. We're
lorises and we are primates - a bit like small
monkeys. We tend to move quite slowly which is
why we are Slow Lorises. We have big eyes so we
can see well in the dark to catch insects for our dinner.

My name... is Boris
https://x.com/mrborisloris

Mild Shock schrieb:
> Hi,
> 
> Descartes’ “divide problems into parts” works
> only for well-behaved, linear, decomposable systems.
> But its just that parts might end up as Schrödingers
> 
> equation. It could be that stable diffusion is the
> new constraint solver. In a sense, stable diffusion
> models (or other generative AI) are functioning as
> 
> probabilistic, fuzzy constraint solvers — but in a
> very different paradigm from classical logic or
> formal methods. But what was neglected?
> 
> - Cybernetics (1940s–50s)
> Focused on feedback loops, control, and self-regulation
> in machines and biological systems. Showed that
> decomposition can fail because subparts are interdependent.
> 
> - Chaos Theory (1960s–80s)
> Nonlinear deterministic systems can produce unpredictable,
> sensitive dependence on initial conditions. Decomposition
> into parts is tricky: small errors explode, and “solving
> subparts” may not help predict the whole.
> 
> - Santa Fe Institute & Complex Systems (1980s–present)
> Studied emergent behavior, networks, adaptation,
> self-organization. Linear, reductionist thinking fails
> to capture dynamics of economic, social, and ecological systems.
> 
> Bye
> 
> Mild Shock schrieb:
>> 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
> 

Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Rene Descartes "Discours de la méthode" has fizzled out Mild Shock <janburse@fastmail.fm> - 2025-11-14 11:27 +0100
  Philosophical Twist due to negligence (Re: Rene Descartes "Discours de la méthode" has fizzled out) Mild Shock <janburse@fastmail.fm> - 2025-11-14 11:44 +0100
    Re: Philosophical Twist due to negligence (Re: Rene Descartes "Discours de la méthode" has fizzled out) Ross Finlayson <ross.a.finlayson@gmail.com> - 2025-11-14 11:10 -0800
      NY is the next Detroit in 2035 (Was: Philosophical Twist due to negligence) Mild Shock <janburse@fastmail.fm> - 2025-11-14 23:12 +0100
        Its a little sad story with NY (Was: NY is the next Detroit in 2035) Mild Shock <janburse@fastmail.fm> - 2025-11-14 23:25 +0100
          Re: Its a little sad story with NY (Was: NY is the next Detroit in 2035) Mild Shock <janburse@fastmail.fm> - 2025-11-14 23:45 +0100
    How to not be Artificial Intelligent [Boris the Loris deeply shocked] (Re: Philosophical Twist due to negligence) Mild Shock <janburse@fastmail.fm> - 2025-11-16 11:24 +0100
      Abstraction refinement (CEGAR) etc.. [Community Blind Spot] (Was: How to not be Artificial Intelligent) Mild Shock <janburse@fastmail.fm> - 2025-11-16 12:05 +0100
        The illusion of set theories [Computational Logic Primate] (Was: Abstraction refinement (CEGAR) etc.. [Community Blind Spot]) Mild Shock <janburse@fastmail.fm> - 2025-11-16 13:08 +0100
          Not all logicians are primarily interested in "computation" (Re: The illusion of set theories [Computational Logic Primate]) Mild Shock <janburse@fastmail.fm> - 2025-11-16 16:32 +0100
  AnythingLLM QNN/ONNX: Massiv Computations versus John Sowa (Re: Rene Descartes "Discours de la méthode" has fizzled out) Mild Shock <janburse@fastmail.fm> - 2025-11-25 20:07 +0100
    Benchmark results DirectML versus QNN [Challenge for Geekbench AI] (Re: AnythingLLM QNN/ONNX: Massiv Computations versus John Sowa) Mild Shock <janburse@fastmail.fm> - 2025-11-25 20:17 +0100

csiph-web