January 2024 - CG - lists.cs.uni-kassel.de

The object of reasoning is to find out …

by Jon Awbrey

The object of reasoning is to find out … • https://inquiryintoinquiry.com/2024/01/23/the-object-of-reasoning-is-to-fin… ❝No longer wondered what I would do in life but defined my object.❞ — C.S. Peirce • “My Life, written for the Class-Book” (1861) ❝The object of reasoning is to find out, from the consideration of what we already know, something else which we do not know.❞ — C.S. Peirce • “The Fixation of Belief” (1877) If the object of an investigation is to find out something we do not know then the clues we discover along the way are the signs which determine that object. People will continue to be confused about determination so long as they can think of no other forms but analytic-behaviorist-causal-dyadic-temporal, object-as-stimulus, sign-as-response varieties. It's true ordinary language biases us toward billiard‑ball styles of dyadic determination but there are triadic forms of constraint, determination, and interaction not captured by S‑R chains of that order. A pragmatic‑semiotic object is anything we talk or think about and semiosis does not conduct its transactions within the bounds of object-as-cue, sign-as-cue-ball, and interpretants as solids, stripes, or pockets. References — Peirce, C.S. (1859–1861), “My Life, written for the Class-Book”, pp. 1–3 in Writings of Charles S. Peirce : A Chronological Edition, Volume 1, 1857–1866, Peirce Edition Project, Indiana University Press, Bloomington, IN, 1982. • https://inquiryintoinquiry.com/2016/03/16/abduction-deduction-induction-ana… Peirce, C.S. (1877), “The Fixation Of Belief”, Popular Science Monthly 12 (Nov 1877), pp. 1–15. Reprinted in Collected Papers, CP 5.358–387. • https://www.cspeirce.com/menu/library/bycsp/fixation/fx-main.htm#CP5.365 • https://www.cspeirce.com/menu/library/bycsp/fixation/fx-frame.htm Regards, Jon cc: https://www.academia.edu/community/5kKDw5 cc: https://mathstodon.xyz/@Inquiry/111806330146461931

11 months

1
0
0 0

Differential Propositional Calculus • Discussion

by Jon Awbrey

Differential Propositional Calculus • Discussion 7 • https://inquiryintoinquiry.com/2023/12/02/differential-propositional-calcul… Re: Differential Propositional Calculus • Discussion 1 • https://inquiryintoinquiry.com/2020/03/12/differential-propositional-calcul… All, Reinaldo Cristo asks what I think of the following thesis: ❝We can say that emptiness came first, as it is the basis of the invention of mathematics, our perception, and numerical base 2. Do you agree or disagree?❞ I reply as follows: A great many things in life and mathematics are built up through the persistent application of the most elementary steps to the humblest of beginnings. So there may be something to that. Regards, Jon cc: https://www.academia.edu/community/leKpQV

11 months

1
2
0 0

Inquiry Driven Systems • In the Way of Inquiry

by Jon Awbrey

In the Way of Inquiry • Recircus • https://inquiryintoinquiry.com/2023/01/06/in-the-way-of-inquiry-recircus-a/ ❝I must lie down where all the ladders start In the foul rag and bone shop of the heart.❞ — W.B. Yeats • https://web.archive.org/web/20200402124816/https://www.web-books.com/Classi… I have in mind circling back to a point in my project on Inquiry Driven Systems, namely, the chapter addressing various Obstacles to the Project. Overview • https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Overview Obstacles • https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_5#Obstacles Regards, Jon cc: https://www.academia.edu/community/5wyx1L cc: https://mathstodon.xyz/@Inquiry/111711093052443586

11 months

1
12
0 0

Free download of an excellent book on NLP

by John F Sowa

Juravsky and Martin have released a draft of the latest version of their book: Speech and Language Processing. Daniel Jurafsky & James H. Martin. Copyright © 2023. All rights reserved. Draft of January 5, 2024. https://web.stanford.edu/~jurafsky/slpdraft/ I tried to download a copy of the whole book, but it was not available. However, it's possible to download the PDFs, chapter by chapter. The newest chapters (11 and 12) are about LLMs and related issues. Since the authors are well-known experts on NLP, I would have more trust in their knowledge and evaluation of LLMs than I would of most writings on this topic. My only concern is that they put a strong emphasis on NN methods and don't say enough about other methods for AI and NLP. But that can be remedied by reading books and articles on a broader range of topics. John

