Get a weekly rundown of the latest AI models and research... subscribe! https://aimodels.substack.com/

Computational Dualism and Objective Superintelligence

2302.00843

YC

0

Reddit

0

Published 4/24/2024 by Michael Timothy Bennett

🤯

Abstract

The concept of intelligent software is flawed. The behaviour of software depends upon the hardware that interprets it. This undermines claims regarding the behaviour of theorised, software superintelligence. Here we characterise this problem as computational dualism'', where instead of mental and physical substance, we have software and hardware. We argue that to make objective claims regarding performance we must avoid computational dualism. We propose using an alternative based upon pancomputationalism, wherein every aspect of the environment is a relation between irreducible states. We formalise systems as behaviour (inputs and outputs), and cognition as embodied, embedded, extended and enactive. The result is cognition formalised as a part of the environment, rather than as a disembodied policy interacting with the environment though an interpreter. This allows us to make objective claims regarding intelligence, which we argue is the ability to generalise'', identify causes and adapt. We then propose objective upper bounds for intelligent behaviour.

Get summaries of the top AI research delivered straight to your inbox:

Overview

  • The paper argues that the concept of intelligent software is flawed, as the behavior of software depends on the hardware that interprets it.
  • It introduces the idea of "computational dualism," where software and hardware are analogous to the mental and physical substances.
  • The paper proposes an alternative approach based on pancomputationalism, which defines all aspects of the environment as relations between irreducible states.
  • It formalizes cognition as embodied, embedded, extended, and enactive, rather than as a disembodied policy interacting with the environment.
  • The paper argues that this allows for objective claims about intelligence, which is defined as the ability to generalize, identify causes, and adapt.
  • It then proposes objective upper bounds for intelligent behavior.

Plain English Explanation

The paper suggests that the idea of highly intelligent software, or "software superintelligence," is problematic because the behavior of software ultimately depends on the physical hardware that runs it. This is analogous to the philosophical problem of computational dualism, where software is like the "mind" and hardware is like the "body."

To avoid this issue, the paper proposes an alternative approach based on pancomputationalism, which views the entire environment as a network of interconnected, irreducible states. In this view, cognition is embodied, embedded, extended, and enactive - it's not a separate "policy" interacting with the environment, but rather a fundamental part of the environment itself.

This allows the paper to define intelligence objectively as the ability to generalize, identify causes, and adapt. The paper then tries to establish upper bounds for this kind of intelligent behavior, rather than relying on the problematic concept of "software superintelligence."

Technical Explanation

The paper starts by criticizing the idea of intelligent software, arguing that the behavior of software is fundamentally dependent on the hardware that runs it. This undermines claims about the potential behavior of theoretical "software superintelligence."

The paper introduces the concept of "computational dualism," which is analogous to the philosophical problem of mind-body dualism. Instead of having mental and physical substances, computational dualism posits software and hardware as the two core components.

To avoid the issues with computational dualism, the paper proposes an alternative approach based on pancomputationalism. This view defines all aspects of the environment as nothing more than relations between otherwise irreducible states. The paper formalizes systems as "behavior" (inputs and outputs, with policy as a causal intermediary) and cognition as "embodied, embedded, extended and enactive."

This allows the paper to define intelligence objectively as the ability to "generalize," identify causes, and adapt. The authors then attempt to propose objective upper bounds for intelligent behavior, rather than relying on the problematic concept of "software superintelligence."

Critical Analysis

The paper raises important concerns about the limitations of the concept of intelligent software and the issues with computational dualism. By proposing an alternative framework based on pancomputationalism, the authors attempt to ground the discussion of intelligence in a more grounded, embodied view of cognition.

However, the paper's proposed definitions and formal models may be challenging to fully evaluate without a deeper understanding of the underlying philosophical and computational concepts. Additionally, the paper does not provide extensive empirical evidence or case studies to support its claims about objective measures of intelligence.

Further research and debate would be needed to thoroughly assess the validity and practical implications of the paper's arguments. Readers should think critically about the strengths and weaknesses of the proposed approach, and consider how it might complement or challenge other perspectives on artificial intelligence and consciousness.

