ConferenceCall 2023 11 08 - Revision history

Forum at 20:58, 16 February 2024

2024-02-16T20:58:23Z

← Older revision		Revision as of 20:58, 16 February 2024
Line 18:		Line 18:
	\|}		\|}

	= [[~~OntologySummit2024~~\|Ontology Summit 2024]] {{#show:{{PAGENAME}}\|?session}} =		= [[OntologySummit2024_FallSeries\|Ontology Summit 2024 Fall Series]] {{#show:{{PAGENAME}}\|?session}} =

	== Agenda ==		== Agenda ==
Line 145:		Line 145:
	\|?\|?Session\|mainlabel=-\|order=asc\|limit=3}}		\|?\|?Session\|mainlabel=-\|order=asc\|limit=3}}

	[[Category:~~OntologySummit2024~~]]		[[Category:OntologySummit2024_FallSeries]]
	[[Category:Icom_conf_Conference]]		[[Category:Icom_conf_Conference]]
	[[Category:Occurrence\| ]]		[[Category:Occurrence\| ]]

AndreaWesterinen: /* Agenda */

2023-11-13T16:14:02Z

Agenda

← Older revision		Revision as of 16:14, 13 November 2023
Line 22:		Line 22:
	== Agenda ==		== Agenda ==
	* '''[[AnatolyLevenchuk\|Anatoly Levenchuk]]''', strategist and blogger at [http://ailev.lievjournal.ru Laboratory Log]		* '''[[AnatolyLevenchuk\|Anatoly Levenchuk]]''', strategist and blogger at [http://ailev.lievjournal.ru Laboratory Log]
	** ''Knowledge ~~graphs~~ and ~~large language models in cognitive architectures~~''		** ''Hybrid Reasoning, the Scope of Knowledge, and What Is Beyond Ontologies?''
	** This talk discusses styles of definitions for knowledge graphs (KG) combined with large language models (LLMs). The KG architectures and systems are reviewed, taken from Ontolog Forum's 2020 Communique. A framework is proposed for a cognitive architecture using both LLMa and KGs for the evolution of knowledge during 4E (embodied, extended, embedded, enacted) cognition. In this framework, ontologies are understood as answers to the question "What is in the world?" and can be found in representations that vary across a spectrum of formality/rigor. An example is given of the use of ontology engineering training in management, where upper-level ontologies are given to students in the form of informal course texts (with the goal of obtaining a fine-tuned LLM within the "neural networks" of students' brains) coupled with lower-level ontologies that are more formal (such as data schemas for databases and knowledge graphs).		** This talk discusses styles of definitions for knowledge graphs (KG) combined with large language models (LLMs). The KG architectures and systems are reviewed, taken from Ontolog Forum's 2020 Communique. A framework is proposed for a cognitive architecture using both LLMa and KGs for the evolution of knowledge during 4E (embodied, extended, embedded, enacted) cognition. In this framework, ontologies are understood as answers to the question "What is in the world?" and can be found in representations that vary across a spectrum of formality/rigor. An example is given of the use of ontology engineering training in management, where upper-level ontologies are given to students in the form of informal course texts (with the goal of obtaining a fine-tuned LLM within the "neural networks" of students' brains) coupled with lower-level ontologies that are more formal (such as data schemas for databases and knowledge graphs).
	** Anatoly Levenchuk has worked as a strategy consultant for more than 30 years. He helps with vision and strategy definition to many government agencies and large companies. Now he is science head of Aisystant that serves as a school in engineering and management. His first machine learning project was in 1977, first ontology engineering project was in 1980. He is author of several textbooks on systems thinking, methodology, systems engineering, systems management, natural and artificial intelligence, education as "person engineering". His blog "Laboratory Log" http://ailev.lievjournal.ru in Russian has more than 3,000 subscribers.		** Anatoly Levenchuk has worked as a strategy consultant for more than 30 years. He helps with vision and strategy definition to many government agencies and large companies. Now he is science head of Aisystant that serves as a school in engineering and management. His first machine learning project was in 1977, first ontology engineering project was in 1980. He is author of several textbooks on systems thinking, methodology, systems engineering, systems management, natural and artificial intelligence, education as "person engineering". His blog "Laboratory Log" http://ailev.lievjournal.ru in Russian has more than 3,000 subscribers.

