Groups | Search | Server Info | Login | Register


Groups > sci.logic > #342965

Tensor Logic "Unifies" AI Paradigms [Pedro Domingos] (Re: From Framing to Mirroring [AI Boom])

From Mild Shock <janburse@fastmail.fm>
Newsgroups sci.logic, comp.lang.prolog, sci.math
Subject Tensor Logic "Unifies" AI Paradigms [Pedro Domingos] (Re: From Framing to Mirroring [AI Boom])
Date 2025-12-08 15:52 +0100
Message-ID <10h6on1$1b491$1@solani.org> (permalink)
References <10e21u9$rqts$1@solani.org>

Cross-posted to 3 groups.

Show all headers | View raw


Hi,

Current AI is split between two worlds that don't play well together:

Deep Learning (neural networks, transformers, ChatGPT) - great at 
learning from data, terrible at logical reasoning
Symbolic AI (logic programming, expert systems) - great at logical 
reasoning, terrible at learning from messy real-world data

Tensor Logic unifies both. It's a single language where you can:
Write logical rules that the system can actually learn and modify
Do transparent, verifiable reasoning (no hallucinations)
Mix "fuzzy" analogical thinking with rock-solid deduction

The Killer Feature: The Temperature Knob

https://www.youtube.com/watch?v=4APMGvicmxY

Bye

Mild Shock schrieb:
> Hi,
> 
> The English had Aristoteles (*), the French had
> Descartes, and the Dutch have their national
> Flag. The culmination of the Enlighment was
> 
> the distinction between analytic and synthetic
> truth. But this doesn't help to understand
> Generative AI, which produces a mish mash
> 
> of the factual and the plausible. But the logical
> and non-logical distinction lead to abominations
> like ascribing to Wittgenstein the maxim,
> 
> "All logical differences are big differences", with
> the even worse conjecture "All nonlogical differences
> are small differences". But an early conceptual
> 
> prototype of ChatGPT was given by:
> 
> "Mirror (**) Mirror on the Wall who is the Fairest of them All?"
> - Snow White, Brothers Grim
> 
> So its all about retrieving mirror texts and images and
> transforming them, the retrieval having good old metrics like
> recall and precision, and the transformation having also metrics,
> 
> metrics all relative to a group preferences assumption of
> the end-user, so that the end-user can more cost effictively
> and more market penetratingly act, in a totally
> 
> new AI Boom infected environment.
> 
> Bye
> 
> (*)
> we have powers and faculties fitted to deal with
> them, and are **happy or miserable** in proportion
> as we know how to **frame** a right judgment of things
> The elements of logic. In four books
> by Duncan, William, 1717-1760
> https://archive.org/details/elementsoflogic00dunc/page/n5/mode/2up
> 
> (**)
> 
> An earlier version of "Mirrors" (Chapter 7) was written for a
> volume in honor of Thomas A. Sebeok (He was among the
> founders of biosemiotics, and coined the term "zoosemiotics"
> in 1963 to describe the development of signals and signs by
> non-human animal species) for his sixty-fifth birthday.
> Umberto Eco, ''Semiotics and the Philosophy of Language'',
> Bloomington: Indiana U.P., 1984
> https://monoskop.org/images/b/b3/Eco_Umberto_Semiotics_and_the_Philosophy_of_Language_1986.pdf 
> 

Back to sci.logic | Previous | NextNext in thread | Find similar


Thread

Tensor Logic "Unifies" AI Paradigms [Pedro Domingos] (Re: From Framing to Mirroring [AI Boom]) Mild Shock <janburse@fastmail.fm> - 2025-12-08 15:52 +0100
  From Turing-Test to Birch++-Test [Professor Yang-Hui He] (Was: Tensor Logic "Unifies" AI Paradigms [Pedro Domingos]) Mild Shock <janburse@fastmail.fm> - 2025-12-10 14:54 +0100
    Where did the Neuron in Turing Machine come from? (Was: From Turing-Test to Birch++-Test [Professor Yang-Hui He]) Mild Shock <janburse@fastmail.fm> - 2025-12-10 15:00 +0100

csiph-web