11 months, 1 week

1
0
0 0

Re: [fca-list] Warning: Predatory conference on "FCA"

by Polovina, Simon (BTE)

Hi Gerd / list. Thanks for the updates! I've cc'd the CG list, given the URL looks different from the one you used. Simon www.polovina.me.uk -----Original Message----- From: Gerd Stumme <stumme(a)cs.uni-kassel.de> Sent: Wednesday, January 17, 2024 9:47 AM To: fca-list(a)cs.uni-kassel.de; cg-list(a)cs.uni-kassel.de Subject: [fca-list] Warning: Predatory conference on "FCA" Dear all, there is currently a call on the web for "ICFCA 2024: 18. International Conference on Formal Concept Analysis", organized by the "World Academy of Science, Engineering and Technology" [1] in April 2024 in New York. Please note that this is a predatory conference! For not promoting this fake event further, I refrain from adding a link. Wikipedia is describing the predatory nature of this organisation. Please note that this year, ICFCA is joining with CLA and ICCS, as previously announced. The joint conference, CONCEPTS 2024, is going to be held at Cádiz, Spain on September 9-13. Deadlines are March 6 for the journal track and March 18 for the proceedings track. Details can be found at https://concepts2024.uca.es/ Best regards, Gerd ...

11 months, 1 week

1
0
0 0

1) Fake ICFCA 2) CONCEPTS 2024

by Polovina, Simon (BTE)

FYI -----Original Message----- From: Gerd Stumme <stumme(a)cs.uni-kassel.de> Sent: Wednesday, January 17, 2024 9:47 AM To: fca-list(a)cs.uni-kassel.de; cg-list(a)cs.uni-kassel.de Subject: [fca-list] Warning: Predatory conference on "FCA" Dear all, there is currently a call on the web for "ICFCA 2024: 18. International Conference on Formal Concept Analysis", organized by the "World Academy of Science, Engineering and Technology" [1] in April 2024 in New York. Please note that this is a predatory conference! For not promoting this fake event further, I refrain from adding a link. Wikipedia is describing the predatory nature of this organisation. Please note that this year, ICFCA is joining with CLA and ICCS, as previously announced. The joint conference, CONCEPTS 2024, is going to be held at Cádiz, Spain on September 9-13. Deadlines are March 6 for the journal track and March 18 for the proceedings track. Details can be found at https://concepts2024.uca.es/ Best regards, Gerd -- Prof. Dr. Gerd Stumme, Hertie Chair of Knowledge & Data Engineering & Research Center for Information System Design (ITeG) & International Center for Higher Education Research (INCHER), University of Kassel & Research Center L3S & The Hessian Center for Artificial Intelligence (hessian.AI) _______________________________________________ fca-list mailing list -- fca-list(a)cs.uni-kassel.de To unsubscribe send an email to fca-list-leave(a)cs.uni-kassel.de

11 months, 1 week

1
0
0 0

In the Way of Inquiry • Discussion

by Jon Awbrey

In the Way of Inquiry • Discussion 1 • https://inquiryintoinquiry.com/2024/01/15/in-the-way-of-inquiry-discussion-… Re: In the Way of Inquiry • Justification Trap • https://inquiryintoinquiry.com/2023/01/10/in-the-way-of-inquiry-justificati… Re: Academia.edu • Bhupinder Singh Anand • https://www.academia.edu/community/5kQ3wL?c=vXZl8g BSA: ❝Thanks for highlighting what I perceive as some challenging issues in the foundations of what we seek to term as “Knowledge” and “Truth”. … ❞ Hi Bhupinder, Just by way of venturing a few links between different schools of thought, a very rough hint of the pragmatic approach to truth and knowledge can be found in a fork of the Wikipedia article I helped write many years ago. Pragmatic Theory Of Truth • https://oeis.org/wiki/Pragmatic_Theory_Of_Truth which begins as follows … “Pragmatic theory of truth” refers to those accounts, definitions, and theories of the concept “truth” distinguishing the philosophies of pragmatism and pragmaticism. The conception of truth in question varies along lines reflecting the influence of several thinkers, initially and notably, Charles Sanders Peirce, William James, and John Dewey, but a number of common features can be identified. The most characteristic features are (1) a reliance on the “pragmatic maxim” as a means of clarifying the meanings of difficult concepts, “truth” in particular, and (2) an emphasis on the fact that the product variously branded as belief, certainty, knowledge, or truth is the result of a process, namely, “inquiry”. Document History • https://oeis.org/wiki/Pragmatic_Theory_Of_Truth#Document_history Regards, Jon cc: https://www.academia.edu/community/VXpQ9V cc: https://mathstodon.xyz/@Inquiry/111761975504300824