AndreaWesterinen: /* Participants */

2023-11-12T23:23:17Z

Participants

← Older revision		Revision as of 23:23, 12 November 2023
Line 58:		Line 58:
	* [[DavidEddy\|David Eddy]]		* [[DavidEddy\|David Eddy]]
	* [[DaleFitch\|Dale Fitch]]		* [[DaleFitch\|Dale Fitch]]
			* Nancy Wiegand
			* [[PeteRivett\|Pete Rivett]]
			* [[VictorAgroskin\|Victor Agroskin]]
			* MZeng
			* Tony Cohn (Leeds)

	Complete list of participants was not captured		Complete list of participants was not captured

AndreaWesterinen: /* Discussion */

2023-11-12T23:20:12Z

Discussion

← Older revision		Revision as of 23:20, 12 November 2023
Line 117:		Line 117:

	* [[MikeBennett\|Mike Bennett]]: For those of us not from the US, what is the capital of Alaska? It feels like this is a vital plot point.		* [[MikeBennett\|Mike Bennett]]: For those of us not from the US, what is the capital of Alaska? It feels like this is a vital plot point.
	** [[AndreaWesterinen\|Andrea Westerinen]]: This is a reference to a ChatGPT response in John's/Arun's presentation - that Juneau is the capital of Alaska, but there have been attempts to move the capital to another city.		** [[AndreaWesterinen\|Andrea Westerinen]]: This is a reference to a ChatGPT response in John's/Arun's presentation - that Juneau is the capital of Alaska, but there have been attempts to move the capital to another city. And, the underlying issue is whether this information was in the provided training data/corpus (e.g., could you track provenance?)

	* [[RaviSharma\|Ravi Sharma]]: Arun Say more about scaffolding. Is it only E and R and detailed parsed later, but using what rules?		* [[RaviSharma\|Ravi Sharma]]: Arun Say more about scaffolding. Is it only E and R and detailed parsed later, but using what rules?

AndreaWesterinen: /* Participants */

2023-11-09T17:19:31Z

Participants

← Older revision		Revision as of 17:19, 9 November 2023
Line 58:		Line 58:
	* [[DavidEddy\|David Eddy]]		* [[DavidEddy\|David Eddy]]
	* [[DaleFitch\|Dale Fitch]]		* [[DaleFitch\|Dale Fitch]]

			Complete list of participants was not captured

	== Discussion ==		== Discussion ==

AndreaWesterinen at 17:18, 9 November 2023

2023-11-09T17:18:52Z

← Older revision		Revision as of 17:18, 9 November 2023
Line 42:		Line 42:

	== Participants ==		== Participants ==
			* [[JohnSowa\|John Sowa]]
			* [[ArunMajumdar\|Arun Majumdar]]
			* [[AnatolyLevenchuk\|Anatoly Levenchuk]]
			* [[KenBaclawski\|Ken Baclawski]]
			* [[AndreaWesterinen\|Andrea Westerinen]]
			* [[MikeBennett\|Mike Bennett]]
			* [[RaviSharma\|Ravi Sharma]]
			* [[MichaelDeBellis\|Michael DeBellis]]
			* [[SusanneVejdemo\|Susanne Vejdemo]]
			* [[ToddSchneider\|Todd Schneider]]
			* [[JanetSinger\|Janet Singer]]
			* [[DouglasMiles\|Douglas Miles]]
			* [[GaryBergCross\|Gary Berg-Cross]]
			* [[AmitSheth\|Amit Sheth]]
			* [[DavidEddy\|David Eddy]]
			* [[DaleFitch\|Dale Fitch]]

	== Discussion ==		== Discussion ==

AndreaWesterinen: /* Discussion */

