Groups
Groups
Sign in
Groups
Groups
ontolog-forum
Conversations
About
Send feedback
Help
Sort By Relevance
Sort By Date
1–30 of many
Michael DeBellis
, …
Paul Tyson
11
Apr 20
Domain Driven Design
John F
Sowa
wrote: > > Paul, > > I have never used Google AI to answer a complex question about > logic, but I thought that it might find useful information from > published
unread,
Domain Driven Design
John F
Sowa
wrote: > > Paul, > > I have never used Google AI to answer a complex question about > logic, but I thought that it might find useful information from > published
Apr 20
John F Sowa
, …
Ray Martin
4
Apr 20
Revolution in AI software
John F
Sowa
<
sowa
@bestweb.net> wrote: There is much more to say about all these issues. And I strongly recommend the Wikipedia article for a summary: https://en.wikipedia
unread,
Revolution in AI software
John F
Sowa
<
sowa
@bestweb.net> wrote: There is much more to say about all these issues. And I strongly recommend the Wikipedia article for a summary: https://en.wikipedia
Apr 20
Alex Shkotin
, …
John F Sowa
41
Apr 2
Let's do it!
of the
LLM
search. There is over 60 years of symbolic AI research. Neurosymbolic methods are often more reliable and faster than searching massive amounts of repetitive and often erroneus
unread,
Let's do it!
of the
LLM
search. There is over 60 years of symbolic AI research. Neurosymbolic methods are often more reliable and faster than searching massive amounts of repetitive and often erroneus
Apr 2
John F Sowa
, …
David Poole
4
Mar 25
LLMs, VLM, and other acronyms
John F
Sowa
> wrote: >> >> Today's talk for the Ontology Summit mentioned VLMs and LLMs. There are many more related acronyms. Following is a list. Source: https
unread,
LLMs, VLM, and other acronyms
John F
Sowa
> wrote: >> >> Today's talk for the Ontology Summit mentioned VLMs and LLMs. There are many more related acronyms. Following is a list. Source: https
Mar 25
John F Sowa
, …
Ravi Sharma
11
Mar 25
Book review: Language Is Gesture by: David McNeill
John F
Sowa
wrote: > Barry, > > There is a huge difference between a few cutting-edge special cases and > widespread adoption of a general purpose solution. > > Wolfram
unread,
Book review: Language Is Gesture by: David McNeill
John F
Sowa
wrote: > Barry, > > There is a huge difference between a few cutting-edge special cases and > widespread adoption of a general purpose solution. > > Wolfram
Mar 25
John F Sowa
, …
Alex Shkotin
6
Mar 14
Doug Lenat, the Cyc Project, and Permion Inc.
John F
Sowa
wrote: > >> > >>> Doug Lenat had presented a talk at the 2022 Ontology Summit before > >>> he died in 2023, Over the years, he and I had interacted
unread,
Doug Lenat, the Cyc Project, and Permion Inc.
John F
Sowa
wrote: > >> > >>> Doug Lenat had presented a talk at the 2022 Ontology Summit before > >>> he died in 2023, Over the years, he and I had interacted
Mar 14
Gary Berg-Cross
, …
Alex Shkotin
19
Mar 15
a bit more on World model versus ontology discussion from last weeks Ontology Summit discussion
to the
LLM
methods. This is a topic that Arun Majumdar and I will be discussing in April, and it would be good if we could get a talk about how Cycorp is relating the two kinds of representations
unread,
a bit more on World model versus ontology discussion from last weeks Ontology Summit discussion
to the
LLM
methods. This is a topic that Arun Majumdar and I will be discussing in April, and it would be good if we could get a talk about how Cycorp is relating the two kinds of representations
Mar 15
John F Sowa
Feb 18
AI in the workplace
month in
LLM
bills?" he wrote. Raad, who also created OpenCode, an open-sourced AI coding tool, said that people shouldn't mistake his criticism of AI. "so many people
unread,
AI in the workplace
month in
LLM
bills?" he wrote. Raad, who also created OpenCode, an open-sourced AI coding tool, said that people shouldn't mistake his criticism of AI. "so many people
Feb 18
Michael DeBellis
, …
John F Sowa
28
Jan 30
Data Mesh and Data Fabric
John F
Sowa
wrote: > > Ravi, Michael, Mark, > > Every communication in any notation of any kind is based on some ontology at some level. > > Michael: can you explain
unread,
Data Mesh and Data Fabric
John F
Sowa
wrote: > > Ravi, Michael, Mark, > > Every communication in any notation of any kind is based on some ontology at some level. > > Michael: can you explain
Jan 30
John F Sowa
Jan 22
What the numbers show about AI's Harms
inherent in
LLM
technology when used as the primary or only version of AI. The most secure AI systems mitigate or avoid these problems by using traditional symbolic AI technology as
unread,
What the numbers show about AI's Harms
inherent in
LLM
technology when used as the primary or only version of AI. The most secure AI systems mitigate or avoid these problems by using traditional symbolic AI technology as
Jan 22
Kingsley Idehen
, …
Jans Aasman
7
Jan 5
NotebookLM -- A breakout GenAI Tool for enhanced communications.
with >
LLM
-powered tooling aimed at improving communication and related workflows. > > Kingsley > On 1/1/26 9:51 PM, John F
Sowa
wrote: > > Jans and Kingsley, >
unread,
NotebookLM -- A breakout GenAI Tool for enhanced communications.
with >
LLM
-powered tooling aimed at improving communication and related workflows. > > Kingsley > On 1/1/26 9:51 PM, John F
Sowa
wrote: > > Jans and Kingsley, >
Jan 5
John F Sowa
, …
Simon Polovina
7
11/3/25
Computable Contracts for Insurance: Establishing an Insurance-Specific Controlled Natural Language
originally developed
LLM
technology as a major improvement for language translation, both natural and artificial. For that purpose, it has been an outstanding success. It's
unread,
Computable Contracts for Insurance: Establishing an Insurance-Specific Controlled Natural Language
originally developed
LLM
technology as a major improvement for language translation, both natural and artificial. For that purpose, it has been an outstanding success. It's
11/3/25
John F Sowa
, …
Nadin, Mihai
4
10/13/25
The AI Bubble
John F
Sowa
wrote: se amounts of $$$ have been poured down the AI drain in hopes that something spectacular will happen. This kind of overinvestment has caused periodic Boom & Bust
unread,
The AI Bubble
John F
Sowa
wrote: se amounts of $$$ have been poured down the AI drain in hopes that something spectacular will happen. This kind of overinvestment has caused periodic Boom & Bust
10/13/25
Kingsley Idehen
, …
Alex Shkotin
14
10/12/25
RDF finally has its long awaited Generic Client!
John F
Sowa
: >> >>> Alex, >>> >>> Wolfram and others make an important check to avoid those errors. >>> >>> Wolfram translates
unread,
RDF finally has its long awaited Generic Client!
John F
Sowa
: >> >>> Alex, >>> >>> Wolfram and others make an important check to avoid those errors. >>> >>> Wolfram translates
10/12/25
John F Sowa
, …
Alex Shkotin
6
10/1/25
LLMs, by themselves, are not intelligent
John F
Sowa
(
sowa
@bestweb.net) kirjoitti: > >> Alex, >> >> What I did was to call the company that used that service. Then I >> explained that the service
unread,
LLMs, by themselves, are not intelligent
John F
Sowa
(
sowa
@bestweb.net) kirjoitti: > >> Alex, >> >> What I did was to call the company that used that service. Then I >> explained that the service
10/1/25
John F Sowa
9/6/25
is the AI bubble about to burst?
of the
LLM
-based AI technology. I agree with his negative evaluation of AI systems that use only LLMs and large volumes of data from which the LLMs find or generate answers to any requests
unread,
is the AI bubble about to burst?
of the
LLM
-based AI technology. I agree with his negative evaluation of AI systems that use only LLMs and large volumes of data from which the LLMs find or generate answers to any requests
9/6/25
John F Sowa
, …
Alex Shkotin
18
9/5/25
AI and psychological impact
John F
Sowa
: > Alex, > > There are infinitely many finite models. In fact, it's impossible to > observe or compute more than a finite number of instances. That implies
unread,
AI and psychological impact
John F
Sowa
: > Alex, > > There are infinitely many finite models. In fact, it's impossible to > observe or compute more than a finite number of instances. That implies
9/5/25
John F Sowa
8/23/25
Dangers of using ChatTPT in education
applications of
LLM
technology, but methods that allow people -- especially students -- to avoid thinking for themselves weaken their ability to learn and think in deeper and more
unread,
Dangers of using ChatTPT in education
applications of
LLM
technology, but methods that allow people -- especially students -- to avoid thinking for themselves weaken their ability to learn and think in deeper and more
8/23/25
John F Sowa
, …
Kingsley Idehen
3
8/8/25
Why large language models hallucinate
of an
LLM
, an approach as used in the latest version of law analysis in the Netherlands. In short: 1. Definitions of the TERMS used in the data definitions, derivation rules and processes
unread,
Why large language models hallucinate
of an
LLM
, an approach as used in the latest version of law analysis in the Netherlands. In short: 1. Definitions of the TERMS used in the data definitions, derivation rules and processes
8/8/25
Alex Shkotin
, …
John F Sowa
18
7/26/25
Computable Contracts for Insurance: Establishing an Insurance-Specific Controlled Natural Language - InsurLE
John F
Sowa
: > Alex, > > I am not saying that the general goal is bad. In fact, it is a very > important and very difficult research issue. > > That is why I keep repeating
unread,
Computable Contracts for Insurance: Establishing an Insurance-Specific Controlled Natural Language - InsurLE
John F
Sowa
: > Alex, > > I am not saying that the general goal is bad. In fact, it is a very > important and very difficult research issue. > > That is why I keep repeating
7/26/25
John F Sowa
, …
Philip Jackson
5
7/5/25
News about Apple and Amazon
John F
Sowa
Sent: Friday, July 4, 2025 12:05 AM To: ontolog-forum ; CG Subject: [ontolog-forum] News about Apple and Amazon Two items from the newsletter by Anand Sanwal show current
unread,
News about Apple and Amazon
John F
Sowa
Sent: Friday, July 4, 2025 12:05 AM To: ontolog-forum ; CG Subject: [ontolog-forum] News about Apple and Amazon Two items from the newsletter by Anand Sanwal show current
7/5/25
John F Sowa
,
Mike Bergman
6
7/3/25
Elon's fact checker keeps checking him
John F
Sowa
wrote: > Mike, > > You wrote "you tend to have a didactic style that I have noted before > is off-putting." When I'm writing a note to a friendly
unread,
Elon's fact checker keeps checking him
John F
Sowa
wrote: > Mike, > > You wrote "you tend to have a didactic style that I have noted before > is off-putting." When I'm writing a note to a friendly
7/3/25
John F Sowa
, …
Alex Shkotin
28
7/4/25
Apple pulled the plug on AI hype
John, From "All those rules are versions of deduction." I got that you are simply classifying any real particular rule of knowledge
unread,
Apple pulled the plug on AI hype
John, From "All those rules are versions of deduction." I got that you are simply classifying any real particular rule of knowledge
7/4/25
alex.shkotin
, …
John F Sowa
9
6/16/25
Trinity: An Autoformalization System for Verified Superintelligence
John F
Sowa
wrote: > Neven, Alex, Anatoly, > > These systems are very useful and they are getting better. But they are > very, very far from superintelligence. Unfortunately
unread,
Trinity: An Autoformalization System for Verified Superintelligence
John F
Sowa
wrote: > Neven, Alex, Anatoly, > > These systems are very useful and they are getting better. But they are > very, very far from superintelligence. Unfortunately
6/16/25
John F Sowa
,
Ravi Sharma
3
5/10/25
A.I. Is Getting More Powerful, but Its Hallucinations Are Getting Worse
John F
Sowa
wrote: > Following is a note I sent to another email list, and I thought it would > also be useful for the Ontolog and CG lists. In fact, the three links > below are to
unread,
A.I. Is Getting More Powerful, but Its Hallucinations Are Getting Worse
John F
Sowa
wrote: > Following is a note I sent to another email list, and I thought it would > also be useful for the Ontolog and CG lists. In fact, the three links > below are to
5/10/25
John F Sowa
,
Alex Shkotin
2
3/20/25
AI agent problems
component is
LLM
is a fact, but what is there is still unknown. My opinion: they almost certainly use some filters for the results issued by
LLM
. This began with the fact that
LLM
began
unread,
AI agent problems
component is
LLM
is a fact, but what is there is still unknown. My opinion: they almost certainly use some filters for the results issued by
LLM
. This began with the fact that
LLM
began
3/20/25
alex.shkotin
, …
David Whitten
21
3/7/25
Formalizing Mechanics
John F
Sowa
: >>> >>>> Alex, >>>> >>>> I agree that any ontology implemented on a digital computer cannot be >>>> informal
unread,
Formalizing Mechanics
John F
Sowa
: >>> >>>> Alex, >>>> >>>> I agree that any ontology implemented on a digital computer cannot be >>>> informal
3/7/25
John F Sowa
, …
Polovina, Simon (BTE)
4
2/28/25
Ontology Summit talk by Majumdar and Sowa
beyond just
LLM
processing. Unlike most people who wrote opinions about DeepSeek, Arun had studied the publications by the DeepSeek developers. His talk is one of the very few presentations
unread,
Ontology Summit talk by Majumdar and Sowa
beyond just
LLM
processing. Unlike most people who wrote opinions about DeepSeek, Arun had studied the publications by the DeepSeek developers. His talk is one of the very few presentations
2/28/25
John F Sowa
, …
Kingsley Idehen
12
2/24/25
Elon Musk's Grok 3
John F
Sowa
wrote: > A hybrid system that combines LLMs with symbolic reasoning provides > the best of both worlds. And it does so with just a tiny fraction of > the amount of Nvidia
unread,
Elon Musk's Grok 3
John F
Sowa
wrote: > A hybrid system that combines LLMs with symbolic reasoning provides > the best of both worlds. And it does so with just a tiny fraction of > the amount of Nvidia
2/24/25
Gary Berg-Cross
, …
Alex Shkotin
11
2/27/25
Daniel Everett on the problem of standardizing vocabularies
approach with
LLM
-based methods for translating languages of any kind -- natural, logical, diagrammatic, multidimensional, and perceptual (as mapped to and from sensory input
unread,
Daniel Everett on the problem of standardizing vocabularies
approach with
LLM
-based methods for translating languages of any kind -- natural, logical, diagrammatic, multidimensional, and perceptual (as mapped to and from sensory input
2/27/25