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

Groups > comp.lang.prolog > #14951 > unrolled thread

From Framing to Mirroring [AI Boom]

Back to article view | Back to comp.lang.prolog

Contents

  From Framing to Mirroring [AI Boom] Mild Shock <janburse@fastmail.fm> - 2025-10-31 11:15 +0100
    Crashing ivory towers: Computer Algebra (Re: From Framing to Mirroring [AI Boom]) Mild Shock <janburse@fastmail.fm> - 2025-10-31 11:48 +0100
      Using ChatGPT to Develop Revit Families (Was: Crashing ivory towers: Computer Algebra) Mild Shock <janburse@fastmail.fm> - 2025-10-31 14:32 +0100

#14951 — From Framing to Mirroring [AI Boom]

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 

[toc] | [next] | [standalone]

#14952 — Crashing ivory towers: Computer Algebra (Re: From Framing to Mirroring [AI Boom])

Hi,

The novel enviroment of the AI Boom has even
reached some ivory towers of symbolic
rational reasoning, such as computer algebra:

"The SCML publishing forum is dedicated to
all research that strives to combine Symbolic
Computation (SC) and Machine Learning (ML)
as two major approaches to "Artificial Intelligence",
in particular the application of ML to SC, the
application of SC to ML, and the hybrid combination of
SC and ML to solving problems. We consider
submissions that explore the interaction between
the two fields - not standalone works on either SC or ML."
https://scml.risc.jku.at

My speculation, it will also cause a futhrer iteration of
Generative AI in Architecture. Architecture saw already
booms of Generative AI in the past. But we might find novel
AI boom techniques more ubiquitious in tools like for example:

Introduction to Family Editor
This video introduces the Revit 2015 Family
Editor by creating a simple table.
https://www.youtube.com/watch?v=yLnnosXurxk

Disclaimer: Didn't check what is already around

Not only Architecture, also most Engineering will be
affected. We already see in certain domains faster
time to market of fancy product variants. No wonder
Elon Musk presented DGX Sparc in a SpaceX hangar.

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 
> 

[toc] | [prev] | [next] | [standalone]

#14953 — Using ChatGPT to Develop Revit Families (Was: Crashing ivory towers: Computer Algebra)

Hi,

Ok I wasn't day dreaming. The fusion happens already:

Using ChatGPT to Develop Revit Families
https://www.youtube.com/watch?v=fkm8Ed9djmM

And what impressed Bruno Buchberger? Maybe this here:

Is ChatGPT Smarter Than Master’s Applicants?
https://www3.risc.jku.at/publications/download/risc_6684/23-04.pdf

Bye

Mild Shock schrieb:
> Hi,
> 
> The novel enviroment of the AI Boom has even
> reached some ivory towers of symbolic
> rational reasoning, such as computer algebra:
> 
> "The SCML publishing forum is dedicated to
> all research that strives to combine Symbolic
> Computation (SC) and Machine Learning (ML)
> as two major approaches to "Artificial Intelligence",
> in particular the application of ML to SC, the
> application of SC to ML, and the hybrid combination of
> SC and ML to solving problems. We consider
> submissions that explore the interaction between
> the two fields - not standalone works on either SC or ML."
> https://scml.risc.jku.at
> 
> My speculation, it will also cause a futhrer iteration of
> Generative AI in Architecture. Architecture saw already
> booms of Generative AI in the past. But we might find novel
> AI boom techniques more ubiquitious in tools like for example:
> 
> Introduction to Family Editor
> This video introduces the Revit 2015 Family
> Editor by creating a simple table.
> https://www.youtube.com/watch?v=yLnnosXurxk
> 
> Disclaimer: Didn't check what is already around
> 
> Not only Architecture, also most Engineering will be
> affected. We already see in certain domains faster
> time to market of fancy product variants. No wonder
> Elon Musk presented DGX Sparc in a SpaceX hangar.
> 
> 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 
>>
> 

[toc] | [prev] | [standalone]

Back to top | Article view | comp.lang.prolog

csiph-web