2023-11-09T17:14:29Z

Discussion

← Older revision		Revision as of 17:14, 9 November 2023
Line 44:		Line 44:

	== Discussion ==		== Discussion ==
			* [[RaviSharma\|Ravi Sharma]]: When I think about models, it is not necessarily graph or even video but something like a kind of vision mind-based understanding and yes I express it often in language or express math using the language also.
			** [[AnatolyLevenchuk\|Anatoly Levenchuk]]: Yes, any form. But if it (model) has patterns then you can consider it as text -- semiotics tell us "all is texts of patterns as letters". Pattern languages are about behavior as a text (chain of patterns). Mathematics is about patterns too.

			* [[MichaelDeBellis\|Michael DeBellis]]: I don't understand what the speaker means by quantum/digital memory.
			** [[AnatolyLevenchuk\|Anatoly Levenchuk]]: It is about exact copy of information, information is about difference. 1 bit is a result of measurement. To evolution can proceed, you need genes as exactly copied information about results of previous evolution steps. If you have not digital/quantum/discrete form for exact copying, you cannot accumulate knowledge, error in analog form will be prohibitive for evolution.

			* [[RaviSharma\|Ravi Sharma]]: Second bullet can you expand how cognition and quantum memory are understood?
			** [[MikeBennett\|Mike Bennett]]: That is the 2nd bullet of Slide 3 (for later reference in the Q&A)
			** [[AndreaWesterinen\|Andrea Westerinen]]: This is discussed at the end of the talk, in the Q&A

			* [[RaviSharma\|Ravi Sharma]]: Generative and interactive models, how will these be integrated at different levels?
			** [[AnatolyLevenchuk\|Anatoly Levenchuk]]: Generative and discriminative (not interactive) models. You can ask about any models, but get different types of answers: possible worlds descriptions from generative models and classification labels from discriminative models. With many nuances, sure )))
			** [[ArunMajumdar\|Arun Majumdar]]: @Anatoly Levenchuk I think your distinction between "interactive" models is very important!!! See for example the interactionist paradigm of computing by Peter Wegner and Dinah Goldin.

			* [[RaviSharma\|Ravi Sharma]]: Anatoly would you call L4 Contemplative?
			** [[AnatolyLevenchuk\|Anatoly Levenchuk]]: No. All models about activity (enactive cognition, activity is everywhere).

			* [[RaviSharma\|Ravi Sharma]]: Generation Differentiation is described, how do you integrate to get all facts together that means knowledge?
			** [[AnatolyLevenchuk\|Anatoly Levenchuk]]: I simply deny all guesses that give problems in inference. All survived guesses are integrated (i.e., not give errors in inference).

			* [[RaviSharma\|Ravi Sharma]]: Last Q for Anatoly, how do you introduce value systems in these cognitive architectures other than through social media etc.

			* [[DouglasMiles\|Douglas Miles]]: The most interesting and confusing thing about LLMs is we have no idea how to teach them any new skills... other than: We fire a hose of data and text at them and just pray

			* [[AmitSheth\|Amit Sheth]]: About passing Turing Test: Counter Turing Test CT^2: AI-Generated Text Detection is Not as Easy as You May Think -- Introducing AI Detectability Index, https://lnkd.in/gr6cizEZ
			** [[ArunMajumdar\|Arun Majumdar]]: The distinction between "human" and machine is being attacked on stylometric principles but this is very hard as computer GPT outputs are mixed with human inputs ...

			* [[RaviSharma\|Ravi Sharma]]: What efforts are likely to succeed in making ChatGPT more accurate?
			** [[ArunMajumdar\|Arun Majumdar]]: @Ravi Sharma so our approach is to use Conceptual Graphs as our formal knowledge graph approach to creating a "surrogate" model to drive the LLM/GPTs.

			* [[ArunMajumdar\|Arun Majumdar]]: We (John and I) are not focused on the detection problem because that is something that is not related to our primary focus in knowledge graphs (Conceptual Graphs) as a formalism for symbolic AI with Generative AI.
			** [[ArunMajumdar\|Arun Majumdar]]: I can share screenshots that compares what we do to what others do. Basically, zero-hallucinations. We can look at a simple hallucination problem later after John's talk if needed. Ken has my screenshots.

			* [[RaviSharma\|Ravi Sharma]]: Is math not derived from metaphysics?
			** [[ArunMajumdar\|Arun Majumdar]]: Math is one of the great abstractions of human kind that is a formal but extremely open field for creativity. The key is that creativity in math is often understated. Closed World Models (CWMs) which include LLMs are not capable of creating outside something that they have been input (in their ML training, even with human reinforcement feedback learning).
			** [[ArunMajumdar\|Arun Majumdar]]: Tuning a GPT or LLM is still a closed world model.
			** [[ArunMajumdar\|Arun Majumdar]]: Semiotic models differ - the semiotics of Saussure are different to Pierce. One is dyadic, and the other is triadic. So the semiotics matter. These distinctions are not involved in GPT/LLM constructs. However, this important distinction may be approachable in the future.
			** [[ArunMajumdar\|Arun Majumdar]]: The patterns in mathematics are not probabilistic. They are driven by rational principles. So these are different things.
			** [[ArunMajumdar\|Arun Majumdar]]: You can use probability, like you can use a million monkeys typing with probabilistic bias to get some pattern candidates but there is no deep insight or principle driving these outputs.

			* [[RaviSharma\|Ravi Sharma]]: LLM and cognitive scientists and cog-memory well explained.

			* [[JanetSinger\|Janet Singer]]: Question for Anatoly re 4E cognition. Shift to 4E seems to be the key for appreciating and taking advantage of human-machine teaming opportunities post LLM revolution. But do you see 4E as applicable to software AIs separated from humans? Or just to robots (arguably embodied and embedded if in limited sense)? Or is it that we are the 4E extensions of the software AIs?

			* [[ArunMajumdar\|Arun Majumdar]]: @Anatoly Levenchuk Behavior is not truly just a random process. There is "intention" in living beings - such as the need to survive and thrive. Stochastics are a way to study behavior, to mimic some behaviors but the complexity of goal-driven and intentful behavior is actually much more complex than probabilities.

			* [[ArunMajumdar\|Arun Majumdar]]: Permion uses tensor mathematics but in the logical formalisms so that predications and symbolic logic has a mapping to/from from the tensorial structures. There are several emerging developments including, for example, the exploration of alternatives algebras such as Clifford or Geometric algebras beyond the conventional real valued Gibbs algebras used nowadays.

			* [[DavidEddy\|David Eddy]]: 1.5M LoC is NOT a big system

			* [[DouglasMiles\|Douglas Miles]]: The earth may not be round enough to have a completely circular cord
			** [[DouglasMiles\|Douglas Miles]]: It takes a person that had experience beyond words to answer that
			** [[AndreaWesterinen\|Andrea Westerinen]]: This is a reference to a thought experiment discussed by John Sowa - about a circular cord around the earth's equator, and adding 1 yard to it. It raises the cord to approx 6" above the ground.

			* [[MikeBennett\|Mike Bennett]]: For those of us not from the US, what is the capital of Alaska? It feels like this is a vital plot point.
			** [[AndreaWesterinen\|Andrea Westerinen]]: This is a reference to a ChatGPT response in John's/Arun's presentation - that Juneau is the capital of Alaska, but there have been attempts to move the capital to another city.

			* [[RaviSharma\|Ravi Sharma]]: Arun Say more about scaffolding. Is it only E and R and detailed parsed later, but using what rules?
			** [[ArunMajumdar\|Arun Majumdar]]: Scaffolding is based on purely mathematical methods based on the Zipf distribution laws of terminologies and the H-Point of the Zipf distribution and Eigen computation methods to identify the modules of graph structures from the text. Scaffolding provides a language
			agnostic foundation.

			* [[DaleFitch\|Dale Fitch]]: Is your "logic" an ontology?
			** [[ArunMajumdar\|Arun Majumdar]]: Yes we induce and also human update the "ontology" but the logic is using the ontology

			* [[DavidEddy\|David Eddy]]: Thank you Ken, John, Arun & Anatoly.

	== Resources ==		== Resources ==

