ConferenceCall 2026 03 25 - Revision history

Forum at 02:22, 26 March 2026

2026-03-26T02:22:48Z

← Older revision		Revision as of 02:22, 26 March 2026
Line 40:		Line 40:

	== Discussion ==		== Discussion ==
			12:20:01 Harshit : Could maintaining a traceable lineage from input to output for every step act as a robust way to verify correctness and prevent drift or hallucination?

			12:23:57 Ravi Sharma : how do you bring cognition?

			12:37:16 Ravi Sharma : How do we understand interplay among reasoning, probability, and cognition especially through verification?

			12:47:23 Ravi Sharma : Manas Can we combine Training data based feedback with clustering to clarify Neuro symbolic reasoning?

			12:49:41 Harshit : Do we have a universally accepted way to represent knowledge across domains, or are all current schemas inherently domain-specific? If no universal form exists, can using raw surface input with compression–reconstruction act as a more general and reliable validation mechanism?

			12:50:23 John Sowa : 99% accuracy is inadequate for banking and guding critical applications in guiding high-performance applications. We must have 100% accuracy or a message that admits a failure and requires a retry. For driving a car or flying an airplane, nobody would accept 1 accident in every 100 trips.
			* Luís Lamb : 👍

			12:56:50 Bobbin Teegarden : Is 'local source contribution' = context?
			* Manas Gaur : Not really context, but some tokens that LLMs think are relevant because they are in the proximity. Adding context would create a drift from local to global, maybe connecting one layer to another, potentially many layers forward.

			12:57:25 Ram D. Sriram (Section M) : @Manas: I think do humans use 10% of the brain is an old question that used to be asked because people thought 90% of the brain consists of glial cells. Now it is about 50%, I believe
			* Manas Gaur : 👍
			** Yeah. That example was pretty old, I took from TruthfulQA dataset

			13:00:14 John Sowa : Glial cells are important for supporting the adjacent neural cells. In effect, they are performing their function when they support the neurons.
			* Luís Lamb : 👍

			13:01:53 Phil Jackson : how do Luis Lamb's methods for using reasoning to correct NN's and using NN's to support reasoning and learning, address the issues identified by Manas Gaur?
			* Phil Jackson : maybe this question is addressed by Gaur's discussion of KG-path RAG

			13:08:34 Ravi Sharma : Manas How is attention factor modeled as extent of cognition?

			13:11:44 Harshit : So, current approaches seem to rely on distributed representations and weight adjustments to encode knowledge. Do you think this paradigm is fundamentally scalable, or are we missing a more structural, constraint-based representation of knowledge, closer to how reasoning operates, where correctness can be verified rather than inferred?

			13:20:53 Harshit : where could we reach out to the speaker?
			* Ram D. Sriram (Section M) : Speaker information should be on the Ontology Website
			** Harshit : 👍
			* Manas Gaur : Manas@umbc.edu
			** Harshit : 👍

			13:22:59 John Sowa : Philosophers have been proposing and developing methods of full first-order logic for over 2000 years.
			* Manas Gaur : 👍
			* Ram D. Sriram (Section M) : Maybe around 3000 years ago

			13:24:48 Manas Gaur : Socratic Questioning — a big challenge for LLMs

			13:25:26 Manas Gaur : As of the year 2026, this means the Socratic era was roughly 2,425 to 2,496 years ago

			13:25:43 Yves KERARON (ISADEUS) : I feel ergo sum
			* janet singer : 👍

			13:25:52 John Sowa : The early methods of reasoning supported much of FOL, but the notations and methodologies weren't developed with sufficient precision.

	== Resources ==		== Resources ==

Forum at 02:09, 26 March 2026

2026-03-26T02:09:02Z