11 months, 1 week

1
0
0 0

Re: Riffs and Rotes

by Jon Awbrey

Riffs and Rotes • Happy New Year 2024 • https://inquiryintoinquiry.com/2024/01/02/riffs-and-rotes-happy-new-year-20… Let pₙ = the n-th prime. Then 2024 = 2³∙11∙23 = p₁³∙p₅∙p₉ = p₁^p₂ ∙ p_p₃ ∙ p_p₂² = p₁^p_p₁ ∙ p_p_p₂ ∙ p_p_p₁^p₁ = p₁^p_p₁ ∙ p_p_p_p₁ ∙ p_p_p₁^p₁ No information is lost by dropping the terminal 1s. Thus we may write the following form. • 2024 = = p^p_p ∙ p_p_p_p ∙ p_p_p^p The article referenced below tells how forms like that correspond to a family of digraphs called “riffs” and a family of graphs called “rotes”. The riff and rote for 2024 are shown in the next two Figures. Riff 2024 • https://inquiryintoinquiry.files.wordpress.com/2024/01/riff-2024.png Rote 2024 • https://inquiryintoinquiry.files.wordpress.com/2024/01/rote-2024.png Riffs and Rotes • https://oeis.org/wiki/Riffs_and_Rotes Happy New Year! Jon cc: https://www.academia.edu/community/lK1anV

11 months, 3 weeks

1
0
0 0

More about the limitations of LLMs

by John F Sowa