Forum: /* Resources */

2023-11-08T21:28:25Z

Resources

← Older revision		Revision as of 21:28, 8 November 2023
Line 47:		Line 47:
	== Resources ==		== Resources ==
	* [https://bit.ly/3QMfqZj Video Recording]		* [https://bit.ly/3QMfqZj Video Recording]
			* [https://youtu.be/G4S-Zrc5qUk YouTube Video]

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

Forum: /* Resources */

2023-11-08T20:45:37Z

Resources

← Older revision		Revision as of 20:45, 8 November 2023
Line 46:		Line 46:

	== Resources ==		== Resources ==
			* [https://bit.ly/3QMfqZj Video Recording]

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

Forum: /* Agenda */

2023-11-08T20:45:23Z

Agenda

← Older revision		Revision as of 20:45, 8 November 2023
Line 31:		Line 31:
	** [https://bit.ly/464bRlF John's Slides]		** [https://bit.ly/464bRlF John's Slides]
	** [https://bit.ly/475rpH1 Arun's Slides]		** [https://bit.ly/475rpH1 Arun's Slides]
			* [https://bit.ly/3QMfqZj Video Recording]

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

← Older revision		Revision as of 23:20, 12 November 2023
Line 117:		Line 117:

	* [[MikeBennett\|Mike Bennett]]: For those of us not from the US, what is the capital of Alaska? It feels like this is a vital plot point.		* [[MikeBennett\|Mike Bennett]]: For those of us not from the US, what is the capital of Alaska? It feels like this is a vital plot point.
	** [[AndreaWesterinen\|Andrea Westerinen]]: This is a reference to a ChatGPT response in John's/Arun's presentation - that Juneau is the capital of Alaska, but there have been attempts to move the capital to another city.		** [[AndreaWesterinen\|Andrea Westerinen]]: This is a reference to a ChatGPT response in John's/Arun's presentation - that Juneau is the capital of Alaska, but there have been attempts to move the capital to another city. And, the underlying issue is whether this information was in the provided training data/corpus (e.g., could you track provenance?)

	* [[RaviSharma\|Ravi Sharma]]: Arun Say more about scaffolding. Is it only E and R and detailed parsed later, but using what rules?		* [[RaviSharma\|Ravi Sharma]]: Arun Say more about scaffolding. Is it only E and R and detailed parsed later, but using what rules?

← Older revision		Revision as of 17:18, 9 November 2023
Line 42:		Line 42:

	== Participants ==		== Participants ==
			* [[JohnSowa\|John Sowa]]
			* [[ArunMajumdar\|Arun Majumdar]]
			* [[AnatolyLevenchuk\|Anatoly Levenchuk]]
			* [[KenBaclawski\|Ken Baclawski]]
			* [[AndreaWesterinen\|Andrea Westerinen]]
			* [[MikeBennett\|Mike Bennett]]
			* [[RaviSharma\|Ravi Sharma]]
			* [[MichaelDeBellis\|Michael DeBellis]]
			* [[SusanneVejdemo\|Susanne Vejdemo]]
			* [[ToddSchneider\|Todd Schneider]]
			* [[JanetSinger\|Janet Singer]]
			* [[DouglasMiles\|Douglas Miles]]
			* [[GaryBergCross\|Gary Berg-Cross]]
			* [[AmitSheth\|Amit Sheth]]
			* [[DavidEddy\|David Eddy]]
			* [[DaleFitch\|Dale Fitch]]

	== Discussion ==		== Discussion ==

← Older revision		Revision as of 17:14, 9 November 2023
Line 44:		Line 44:

	== Discussion ==		== Discussion ==
			* [[RaviSharma\|Ravi Sharma]]: When I think about models, it is not necessarily graph or even video but something like a kind of vision mind-based understanding and yes I express it often in language or express math using the language also.
			** [[AnatolyLevenchuk\|Anatoly Levenchuk]]: Yes, any form. But if it (model) has patterns then you can consider it as text -- semiotics tell us "all is texts of patterns as letters". Pattern languages are about behavior as a text (chain of patterns). Mathematics is about patterns too.

			* [[MichaelDeBellis\|Michael DeBellis]]: I don't understand what the speaker means by quantum/digital memory.
			** [[AnatolyLevenchuk\|Anatoly Levenchuk]]: It is about exact copy of information, information is about difference. 1 bit is a result of measurement. To evolution can proceed, you need genes as exactly copied information about results of previous evolution steps. If you have not digital/quantum/discrete form for exact copying, you cannot accumulate knowledge, error in analog form will be prohibitive for evolution.

			* [[RaviSharma\|Ravi Sharma]]: Second bullet can you expand how cognition and quantum memory are understood?
			** [[MikeBennett\|Mike Bennett]]: That is the 2nd bullet of Slide 3 (for later reference in the Q&A)
			** [[AndreaWesterinen\|Andrea Westerinen]]: This is discussed at the end of the talk, in the Q&A

			* [[RaviSharma\|Ravi Sharma]]: Generative and interactive models, how will these be integrated at different levels?
			** [[AnatolyLevenchuk\|Anatoly Levenchuk]]: Generative and discriminative (not interactive) models. You can ask about any models, but get different types of answers: possible worlds descriptions from generative models and classification labels from discriminative models. With many nuances, sure )))
			** [[ArunMajumdar\|Arun Majumdar]]: @Anatoly Levenchuk I think your distinction between "interactive" models is very important!!! See for example the interactionist paradigm of computing by Peter Wegner and Dinah Goldin.

			* [[RaviSharma\|Ravi Sharma]]: Anatoly would you call L4 Contemplative?
			** [[AnatolyLevenchuk\|Anatoly Levenchuk]]: No. All models about activity (enactive cognition, activity is everywhere).

			* [[RaviSharma\|Ravi Sharma]]: Generation Differentiation is described, how do you integrate to get all facts together that means knowledge?
			** [[AnatolyLevenchuk\|Anatoly Levenchuk]]: I simply deny all guesses that give problems in inference. All survived guesses are integrated (i.e., not give errors in inference).

			* [[RaviSharma\|Ravi Sharma]]: Last Q for Anatoly, how do you introduce value systems in these cognitive architectures other than through social media etc.

			* [[DouglasMiles\|Douglas Miles]]: The most interesting and confusing thing about LLMs is we have no idea how to teach them any new skills... other than: We fire a hose of data and text at them and just pray

			* [[AmitSheth\|Amit Sheth]]: About passing Turing Test: Counter Turing Test CT^2: AI-Generated Text Detection is Not as Easy as You May Think -- Introducing AI Detectability Index, https://lnkd.in/gr6cizEZ
			** [[ArunMajumdar\|Arun Majumdar]]: The distinction between "human" and machine is being attacked on stylometric principles but this is very hard as computer GPT outputs are mixed with human inputs ...

			* [[RaviSharma\|Ravi Sharma]]: What efforts are likely to succeed in making ChatGPT more accurate?
			** [[ArunMajumdar\|Arun Majumdar]]: @Ravi Sharma so our approach is to use Conceptual Graphs as our formal knowledge graph approach to creating a "surrogate" model to drive the LLM/GPTs.

			* [[ArunMajumdar\|Arun Majumdar]]: We (John and I) are not focused on the detection problem because that is something that is not related to our primary focus in knowledge graphs (Conceptual Graphs) as a formalism for symbolic AI with Generative AI.
			** [[ArunMajumdar\|Arun Majumdar]]: I can share screenshots that compares what we do to what others do. Basically, zero-hallucinations. We can look at a simple hallucination problem later after John's talk if needed. Ken has my screenshots.

			* [[RaviSharma\|Ravi Sharma]]: Is math not derived from metaphysics?
			** [[ArunMajumdar\|Arun Majumdar]]: Math is one of the great abstractions of human kind that is a formal but extremely open field for creativity. The key is that creativity in math is often understated. Closed World Models (CWMs) which include LLMs are not capable of creating outside something that they have been input (in their ML training, even with human reinforcement feedback learning).
			** [[ArunMajumdar\|Arun Majumdar]]: Tuning a GPT or LLM is still a closed world model.
			** [[ArunMajumdar\|Arun Majumdar]]: Semiotic models differ - the semiotics of Saussure are different to Pierce. One is dyadic, and the other is triadic. So the semiotics matter. These distinctions are not involved in GPT/LLM constructs. However, this important distinction may be approachable in the future.
			** [[ArunMajumdar\|Arun Majumdar]]: The patterns in mathematics are not probabilistic. They are driven by rational principles. So these are different things.
			** [[ArunMajumdar\|Arun Majumdar]]: You can use probability, like you can use a million monkeys typing with probabilistic bias to get some pattern candidates but there is no deep insight or principle driving these outputs.

			* [[RaviSharma\|Ravi Sharma]]: LLM and cognitive scientists and cog-memory well explained.

			* [[JanetSinger\|Janet Singer]]: Question for Anatoly re 4E cognition. Shift to 4E seems to be the key for appreciating and taking advantage of human-machine teaming opportunities post LLM revolution. But do you see 4E as applicable to software AIs separated from humans? Or just to robots (arguably embodied and embedded if in limited sense)? Or is it that we are the 4E extensions of the software AIs?

			* [[ArunMajumdar\|Arun Majumdar]]: @Anatoly Levenchuk Behavior is not truly just a random process. There is "intention" in living beings - such as the need to survive and thrive. Stochastics are a way to study behavior, to mimic some behaviors but the complexity of goal-driven and intentful behavior is actually much more complex than probabilities.

			* [[ArunMajumdar\|Arun Majumdar]]: Permion uses tensor mathematics but in the logical formalisms so that predications and symbolic logic has a mapping to/from from the tensorial structures. There are several emerging developments including, for example, the exploration of alternatives algebras such as Clifford or Geometric algebras beyond the conventional real valued Gibbs algebras used nowadays.

			* [[DavidEddy\|David Eddy]]: 1.5M LoC is NOT a big system

			* [[DouglasMiles\|Douglas Miles]]: The earth may not be round enough to have a completely circular cord
			** [[DouglasMiles\|Douglas Miles]]: It takes a person that had experience beyond words to answer that
			** [[AndreaWesterinen\|Andrea Westerinen]]: This is a reference to a thought experiment discussed by John Sowa - about a circular cord around the earth's equator, and adding 1 yard to it. It raises the cord to approx 6" above the ground.

			* [[MikeBennett\|Mike Bennett]]: For those of us not from the US, what is the capital of Alaska? It feels like this is a vital plot point.
			** [[AndreaWesterinen\|Andrea Westerinen]]: This is a reference to a ChatGPT response in John's/Arun's presentation - that Juneau is the capital of Alaska, but there have been attempts to move the capital to another city.

			* [[RaviSharma\|Ravi Sharma]]: Arun Say more about scaffolding. Is it only E and R and detailed parsed later, but using what rules?
			** [[ArunMajumdar\|Arun Majumdar]]: Scaffolding is based on purely mathematical methods based on the Zipf distribution laws of terminologies and the H-Point of the Zipf distribution and Eigen computation methods to identify the modules of graph structures from the text. Scaffolding provides a language
			agnostic foundation.

			* [[DaleFitch\|Dale Fitch]]: Is your "logic" an ontology?
			** [[ArunMajumdar\|Arun Majumdar]]: Yes we induce and also human update the "ontology" but the logic is using the ontology

			* [[DavidEddy\|David Eddy]]: Thank you Ken, John, Arun & Anatoly.

	== Resources ==		== Resources ==