← Older revision		Revision as of 02:09, 26 March 2026
Line 22:		Line 22:
	** Abstract: Neurosymbolic AI integrates neural machine learning with symbolic reasoning, combining data-driven learning with knowledge representation and logical inference. This integration addresses a limitation of neural methods--the lack of interpretability and formal semantics--which are essential in safety-critical domains where logic and formal methods have excelled. This talk briefly surveys the foundations, representative frameworks, and tools of neurosymbolic AI.<br/>We examine how neurosymbolic methods are adopted in industrial settings. Finally, we review recent deployments and product developments from industry, an assessment of open problems and current research directions.		** Abstract: Neurosymbolic AI integrates neural machine learning with symbolic reasoning, combining data-driven learning with knowledge representation and logical inference. This integration addresses a limitation of neural methods--the lack of interpretability and formal semantics--which are essential in safety-critical domains where logic and formal methods have excelled. This talk briefly surveys the foundations, representative frameworks, and tools of neurosymbolic AI.<br/>We examine how neurosymbolic methods are adopted in industrial settings. Finally, we review recent deployments and product developments from industry, an assessment of open problems and current research directions.
	** [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2026/AI/Neurosymbolic-AI-From-research-to-industry--LuisLamb_20260325.mp4 Video Recording]		** [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2026/AI/Neurosymbolic-AI-From-research-to-industry--LuisLamb_20260325.mp4 Video Recording]
			** [https://youtu.be/ubC9K7p2hew YouTube Video]
	* '''Manas Gaur''' ''Neurosymbolic AI for High Stakes Applications in the LLM Era''		* '''Manas Gaur''' ''Neurosymbolic AI for High Stakes Applications in the LLM Era''
	** [https://kai2.umbc.edu/ Website]		** [https://kai2.umbc.edu/ Website]
	** [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2026/AI/Neurosymbolic-AI-for-High-Stakes-Applications-in-the-LLM-Era--ManasGaur_20260325.mp4 Video Recording]		** [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2026/AI/Neurosymbolic-AI-for-High-Stakes-Applications-in-the-LLM-Era--ManasGaur_20260325.mp4 Video Recording]
			** [https://youtu.be/zg7Z3teiuNE YouTube Video]
	* Discussion		* Discussion
	** [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2026/AI/Discussion_20260325.mp4 Video Recording]		** [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2026/AI/Discussion_20260325.mp4 Video Recording]
			** [https://youtu.be/dFLWuLK2ayw YouTube Video]

	== Conference Call Information ==		== Conference Call Information ==
Line 39:		Line 42:

	== Resources ==		== Resources ==
			* [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2026/AI/Neurosymbolic-AI-From-research-to-industry--LuisLamb_20260325.mp4 Luis Lamb Video Recording]
			* [https://youtu.be/ubC9K7p2hew Luis Lamb YouTube Video]
			* [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2026/AI/Neurosymbolic-AI-for-High-Stakes-Applications-in-the-LLM-Era--ManasGaur_20260325.mp4 Manas Gaur Video Recording]
			* [https://youtu.be/zg7Z3teiuNE Manas Gaur YouTube Video]
			* [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2026/AI/Discussion_20260325.mp4 Discussion Video Recording]
			* [https://youtu.be/dFLWuLK2ayw Discussion YouTube Video]

	== Previous Meetings ==		== Previous Meetings ==

Forum at 01:48, 26 March 2026

2026-03-26T01:48:16Z

← Older revision		Revision as of 01:48, 26 March 2026
Line 19:		Line 19:

	= [[OntologySummit2026\|Ontology Summit 2026]] {{#show:{{PAGENAME}}\|?session}} =		= [[OntologySummit2026\|Ontology Summit 2026]] {{#show:{{PAGENAME}}\|?session}} =
			* '''Luis Lamb''' ''Neurosymbolic AI: From research to industry''
			** Abstract: Neurosymbolic AI integrates neural machine learning with symbolic reasoning, combining data-driven learning with knowledge representation and logical inference. This integration addresses a limitation of neural methods--the lack of interpretability and formal semantics--which are essential in safety-critical domains where logic and formal methods have excelled. This talk briefly surveys the foundations, representative frameworks, and tools of neurosymbolic AI.<br/>We examine how neurosymbolic methods are adopted in industrial settings. Finally, we review recent deployments and product developments from industry, an assessment of open problems and current research directions.
			** [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2026/AI/Neurosymbolic-AI-From-research-to-industry--LuisLamb_20260325.mp4 Video Recording]
	* '''Manas Gaur''' ''Neurosymbolic AI for High Stakes Applications in the LLM Era''		* '''Manas Gaur''' ''Neurosymbolic AI for High Stakes Applications in the LLM Era''
	** [https://kai2.umbc.edu/ Website]		** [https://kai2.umbc.edu/ Website]
	* ~~'''Luis Lamb''' ''Neurosymbolic AI: From research to industry''~~		** [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2026/AI/Neurosymbolic-AI-for-High-Stakes-Applications-in-the-LLM-Era--ManasGaur_20260325.mp4 Video Recording]
	** Abstract: Neurosymbolic AI ~~integrates neural machine learning with symbolic reasoning, combining data~~-~~driven learning with knowledge representation and logical inference. This integration addresses a limitation of neural methods~~--~~the lack of interpretability and formal semantics~~--~~which are essential~~ in ~~safety~~-~~critical domains where logic and formal methods have excelled. This talk briefly surveys~~ the ~~foundations, representative frameworks, and tools of neurosymbolic AI~~.~~<br~~/~~>We examine how neurosymbolic methods are adopted in industrial settings~~. ~~Finally, we review recent deployments and product developments from industry, an assessment of open problems and current research directions~~.		* Discussion
			** [https://ontologforum.s3.us-east-1.amazonaws.com/OntologySummit2026/AI/Discussion_20260325.mp4 Video Recording]

	== Conference Call Information ==		== Conference Call Information ==

Forum at 20:14, 21 March 2026

2026-03-21T20:14:18Z

← Older revision		Revision as of 20:14, 21 March 2026
Line 20:		Line 20:
	= [[OntologySummit2026\|Ontology Summit 2026]] {{#show:{{PAGENAME}}\|?session}} =		= [[OntologySummit2026\|Ontology Summit 2026]] {{#show:{{PAGENAME}}\|?session}} =
	* '''Manas Gaur''' ''Neurosymbolic AI for High Stakes Applications in the LLM Era''		* '''Manas Gaur''' ''Neurosymbolic AI for High Stakes Applications in the LLM Era''
	* '''Luis Lamb'''		** [https://kai2.umbc.edu/ Website]
			* '''Luis Lamb''' ''Neurosymbolic AI: From research to industry''
			** Abstract: Neurosymbolic AI integrates neural machine learning with symbolic reasoning, combining data-driven learning with knowledge representation and logical inference. This integration addresses a limitation of neural methods--the lack of interpretability and formal semantics--which are essential in safety-critical domains where logic and formal methods have excelled. This talk briefly surveys the foundations, representative frameworks, and tools of neurosymbolic AI.<br/>We examine how neurosymbolic methods are adopted in industrial settings. Finally, we review recent deployments and product developments from industry, an assessment of open problems and current research directions.

	== Conference Call Information ==		== Conference Call Information ==

Forum at 19:57, 18 March 2026

2026-03-18T19:57:26Z

← Older revision		Revision as of 19:57, 18 March 2026
Line 19:		Line 19:

	= [[OntologySummit2026\|Ontology Summit 2026]] {{#show:{{PAGENAME}}\|?session}} =		= [[OntologySummit2026\|Ontology Summit 2026]] {{#show:{{PAGENAME}}\|?session}} =
			* '''Manas Gaur''' ''Neurosymbolic AI for High Stakes Applications in the LLM Era''
	* Manas Gaur		* '''Luis Lamb'''

	== Conference Call Information ==		== Conference Call Information ==

Forum at 20:35, 1 March 2026

2026-03-01T20:35:25Z

← Older revision		Revision as of 20:35, 1 March 2026
Line 10:		Line 10:
	\| [[has date::25 Mar 2026 16:00 GMT]]		\| [[has date::25 Mar 2026 16:00 GMT]]
	\|-		\|-
	\| 9:00am ~~PST~~/12:00pm ~~EST~~		\| 9:00am PDT/12:00pm EDT
	\|-		\|-
	\| 5:00pm GMT/5:00pm CET		\| 4:00pm GMT/5:00pm CET
	\|-		\|-
	! scope="row" \| Convener		! scope="row" \| Convener
Line 24:		Line 24:
	== Conference Call Information ==		== Conference Call Information ==
	* Date: '''Wednesday, 25 March 2026'''		* Date: '''Wednesday, 25 March 2026'''
	* Start Time: 9:00am ~~PST~~ / 12:00pm ~~EST~~ / 5:00pm CET / 4:00pm GMT / 1600 UTC		* Start Time: 9:00am PDT / 12:00pm EDT / 5:00pm CET / 4:00pm GMT / 1600 UTC
	** ref: [http://www.timeanddate.com/worldclock/fixedtime.html?month=3&day=25&year=2026&hour=12&min=00&sec=0&p1=179 World Clock]		** ref: [http://www.timeanddate.com/worldclock/fixedtime.html?month=3&day=25&year=2026&hour=12&min=00&sec=0&p1=179 World Clock]
	** Note: The US and Canada are on Daylight Saving Time while Europe has not yet changed.		** Note: The US and Canada are on Daylight Saving Time while Europe has not yet changed.

Forum at 20:31, 1 March 2026

2026-03-01T20:31:48Z

← Older revision		Revision as of 20:31, 1 March 2026
Line 8:		Line 8:
	\|-		\|-
	! scope="row" rowspan="3" \| Date/Time		! scope="row" rowspan="3" \| Date/Time
	\| [[has date::25 Mar 2026 17:00 GMT]]		\| [[has date::25 Mar 2026 16:00 GMT]]
	\|-		\|-
	\| 9:00am PST/12:00pm EST		\| 9:00am PST/12:00pm EST
	\|-		\|-
	\| 5:00pm GMT/6:00pm CET		\| 5:00pm GMT/5:00pm CET
	\|-		\|-
	! scope="row" \| Convener		! scope="row" \| Convener
Line 24:		Line 24:
	== Conference Call Information ==		== Conference Call Information ==
	* Date: '''Wednesday, 25 March 2026'''		* Date: '''Wednesday, 25 March 2026'''
	* Start Time: 9:00am PST / 12:00pm EST / 6:00pm CET / 5:00pm GMT / ~~1700~~ UTC		* Start Time: 9:00am PST / 12:00pm EST / 5:00pm CET / 4:00pm GMT / 1600 UTC
	** ref: [http://www.timeanddate.com/worldclock/fixedtime.html?month=3&day=25&year=2026&hour=12&min=00&sec=0&p1=179 World Clock]		** ref: [http://www.timeanddate.com/worldclock/fixedtime.html?month=3&day=25&year=2026&hour=12&min=00&sec=0&p1=179 World Clock]
	** Note: The US and Canada are on Daylight Saving Time while Europe has not yet changed.		** Note: The US and Canada are on Daylight Saving Time while Europe has not yet changed.

Forum: Created page with "{| class="wikitable" style="float:right; margin-left: 10px;" border="1" cellpadding="10" |- ! scope="row" | Session | session::Ontologies and AI |- ! scope="row" | Duration | duration::1 hour |- ! scope="row" rowspan="3" | Date/Time | has date::25 Mar 2026 17:00 GMT |- | 9:00am PST/12:00pm EST |- | 5:00pm GMT/6:00pm CET |- ! scope="row" | Convener | Gary Berg-Cross |} = Ontology Summit 2026 {{#show:{{PAGENAM..."

2026-03-01T20:25:36Z

Created page with "{| class="wikitable" style="float:right; margin-left: 10px;" border="1" cellpadding="10" |- ! scope="row" | Session | session::Ontologies and AI |- ! scope="row" | Duration | duration::1 hour |- ! scope="row" rowspan="3" | Date/Time | has date::25 Mar 2026 17:00 GMT |- | 9:00am PST/12:00pm EST |- | 5:00pm GMT/6:00pm CET |- ! scope="row" | Convener | Gary Berg-Cross |} = Ontology Summit 2026 {{#show:{{PAGENAM..."

New page

{| class="wikitable" style="float:right; margin-left: 10px;" border="1" cellpadding="10"
|-
! scope="row" | Session
| [[session::Ontologies and AI]]
|-
! scope="row" | Duration
| [[duration::1 hour]]
|-
! scope="row" rowspan="3" | Date/Time
| [[has date::25 Mar 2026 17:00 GMT]]
|-
| 9:00am PST/12:00pm EST
|-
| 5:00pm GMT/6:00pm CET
|-
! scope="row" | Convener
| [[convener::GaryBergCross|Gary Berg-Cross]]
|}

= [[OntologySummit2026|Ontology Summit 2026]] {{#show:{{PAGENAME}}|?session}} =

* Manas Gaur

== Conference Call Information ==
* Date: '''Wednesday, 25 March 2026'''
* Start Time: 9:00am PST / 12:00pm EST / 6:00pm CET / 5:00pm GMT / 1700 UTC
** ref: [http://www.timeanddate.com/worldclock/fixedtime.html?month=3&day=25&year=2026&hour=12&min=00&sec=0&p1=179 World Clock]
** Note: The US and Canada are on Daylight Saving Time while Europe has not yet changed.
* Expected Call Duration: 1 hour
{{:OntologySummit2026/ConferenceCallInformation}}

== Discussion ==

== Resources ==

== Previous Meetings ==
{{#ask: [[Category:OntologySummit2026]] [[Category:Icom_conf_Conference]] [[<<ConferenceCall_2026_03_24]]
|?|?Session|mainlabel=-|order=desc|limit=3}}

== Next Meetings ==
{{#ask: [[Category:OntologySummit2026]] [[Category:Icom_conf_Conference]] [[>>ConferenceCall_2026_03_26]]
|?|?Session|mainlabel=-|order=asc|limit=3}}

[[Category:Icom_conf_Conference]]
[[Category:Occurrence| ]]
[[Category:OntologySummit2026| ]]