conference: "International Conference on Artificial General Intelligence"
isbn: "978-3-031-33469-6"
doi: "10.1007/978-3-031-33469-6_7"
volume: 13921
firstpage: 62
lastpage: 73
language: "English"
pdf_url: "http://kryten.mm.rpi.edu/M_launch.pdf"
abstract: "We introduce rudiments of the cognitive meta-architecture M (majuscule of 𝜇 and pronounced accordingly), and of a formal procedure for determining, with M as touchstone, whether a given cognitive architecture 𝑋𝑖 (from among a finite list 1 …𝑘 of modern contenders) conforms to a minimal standard model of a human-level AGI mind. The procedure, which for ease of exposition and economy in this short paper is restricted to arithmetic cognition, requires of a candidate 𝑋𝑖, (1), a true biconditional expressing that for any human-level agent a, a property possessed by this agent, as expressed in a declarative mathematical sentence s(a), holds if and only if a formula 𝜒𝑖(𝔞) in the formal machinery/languages of 𝑋𝑖 holds as well (𝔞 being an in-this-machinery counterpart to natural-language name a). Given then that M is such that 𝑠(𝑎) iff 𝜇(𝔪), where the latter formula is in the formal language of M, with 𝔪 the agent modeled in M, a minimal standard modeling of an AGI-level mind is certifiably achieved by 𝑋𝑖 if, (2), it can be proved that 𝜒𝑖(𝔞) iff 𝜇(𝔞). We conjecture herein that such confirmatory theorems can be proved with respect to both cognitive architectures NARS and SNePS, and have other cognitive architectures in our sights."
