Groups
Groups
Sign in
Groups
Groups
ontolog-forum
Conversations
About
Send feedback
Help
Sort By Relevance
Sort By Date
1–30 of many
John F Sowa
Sep 6
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
Sep 6
John F Sowa
, …
Alex Shkotin
18
Sep 5
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
Sep 5
John F Sowa
Aug 23
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
Aug 23
John F Sowa
, …
Kingsley Idehen
3
Aug 8
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
Aug 8
Alex Shkotin
, …
John F Sowa
18
Jul 26
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
Jul 26
John F Sowa
, …
Philip Jackson
5
Jul 5
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
Jul 5
John F Sowa
,
Mike Bergman
6
Jul 3
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
Jul 3
John F Sowa
, …
Alex Shkotin
28
Jul 4
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
Jul 4
alex.shkotin
, …
John F Sowa
9
Jun 16
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
Jun 16
John F Sowa
,
Ravi Sharma
3
May 10
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
May 10
John F Sowa
,
Alex Shkotin
2
Mar 20
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
Mar 20
alex.shkotin
, …
David Whitten
21
Mar 7
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
Mar 7
John F Sowa
, …
Polovina, Simon (BTE)
4
Feb 28
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
Feb 28
John F Sowa
, …
Kingsley Idehen
12
Feb 24
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
Feb 24
Gary Berg-Cross
, …
Alex Shkotin
11
Feb 27
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
Feb 27
John F Sowa
Feb 20
Permion technology and applications
to the
LLM
-style of processing. They can use the symbolic methods to detect and eliminate
LLM
errors and hallucinations. John ___________________ Permion Listed in AWS "ICMP
unread,
Permion technology and applications
to the
LLM
-style of processing. They can use the symbolic methods to detect and eliminate
LLM
errors and hallucinations. John ___________________ Permion Listed in AWS "ICMP
Feb 20
gregsharp73
, …
Alex Shkotin
61
Feb 11
Question regarding final slide in Nicola Guarino's presentation
Alex, The data structure of an ADEPT LION instance is a single table in this demo (the fixed schema doesn't require the use of a graph database
unread,
Question regarding final slide in Nicola Guarino's presentation
Alex, The data structure of an ADEPT LION instance is a single table in this demo (the fixed schema doesn't require the use of a graph database
Feb 11
Kingsley Idehen
, …
Michael Denny
18
Feb 4
Latest from the world of LLMs
every current
LLM
system that does not use a symbolic component to detect and evaluate the inevitable errors and hallucinations. Our largest clients (some US gov't agencies)
unread,
Latest from the world of LLMs
every current
LLM
system that does not use a symbolic component to detect and evaluate the inevitable errors and hallucinations. Our largest clients (some US gov't agencies)
Feb 4
John F Sowa
, …
Alex Shkotin
14
Jan 9
Proposal: OWL 3 as an upgrade to OWL 2
, and
LLM
-based services. > My impression is that this type of user-friendly environment and glaring > applications are missing in our community. In my opinion, Protégé and
unread,
Proposal: OWL 3 as an upgrade to OWL 2
, and
LLM
-based services. > My impression is that this type of user-friendly environment and glaring > applications are missing in our community. In my opinion, Protégé and
Jan 9
John F Sowa
, …
Ravi Sharma
7
12/23/24
Khanmigo, AI tutor
number of
LLM
/ChatGPT courses that >> are offered. And, I came away with two conclusions from that writer. >> >> First, there are very few good courses, and the best
unread,
Khanmigo, AI tutor
number of
LLM
/ChatGPT courses that >> are offered. And, I came away with two conclusions from that writer. >> >> First, there are very few good courses, and the best
12/23/24
John F Sowa
11/29/24
Hybrid with LLMs and traditional AI methods
system combines
LLM
technology with traditional AI methods to do the evaluation. This is a hybrid technique that our Permion.ai system uses. I don't know anything more that I read
unread,
Hybrid with LLMs and traditional AI methods
system combines
LLM
technology with traditional AI methods to do the evaluation. This is a hybrid technique that our Permion.ai system uses. I don't know anything more that I read
11/29/24
Igor Toujilov
, …
Kingsley Idehen
53
Jan 15
Design Pattern Ontology
John F
Sowa
wrote: > Mike and Igor, > > I'm glad that you mentioned design patterns. But instead of an > ontology of design patterns, I would say that design patterns
unread,
Design Pattern Ontology
John F
Sowa
wrote: > Mike and Igor, > > I'm glad that you mentioned design patterns. But instead of an > ontology of design patterns, I would say that design patterns
Jan 15
Alex Shkotin
11/20/24
knowledge processing and genAI
John and all, The theme of knowledge processing (KP) is so important. We first need to classify a little what kind of KP we use in science, technology
unread,
knowledge processing and genAI
John and all, The theme of knowledge processing (KP) is so important. We first need to classify a little what kind of KP we use in science, technology
11/20/24
John F Sowa
, …
Mike Bergman
3
11/20/24
Apologies to anybody who has complained
' about
LLM
and the general sense conveyed that we needed protection from the evils of a new technology I have mostly found annoying and presumptuous, not disturbing. I blow issues
unread,
Apologies to anybody who has complained
' about
LLM
and the general sense conveyed that we needed protection from the evils of a new technology I have mostly found annoying and presumptuous, not disturbing. I blow issues
11/20/24
Pascal Hitzler
, …
Sankalp Srivastava
19
Mar 3
Accelerating Knowledge Graph and Ontology Engineering with Large Language Models
developed the
LLM
technology for machine translation (MT), and that is its best and most reliable application. Since the source and target language are just one step away, the error
unread,
Accelerating Knowledge Graph and Ontology Engineering with Large Language Models
developed the
LLM
technology for machine translation (MT), and that is its best and most reliable application. Since the source and target language are just one step away, the error
Mar 3
Knowledge representation
, …
jsi...@measures.org
49
10/19/24
Tools for modeling in first-order logic - making conceptual/ontological models in FOL
John F
Sowa
Sent: 18 October 2024 18:59 To: ontolog-forum@googlegroups.com Cc: CG Subject: [CG] SAP HANA Cloud's Knowledge Graph Engine for Business Context Simon, I just wanted
unread,
Tools for modeling in first-order logic - making conceptual/ontological models in FOL
John F
Sowa
Sent: 18 October 2024 18:59 To: ontolog-forum@googlegroups.com Cc: CG Subject: [CG] SAP HANA Cloud's Knowledge Graph Engine for Business Context Simon, I just wanted
10/19/24
Alex Shkotin
, …
Ravi Sharma
60
Apr 4
Scientific knowledge formalization
that the
LLM
assistant in PyCharm and using the Code Assistant > version of ChatGPT save me a lot of time writing Python and SPARQL queries > respectively. But that isn't the
unread,
Scientific knowledge formalization
that the
LLM
assistant in PyCharm and using the Code Assistant > version of ChatGPT save me a lot of time writing Python and SPARQL queries > respectively. But that isn't the
Apr 4
Kingsley Idehen
, …
John F Sowa
7
10/11/24
Google NotebookLM Experiments -- Part 2
John F
Sowa
wrote: > Kingsley, > > Your reply shows how and why many applications of LLMs can be valuable. > > KI: [They] can be more concise, aligned with the objectives
unread,
Google NotebookLM Experiments -- Part 2
John F
Sowa
wrote: > Kingsley, > > Your reply shows how and why many applications of LLMs can be valuable. > > KI: [They] can be more concise, aligned with the objectives
10/11/24
John F Sowa
,
Mosca Alessandro
2
10/10/24
AIs get worse at answering simple questions as they get bigger
John F
Sowa
Sent: 08 October 2024 03:31 To: ontolog-forum ; CG Subject: [ontolog-forum] AIs get worse at answering simple questions as they get bigger Bad news for anybody who claims
unread,
AIs get worse at answering simple questions as they get bigger
John F
Sowa
Sent: 08 October 2024 03:31 To: ontolog-forum ; CG Subject: [ontolog-forum] AIs get worse at answering simple questions as they get bigger Bad news for anybody who claims
10/10/24
Michael DeBellis
, …
John F Sowa
35
10/4/24
Philosophical Implications of Gödel and Turing/Church
methods to
LLM
methods can be useful, but it's important to have careful and well documented methods for interpreting the results. Any talk that throws around loose words without
unread,
Philosophical Implications of Gödel and Turing/Church
methods to
LLM
methods can be useful, but it's important to have careful and well documented methods for interpreting the results. Any talk that throws around loose words without
10/4/24