From Newsgroup: comp.lang.prolog

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

--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.lang.prolog

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

--- Synchronet 3.21a-Linux NewsLink 1.2