John Sowa and Arun Majumdar at the Ontology Summit
29 views
Skip to first unread message
Ken Baclawski
May 31, 2026, 11:35:00 PMMay 31
to ontolog-forum, ontolog...@googlegroups.com, ontolog-i...@googlegroups.com
Ontology Summit 2026
Ontologies: Past, Present, Future
We are very pleased to announce that the next Ontology Summit session on Wednesday 3 June 2026 will feature
Arun K. Majumdar and John F. Sowa
who will present
Reasoning Beats Pattern Matching
As usual, all summit sessions are zoom sessions on Wednesdays at Noon US/Canada Eastern Time and each session lasts one hour. The summit is open to the public and no registration is necessary. All summit sessions are recorded and are available on the summit web pages and on the Ontology Summit YouTube channel.
The session page is: https://ontologforum.com/index.php/ConferenceCall_2026_06_03
Zoom information:
https://us02web.zoom.us/j/86994661673?pwd=mMUeaWyWhBMSzTw3SgH5GjMv2Qx4rH.1
Meeting ID: 869 9466 1673
Passcode: 803090
Abstract: For over 60 years, the best AI reasoning was based on the four step cognitive cycle: abduction, deduction, evaluation, induction, and repeat. Abduction generates hypotheses or educated guesses. Deduction derives implications. Evaluation chooses the best option. Induction combies the result with previous knowledge.
Many versions of the cognitive cycle have been invented and named. For guiding fighter pilots, John Boyd called it the OODA loop: Observe, Orient, Decide, Act. He originally said that each step would be traversed in milliseconds, but he later applied the loop to design and analysis steps that may take minutes, hours, or days. Whatever the time scale, the four steps are fundamental to reasoning in science, business, and life.
The pattern matching methods of Large Language Models (LLMs) are superb for translating languages, natural or artificial. They are also good for finding and relating patterns in large volumes of data of any kind. That enables them to answer questions by finding information or by applying previous methods to new data. For many problems, pattern matching can discover abductions or educated guesses. But deduction and evaluation cannot be done unless a similar cognitive cycle can be found somewhere on the WWW.
With the VivoMind system from 2000 to 2010, the authors used conceptual graphs for symbolic reasoning about a wide range of problems. For the new Permion system, they added LLM pattern matching to map conceptual graphs to and from natural language. But pattern matching, by itself, cannot do any reasoning unless it can find and adapt an appropriate cycle on the WWW. It often requires a huge amount of searching even for relatively simple examples.
In summary, LLMs cannot do reasoning unless and until the system finds a suitable cognitive cycle on the WWW. But the Permion reasoning methods automatically do the four-step cycle. If necessary, they can also do LLM searching, but none is required.
Ken Baclawski
Chair, Ontology Summit 2026
Ontologies: Past, Present, Future
We are very pleased to announce that the next Ontology Summit session on Wednesday 3 June 2026 will feature
Arun K. Majumdar and John F. Sowa
who will present
Reasoning Beats Pattern Matching
As usual, all summit sessions are zoom sessions on Wednesdays at Noon US/Canada Eastern Time and each session lasts one hour. The summit is open to the public and no registration is necessary. All summit sessions are recorded and are available on the summit web pages and on the Ontology Summit YouTube channel.
The session page is: https://ontologforum.com/index.php/ConferenceCall_2026_06_03
Zoom information:
https://us02web.zoom.us/j/86994661673?pwd=mMUeaWyWhBMSzTw3SgH5GjMv2Qx4rH.1
Meeting ID: 869 9466 1673
Passcode: 803090
Abstract: For over 60 years, the best AI reasoning was based on the four step cognitive cycle: abduction, deduction, evaluation, induction, and repeat. Abduction generates hypotheses or educated guesses. Deduction derives implications. Evaluation chooses the best option. Induction combies the result with previous knowledge.
Many versions of the cognitive cycle have been invented and named. For guiding fighter pilots, John Boyd called it the OODA loop: Observe, Orient, Decide, Act. He originally said that each step would be traversed in milliseconds, but he later applied the loop to design and analysis steps that may take minutes, hours, or days. Whatever the time scale, the four steps are fundamental to reasoning in science, business, and life.
The pattern matching methods of Large Language Models (LLMs) are superb for translating languages, natural or artificial. They are also good for finding and relating patterns in large volumes of data of any kind. That enables them to answer questions by finding information or by applying previous methods to new data. For many problems, pattern matching can discover abductions or educated guesses. But deduction and evaluation cannot be done unless a similar cognitive cycle can be found somewhere on the WWW.
With the VivoMind system from 2000 to 2010, the authors used conceptual graphs for symbolic reasoning about a wide range of problems. For the new Permion system, they added LLM pattern matching to map conceptual graphs to and from natural language. But pattern matching, by itself, cannot do any reasoning unless it can find and adapt an appropriate cycle on the WWW. It often requires a huge amount of searching even for relatively simple examples.
In summary, LLMs cannot do reasoning unless and until the system finds a suitable cognitive cycle on the WWW. But the Permion reasoning methods automatically do the four-step cycle. If necessary, they can also do LLM searching, but none is required.
Ken Baclawski
Chair, Ontology Summit 2026
John F Sowa
Jun 1, 2026, 8:27:58 PMJun 1
to ontolo...@googlegroups.com, ontolog...@googlegroups.com, ontolog-i...@googlegroups.com, Ken Baclawski, Arun Majumdar, WindyJoy Majumdar
For the June 3 session by Arun Majumdar and John Sowa, the content includes the topics in the abstract that was circulated on June 1. But the new title and abstract below reflects the content of an article the speakers are currently wriiting.
John Sowa
___________
Neurosymbolic AI to check and verify LLMs
For over 70 years, symbolic AI methods have produced excellent results for a wide range of applications. But natural language analysis was much harder to implement, and generating good natural language output was even harder. The probabilistic methods of LLMs, however, have created a revolution in natural language processing (NLP). But many applications in science, engineering, and finance require guaranteed precision. Even 99.9% accuracy would be a disaster,
We propose Large Graph Models (LGMs) as a neurosymbolic representation that support LLMs as a special case. The formal LGM semantics is represented in conceptual graphs (CGs), which are formally defined by ISO standard 24707 for Common Logic (CL). CGs represent full first-order logic plus quantifiers that range over functions and relations. But CL semantics guarantees that the computational complexity does not go beyond FOL reasoning methods.
Alex Shkotin
Jun 2, 2026, 3:33:54 AMJun 2
to ontolo...@googlegroups.com
John, very interesting!
Where to subscribe on the waiting list?
Alex
вт, 2 июн. 2026 г. в 03:27, John F Sowa <so...@bestweb.net>:
--
All contributions to this forum are covered by an open-source license.
For information about the wiki, the license, and how to subscribe or
unsubscribe to the forum, see http://ontologforum.org/info
---
You received this message because you are subscribed to the Google Groups "ontolog-forum" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ontolog-foru...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/ontolog-forum/4e24621180ba4a18b6ac205a0c2692fa%406203470629d44512a3e134e11583bf02.
John F Sowa
Jun 2, 2026, 5:54:31 PMJun 2
to ontolo...@googlegroups.com
This is the usual Wednesday Ontology Summit session. Look at the announcement by Ken B.
From: "Alex Shkotin" <alex.s...@gmail.com>
Alex Shkotin
Jun 3, 2026, 4:08:36 AMJun 3
to ontolo...@googlegroups.com
I am asking about "
of an article the speakers are currently writing"
ср, 3 июн. 2026 г. в 00:54, John F Sowa <so...@bestweb.net>:
--
All contributions to this forum are covered by an open-source license.
For information about the wiki, the license, and how to subscribe or
unsubscribe to the forum, see http://ontologforum.org/info
---
You received this message because you are subscribed to the Google Groups "ontolog-forum" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ontolog-foru...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/ontolog-forum/bfeb98671f8c48f3a632e45100f24920%40f563d381ddd241ab808c5ef5c2b8c1b1.
John F Sowa
Jun 3, 2026, 11:33:36 AMJun 3
to ontolo...@googlegroups.com
The slides we are presenting in another half hour are the only thing that is available other than miscellaneous, scattered notes.
There is no schedule for the unwritten article.
John
From: "Alex Shkotin" <alex.s...@gmail.com>
Sent: 6/3/26 4:08 AM
To: ontolo...@googlegroups.com
Subject: Re: [ontolog-forum] Ontology Summit Session on Wednesday, July 3
Sent: 6/3/26 4:08 AM
To: ontolo...@googlegroups.com
Subject: Re: [ontolog-forum] Ontology Summit Session on Wednesday, July 3
To view this discussion visit https://groups.google.com/d/msgid/ontolog-forum/CAFxxROTZq27EV9mZ4zj-PutucEpNSzBqhrn7AN3FeJGgRmDg2w%40mail.gmail.com.
Reply all
Reply to author
Forward
0 new messages