Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail From: Mild Shock Newsgroups: sci.math Subject: The current Sputnik Shock (Re: Was Poincare crushed by the New) Date: Mon, 6 Jan 2025 10:07:21 +0100 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Mon, 6 Jan 2025 09:07:21 -0000 (UTC) Injection-Info: solani.org; logging-data="2398365"; mail-complaints-to="abuse@news.solani.org" User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Firefox/91.0 SeaMonkey/2.53.19 Cancel-Lock: sha1:KFNs+lH0cgT7pY9Xv9AFOuX3Ppo= In-Reply-To: X-User-ID: eJwFwQkRADAIAzBLfC03ObCBfwlL4FTeDIKBxaakdpHQ8E5zlXRGvxrLkJ37Gv5E4sBpFXJQNpNXN2pwPii9FLw= Hi, The stance of LLMs towards ontology is a little special. Asking OpenAI it tells me that LLMs can behave as follows: - Interpret Ontologies: Given descriptions or structured data from ontologies, they can understand and process relationships, classes, and properties. - Generate Ontology Components: They can help draft classes, properties, or rules for ontologies when provided with a domain description or examples. - Explain Ontologies: They can interpret and explain the structure and intent of an ontology for end-users. I know at least of one project that tries to tap into that, especially inputing a natural language text and asking description components. The expected problems are hallucination, informality and rigidity. But since our whole education system is mainly based on NEW Logic and not OLD Logic, which is somehow tacitly assumed. And since LLMs have quite some grass root dynamics, with YouTube videos platforms having replaced the academic discussion forums and are now influencing the terminology in the domain. The whole matter feels like a bad joke, like waking up in a Keeping Up with the Kardashians comedy. Just like here: A New Lexicon and Its Implications https://www.computer.org/csdl/magazine/it/2024/05/10754993/21THeGJDXUI Bye A New Lexicon and Its Implications https://www.computer.org/csdl/magazine/it/2024/05/10754993/21THeGJDXUI FIGURE 5. Partial list of emergent generative AI terminology. Mild Shock schrieb: > Poincare had quite some problems with the > formal revolution that took place as well > in the last 100 or more years, starting with > > things like naive set theory and its antinomies, > ending with computer formalized proofs of the Keppler > packing nowadays. He wrote a lengthy book: > > Science and method > by Poincaré, Henri, 1854-1912 > https://archive.org/details/sciencemethod00poinuoft/page/n3/mode/2up > > His struggle starts at page 160, The New Logics. > Similar Einstein was New Mechanics for him. > Mostlikely Poincaré nowadays would be a form of > > Sabine Hossenfelder with 100 YouTube videos and > possibly many followers. Poincaré faced the > destiny of any old fart that became irrelevant > > over the time and turned into a commentator.