Conclusion

This paper challenges the traditional notion of intelligent software by highlighting the fundamental dependence of software behavior on the underlying hardware. It introduces the concept of computational dualism and proposes an alternative framework based on pancomputationalism, which defines intelligence as the ability to generalize, identify causes, and adapt.

The paper's core contribution is its attempt to ground the discussion of intelligence in a more holistic, embodied view of cognition. While the technical details may be complex, the central idea of avoiding computational dualism and defining intelligence objectively is an important consideration for the field of AI and cognitive science.



Related Papers

💬

On the Computation of Meaning, Language Models and Incomprehensible Horrors

Michael Timothy Bennett

YC

0

Reddit

0

We integrate foundational theories of meaning with a mathematical formalism of artificial general intelligence (AGI) to offer a comprehensive mechanistic explanation of meaning, communication, and symbol emergence. This synthesis holds significance for both AGI and broader debates concerning the nature of language, as it unifies pragmatics, logical truth conditional semantics, Peircean semiotics, and a computable model of enactive cognition, addressing phenomena that have traditionally evaded mechanistic explanation. By examining the conditions under which a machine can generate meaningful utterances or comprehend human meaning, we establish that the current generation of language models do not possess the same understanding of meaning as humans nor intend any meaning that we might attribute to their responses. To address this, we propose simulating human feelings and optimising models to construct weak representations. Our findings shed light on the relationship between meaning and intelligence, and how we can build machines that comprehend and intend meaning.

Read more

4/12/2024

🤖

AI Consciousness is Inevitable: A Theoretical Computer Science Perspective

Lenore Blum, Manuel Blum

YC

0

Reddit

0

We look at consciousness through the lens of Theoretical Computer Science, a branch of mathematics that studies computation under resource limitations. From this perspective, we develop a formal machine model for consciousness. The model is inspired by Alan Turing's simple yet powerful model of computation and Bernard Baars' theater model of consciousness. Though extremely simple, the model aligns at a high level with many of the major scientific theories of human and animal consciousness, supporting our claim that machine consciousness is inevitable.

Read more

4/22/2024

🤔

An Essay concerning machine understanding

Herbert L. Roitblat

YC

0

Reddit

0

Artificial intelligence systems exhibit many useful capabilities, but they appear to lack understanding. This essay describes how we could go about constructing a machine capable of understanding. As John Locke (1689) pointed out words are signs for ideas, which we can paraphrase as thoughts and concepts. To understand a word is to know and be able to work with the underlying concepts for which it is an indicator. Understanding between a speaker and a listener occurs when the speaker casts his or her concepts into words and the listener recovers approximately those same concepts. Current models rely on the listener to construct any potential meaning. The diminution of behaviorism as a psychological paradigm and the rise of cognitivism provide examples of many experimental methods that can be used to determine whether and to what extent a machine might understand and to make suggestions about how that understanding might be instantiated.

Read more

5/6/2024

👀

Meat Meets Machine! Multiscale Competency Enables Causal Learning

Michael Timothy Bennett

YC

0

Reddit

0

Biological intelligence uses a multiscale competency architecture (MCA). It exhibits adaptive, goal directed behaviour at all scales, from cells to organs to organisms. In contrast, machine intelligence is only adaptive and goal directed at a high level. Learned policies are passively interpreted using abstractions (e.g. arithmetic) embodied in static interpreters (e.g. x86). Biological intelligence excels at causal learning. Machine intelligence does not. Previous work showed causal learning follows from weak policy optimisation, which is hindered by presupposed abstractions in silico. Here we formalise MCAs as nested agentic abstraction layers, to understand how they might learn causes. We show that weak policy optimisation at low levels enables weak policy optimisation at high. This facilitates what we call multiscale causal learning and high level goal directed behaviour. We argue that by engineering human abstractions in silico we disconnect high level goal directed behaviour from the low level goal directed behaviour that gave rise to it. This inhibits causal learning, and we speculate this is one reason why human recall would be accompanied by feeling, and in silico recall not.

Read more

5/7/2024