I came across more articles that explain the limitations of LLMs. The first is a detailed article about the inability of LLMs to generalize beyond the content of what is stored in their huge volume of data that creates an immense amount of global warming to generate and use. Since the authors work for Google DeepMind, they cannot be considered prejudiced against LLM technology. The issues are complex, and the authors explain how some generalization is possible. But the generality of a 1960-style theorem prover cannot be achieved with the latest and greatest LLMs: https://arxiv.org/pdf/2311.00871.pdf The second is a standard for HSTP; IEEE P2874 Spatial Web Protocol, Architecture and Governance Standard. SWF and IEEE SA are collaborating on a socio-technical governance and system standard for the Spatial Web. The collaboration meets rigorous requirements to become a globally adopted IEEE standard, informed by IEEE’s Ethically-Aligned Design P7000 Series, and focused on Autonomous Intelligent Systems. The formation of the IEEE P2874 Spatial Web Working Group was deemed a “public imperative.” Important point: Vastly more information -- in kinds, amount, and precision -- can be represented spatially than linguistically. Anything that can be observed by any animal eye or any kind of instrument can be encoded, transmitted, transformed, and regenerated anywhere by any kind of computer or other device. Peirce's goal of generalizing EGs to represent three dimensional moving images can now be achieved by the HSTP protocol. This representation might not be humanly attractive, but it could be transformed to and from images of any kind -- including whatever Peirce might have invented or hoped to invent. The third explains the implications of Friston's work on active inference: Unlocking the Future of AI: Active Inference vs. LLMs by Denise Holt, https://medium.com/aimonks/unlocking-the-future-of-ai-active-inference-vs-l… Denise H. apparently works for Verses AI, and it's possible that the company might not achieve everything they hope for on a schedule they hope for. But the ideas are sound, and I'm sure that somebody will implement something along these lines in a few more years. When they do, LLMs will still be useful for representing the user interface. See below for some implications. But the reasoning methods will be put on a sound basis, and the immense volume of stored LLMs will be irrelevant. As for AGI -- the short answer is "piffle". Happy New Year, John _________________________ The rise of Large Language Models (LLMs) like OpenAI’s ChatGPT, has stirred endless excitement and curiosity about the capabilities of Artificial Intelligence. These systems have the remarkable ability to generate human-like text and engage in diverse conversations, fueling expectations for AI’s future. However, as impressive as LLMs are, they have inherent limitations when compared to this new revolutionary approach to artificial intelligence known as Active Inference. Let’s dive into the fundamental differences between LLMs and Active Inference and why the latter is positioned to emerge as a vanguard of the future of AI. Limitations of LLMs: Content Creation vs. Real-World Operations LLMs are powered by deep learning on massive datasets, allowing them to recognize linguistic patterns attuned to various subject matter and generate outputs that seem coherent. However, this statistical pattern matching does not equate to true intelligence or understanding of the world. LLMs fall short in several critical aspects: 1. Contextual Awareness: LLMs lack the ability to actively perceive or reason about real-world situations as they unfold. Their operation solely depends on the data they were trained on, devoid of real-time sensory input. 2. Explainability: Understanding the decision-making processes of LLMs is an elusive challenge. Their outputs are essentially probabilistic guesses, even if fluently phrased. 3. Grounding in Reality: They hallucinate or fabricate responses outside their training distribution, unconstrained by real world knowledge, blurring the line between fact and fabrication. 4. Ability to Take Action — LLMs cannot act on their environment or test hypotheses through exploring the world. They are passive systems. These deficiencies make LLMs poorly suited for most real-world applications, especially those requiring nuanced situational understanding or the ability to operate autonomously in dynamic physical environments. Their strengths lie more in generating content, ideas, and prose based on recognizing patterns in immense datasets. In fact, a recent paper by Google provides evidence that transformers (GPT, etc) are unable to generalize beyond their training data. “We find strong evidence that the model can perform model selection among pre-trained function classes during in-context learning at a little extra statistical cost, but limited evidence that the models’ in-context learning behavior is capable of generalizing beyond their pre-training data.” The Paradigm Shift — Active Inference: The Future of AI Active Inference, based on the Free Energy Principle developed by Dr. Karl J. Friston, world reknowned neuroscientist and Chief Scientist at VERSES AI, represents a paradigm shift in AI. Active Inference AI is modeled after how the human brain and biological systems work. Through this method, an Intelligent Agent is able to continuously sense its environment, take action in real-time based on that sensory input, and update its internal model of the world — just like humans do. This sets it apart from other AI approaches that are static and cannot adapt and evolve in real-time. Active Inference has the capability to start off at a basic level and rapidly evolve in intelligence over time, similar to how a human child develops. This positions it to continuously improve and adapt as it accumulates more experiences and knowledge, making it far more advanced than current AI. Active Inference also possesses two unique capabilities. Human laws and guidelines can be programmed into these systems, and they will abide by them in real-time, and these autonomous systems are also capable of introspection. They can report on their own processing and decisions, making them completely auditable. This gives them an unparalleled advantage in being able to grow and evolve in collaboration and cooperation alongside humans. In contrast to deep learning, active inference is founded on principles of embodied cognition and Bayesian inference, delivering several key attributes: Active Inference as Embodied AI: > Sensory Integration and Real-Time Interaction: Active inference AI mimics human abilities to sense, perceive, and interact with the world in real time. It can see, hear, touch, and respond to environmental stimuli, similar to human sensory processing. > World Modeling and Decision Making: This AI continuously updates its world model, akin to how humans learn and adapt. This evolving understanding allows it to engage in complex decision-making and problem-solving tasks. > Planetary Management and Support: Active inference AI’s capabilities extend to managing large-scale systems like climate, biodiversity, and energy flows. It is envisioned to support and protect every individual and living entity on the planet, much like a global caretaker. Unique Advantages and Benefits: > Adaptability and Evolution: Unlike traditional AI, Active Inference AI evolves continually. It’s self-evolving, self-organizing, and self-optimizing, aligning with the concept of autopoiesis — a system capable of reproducing and maintaining itself. > Comprehensive Application Spectrum: The AI’s capability extends far beyond current AI applications. It can address real-time updating and adaptable scenarios, making it ideal for complex tasks like running supply chains or smart cities. > Holistic Integration: The technology is seen as bringing the planet to life, integrating the digital and physical worlds, and transforming the planet into a ‘digital organism’. This holistic approach signifies a major leap in AI capabilities. This manifests in a new type of AI that is capable of: · Perpetual Learning: Active inference agents continually update their beliefs by interacting with the world in real-time, integrating new observations into their internal model of how the world works. · Contextual Awareness: By gathering multisensory input, agents build a dynamic understanding of unfolding situations, enabling complex reasoning and planning. · Embodiment: Agents learn faster and perform better when they are embodied in simulated or physical forms, allowing them to test hypotheses through action. · Explainability: An agent’s beliefs, desires, and decision-making processes are transparent and grounded in its observations and prior knowledge. · Flexible Cognition: Active Inference agents can seamlessly transfer knowledge across diverse contexts and challenges, similar to human adaptability. These attributes make Active Inference a groundbreaking approach to AI, but what takes it beyond the horizon is the integration with the universal network of the Spatial Web. The Spatial Web: The Framework for Distributed and Multi-scale Intelligence Active Inference’s potential is amplified when it converges with the Spatial Web Protocol, HSTP (Hyperspace Transaction Protocol) and HSML (Hyperspace Modeling Language). This convergence unleashes a distributed form of Active Inference and fosters collective intelligence among multitudes of Intelligent Agents. HSTP: The Backbone of Distributed Active Inference At the core of this integration is HSTP, the Hyperspace Transaction Protocol, serving as the digital nervous system. It enables seamless communication and data exchange among various technologies, sensors, machines, and Intelligent Agents, unifying them on a common network, creating a dynamic, real-time ecosystem. HSTP captures real-time data from multiple sources, forging a comprehensive contextual understanding of any given situation, much like the human nervous system. HSML: The Lingua Franca of the Spatial Web HSML, the Hyperspace Modeling Language, plays a pivotal role in this orchestration. It’s not just a language; it’s the bridge between diverse technologies and agents in the Spatial Web. By programming context into the digital twin spaces of every element in the world, HSML creates a unifying layer that resonates across the entire network. HSML acts as the translator in a multilingual conversation, ensuring every technology, sensor, machine, and Intelligent Agent can comprehend and communicate effectively. The World Model: A Living, Breathing Entity This ingenious amalgamation of Active Inference with HSTP and HSML gives birth to a comprehensive “world model,” providing an evolutionary pathway to AGI and beyond. This world model is not a static representation; it’s a living, breathing entity that continuously adapts and evolves in real time. It’s the digital twin of the real world, reflecting the ever-changing dynamics, interactions, and complexities of the environment it models. With HSTP and HSML, the world model acquires a depth of understanding that transcends the capabilities of traditional AI models. It gains the ability to perceive, reason, and adapt to real-time events with unparalleled accuracy. It becomes the foundation for all perception, decision-making, and action within the AI system. In essence, smart cities will function like a digital organism, paralleling the human body’s brain and nervous system. They utilize a dynamic, holographic world model, constantly updated by real-time sensor data, analogous to sensory neurons. This model represents various aspects of the city, climate, or other environments and is linked to the Internet of Things (IoT), which includes drones, robots, and automated systems. These elements act like motor neurons, executing changes in the physical world. The sensory network then updates the world model based on these changes, creating a feedback loop. This process depicts the evolution of intelligence, where the system continuously refines its understanding and interaction with the world, reducing surprises through accurate inferences from the current world model. The Free Energy Principle provides the mathematical framework for this evolutionary process. While Natural Selection explains the evolution of physical bodies in animals, the evolution of world models can be considered a branch of Memetics — similar to Genetics — but not biologically based. The Free Energy Principle provides us with the Mathematics of Evolution of Intelligence in these complex, interconnected systems. AI that is Capable of Governance The explainability of Active Inference AI (the ability of self-introspection and self-reporting) coupled with the use of HSML, where human laws can be made programmable, enabling AI to understand and comply with them in real-time, offers a solution where the development and implementation of trustworthy and governable AI systems prevail. In July 2023, VERSES AI, along with Dentons Law Firm, and the Spatial Web Foundation, published a groundbreaking industry report titled, The Future of Global AI Governance, establishing frameworks for ethical, robust, and lawful AI. These frameworks refer to successful proofs of concept using Active Inference AI and the Spatial Web Protocol — HSTP and HSML — demonstrating remarkable success in programming AI to comply with human laws, integrating various AIs into a larger, governable network. This report afirms the importance of regulation standards and proposes categorizing AI into different levels of intelligence and capabilities for appropriate governance methods. The overarching theme is to use these technologies to govern the autonomous systems themselves to ensure responsible and effective governance of AI for safety, privacy, and ethical use. The act of correcting a machine occurs within the code, and through these technological breakthroughs, VERSES has developed a way to do that. Real-World Impact: Active Inference’s Applications The distinct capabilities of Active Inference find applications across a myriad of domains where situational awareness, adaptability, and autonomy are paramount: · Robotics: Enabling control of autonomous robots and vehicles operating in dynamic real-world environments, from factories to homes and automobiles to drones. · Logistics: Optimizing delivery drones and coordinating swarms for safe and efficient navigation. · Healthcare: Personalized care through smart beds, wearables, and assistive robots for patient monitoring. · Smart Cities: Managing critical systems, including hospitals, airports, supply chains, traffic flows, public services, and infrastructure, through distributed networks. · Finance: Detecting fraud, risk, and anomalies in transactions in real-time. · Scientific Discovery: Streamlining processes such as materials development, drug discovery, and particle physics. In contrast to current LLMs, which remain narrow, passive, and bound by static training data, Active Inference represents a developmental approach to AI, characterized by embodiment, context, and dynamism. While LLMs excel in content creation, Active Inference holds the next evolution of AI that can grapple with the complexities of the real world. As the development of this technology matures, it promises to revolutionize AI integration across domains, from robotics to finance and scientific discovery. A New Era of AI In the realm of AI, where understanding, perception, and adaptability are paramount, the convergence of Active Inference with the Spatial Web Protocol — HSTP and HSML, is the catalyst of transformation. It ushers in a new era where AI transcends boundaries and limitations, where it possesses the contextual world model essential for true intelligence and the cultivation and expansion of universal knowledge. Words vs. the World Large Language Models have captured the imagination of the public regarding AI’s potential, but they face significant limitations compared to the emerging implementation of Active Inference. Active Inference’s continuous interaction and learning model lead to more flexible, context-aware intelligence. Active Inference agents excel at understanding nuanced situations, adapting to new environments, and operating autonomously in the real world. While LLMs are ideal for content generation, Active Inference paves the way for AI to navigate the complexities of real-world challenges. As this new paradigm advances, it will drive innovation and automation across an array of fields, transforming the landscape of AI applications.

11 months, 3 weeks

1
0
0 0

Re: Differential Propositional Calculus

by Jon Awbrey

Differential Propositional Calculus • 15 • https://inquiryintoinquiry.com/2023/12/04/differential-propositional-calcul… Fire over water: The image of the condition before transition. Thus the superior man is careful In the differentiation of things, So that each finds its place. — I Ching ䷿ Hexagram 64 Differential Extension of Propositional Calculus — This much preparation is enough to begin introducing my subject, if I excuse myself from giving full arguments for my definitional choices until a later stage. To express the goal in a turn of phrase, the aim is to develop a differential theory of qualitative equations, one which can parallel the application of differential geometry to dynamical systems. The idea of a tangent vector is key to the work and a major goal is to find the right logical analogues of tangent spaces, bundles, and functors. The strategy is taken of looking for the simplest versions of those constructions which can be discovered within the realm of propositional calculus, so long as they serve to fill out the general theme. Reference — Wilhelm, R., and Baynes, C.F. (trans.), The I Ching, or Book of Changes, Foreword by C.G. Jung, Preface by H. Wilhelm, 3rd edition, Bollingen Series XIX, Princeton University Press, Princeton, NJ, 1967. Resources — Differential Logic and Dynamic Systems • https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part… Differential Extension of Propositional Calculus • https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part… Regards, Jon cc: https://www.academia.edu/community/l7pvk5

11 months, 3 weeks

1
22
0 0

2024

2023

2022

2021

CG January 2024