(C, U, V)框架下AGI的数学表述

IF 11.6 1区 工程技术 Q1 ENGINEERING, MULTIDISCIPLINARY
Di He, Cong Fang, Yisen Wang, Yujia Peng, Yizhou Wang, Song-Chun Zhu
{"title":"(C, U, V)框架下AGI的数学表述","authors":"Di He, Cong Fang, Yisen Wang, Yujia Peng, Yizhou Wang, Song-Chun Zhu","doi":"10.1016/j.eng.2025.08.034","DOIUrl":null,"url":null,"abstract":"This article seeks to explore a general formulation of artificial general intelligence (AGI) under a unified framework that defines AGI agents as points in a joint (<span><span style=\"\"></span><span data-mathml='&lt;math xmlns=\"http://www.w3.org/1998/Math/MathML\"&gt;&lt;mrow is=\"true\"&gt;&lt;mi is=\"true\"&gt;C&lt;/mi&gt;&lt;mo is=\"true\"&gt;,&lt;/mo&gt;&lt;mi is=\"true\"&gt;U&lt;/mi&gt;&lt;mo is=\"true\"&gt;,&lt;/mo&gt;&lt;mi is=\"true\"&gt;V&lt;/mi&gt;&lt;/mrow&gt;&lt;/math&gt;' role=\"presentation\" style=\"font-size: 90%; display: inline-block; position: relative;\" tabindex=\"0\"><svg aria-hidden=\"true\" focusable=\"false\" height=\"2.432ex\" role=\"img\" style=\"vertical-align: -0.582ex;\" viewbox=\"0 -796.9 3187.8 1047.3\" width=\"7.404ex\" xmlns:xlink=\"http://www.w3.org/1999/xlink\"><g fill=\"currentColor\" stroke=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><g is=\"true\"><g is=\"true\"><use xlink:href=\"#MJMATHI-43\"></use></g><g is=\"true\" transform=\"translate(760,0)\"><use xlink:href=\"#MJMAIN-2C\"></use></g><g is=\"true\" transform=\"translate(1205,0)\"><use xlink:href=\"#MJMATHI-55\"></use></g><g is=\"true\" transform=\"translate(1973,0)\"><use xlink:href=\"#MJMAIN-2C\"></use></g><g is=\"true\" transform=\"translate(2418,0)\"><use xlink:href=\"#MJMATHI-56\"></use></g></g></g></svg><span role=\"presentation\"><math xmlns=\"http://www.w3.org/1998/Math/MathML\"><mrow is=\"true\"><mi is=\"true\">C</mi><mo is=\"true\">,</mo><mi is=\"true\">U</mi><mo is=\"true\">,</mo><mi is=\"true\">V</mi></mrow></math></span></span><script type=\"math/mml\"><math><mrow is=\"true\"><mi is=\"true\">C</mi><mo is=\"true\">,</mo><mi is=\"true\">U</mi><mo is=\"true\">,</mo><mi is=\"true\">V</mi></mrow></math></script></span>) space. An agent is characterized by three components: ① a cognitive architecture <span><span style=\"\"></span><span data-mathml='&lt;math xmlns=\"http://www.w3.org/1998/Math/MathML\"&gt;&lt;mrow is=\"true\"&gt;&lt;mi is=\"true\"&gt;C&lt;/mi&gt;&lt;mo is=\"true\"&gt;,&lt;/mo&gt;&lt;/mrow&gt;&lt;/math&gt;' role=\"presentation\" style=\"font-size: 90%; display: inline-block; position: relative;\" tabindex=\"0\"><svg aria-hidden=\"true\" focusable=\"false\" height=\"2.432ex\" role=\"img\" style=\"vertical-align: -0.582ex;\" viewbox=\"0 -796.9 1039 1047.3\" width=\"2.413ex\" xmlns:xlink=\"http://www.w3.org/1999/xlink\"><g fill=\"currentColor\" stroke=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><g is=\"true\"><g is=\"true\"><use xlink:href=\"#MJMATHI-43\"></use></g><g is=\"true\" transform=\"translate(760,0)\"><use xlink:href=\"#MJMAIN-2C\"></use></g></g></g></svg><span role=\"presentation\"><math xmlns=\"http://www.w3.org/1998/Math/MathML\"><mrow is=\"true\"><mi is=\"true\">C</mi><mo is=\"true\">,</mo></mrow></math></span></span><script type=\"math/mml\"><math><mrow is=\"true\"><mi is=\"true\">C</mi><mo is=\"true\">,</mo></mrow></math></script></span> which represents the modules (mathematical functions) inside the agent’s mind, as well as the connections and communication protocols between these modules, including the theory of mind (ToM); ② a set of potential functions <span><span style=\"\"></span><span data-mathml='&lt;math xmlns=\"http://www.w3.org/1998/Math/MathML\"&gt;&lt;mi is=\"true\"&gt;U&lt;/mi&gt;&lt;/math&gt;' role=\"presentation\" style=\"font-size: 90%; display: inline-block; position: relative;\" tabindex=\"0\"><svg aria-hidden=\"true\" focusable=\"false\" height=\"1.971ex\" role=\"img\" style=\"vertical-align: -0.235ex;\" viewbox=\"0 -747.2 767.5 848.5\" width=\"1.783ex\" xmlns:xlink=\"http://www.w3.org/1999/xlink\"><g fill=\"currentColor\" stroke=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><g is=\"true\"><use xlink:href=\"#MJMATHI-55\"></use></g></g></svg><span role=\"presentation\"><math xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi is=\"true\">U</mi></math></span></span><script type=\"math/mml\"><math><mi is=\"true\">U</mi></math></script></span>, which represents the skills of perception, cognition, and planning (e.g., a potential function can be a neural network trained for visual object recognition, or embodied motion planning); and ③ a set of value functions <span><span style=\"\"></span><span data-mathml='&lt;math xmlns=\"http://www.w3.org/1998/Math/MathML\"&gt;&lt;mi is=\"true\"&gt;V&lt;/mi&gt;&lt;/math&gt;' role=\"presentation\" style=\"font-size: 90%; display: inline-block; position: relative;\" tabindex=\"0\"><svg aria-hidden=\"true\" focusable=\"false\" height=\"1.971ex\" role=\"img\" style=\"vertical-align: -0.235ex;\" viewbox=\"0 -747.2 769.5 848.5\" width=\"1.787ex\" xmlns:xlink=\"http://www.w3.org/1999/xlink\"><g fill=\"currentColor\" stroke=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><g is=\"true\"><use xlink:href=\"#MJMATHI-56\"></use></g></g></svg><span role=\"presentation\"><math xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi is=\"true\">V</mi></math></span></span><script type=\"math/mml\"><math><mi is=\"true\">V</mi></math></script></span>, which includes the agent’s urges, preferences, and social affections, as well as benefits for individual agents or a group of agents. In this setting, “intelligence” is defined as a wide range of phenomena exhibited by agents when they interact with complex environments (i.e., physical intelligence) and other agents (i.e., social intelligence). Given an initial point in the (<span><span style=\"\"></span><span data-mathml='&lt;math xmlns=\"http://www.w3.org/1998/Math/MathML\"&gt;&lt;mrow is=\"true\"&gt;&lt;mi is=\"true\"&gt;C&lt;/mi&gt;&lt;mo is=\"true\"&gt;,&lt;/mo&gt;&lt;mi is=\"true\"&gt;U&lt;/mi&gt;&lt;mo is=\"true\"&gt;,&lt;/mo&gt;&lt;mi is=\"true\"&gt;V&lt;/mi&gt;&lt;/mrow&gt;&lt;/math&gt;' role=\"presentation\" style=\"font-size: 90%; display: inline-block; position: relative;\" tabindex=\"0\"><svg aria-hidden=\"true\" focusable=\"false\" height=\"2.432ex\" role=\"img\" style=\"vertical-align: -0.582ex;\" viewbox=\"0 -796.9 3187.8 1047.3\" width=\"7.404ex\" xmlns:xlink=\"http://www.w3.org/1999/xlink\"><g fill=\"currentColor\" stroke=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><g is=\"true\"><g is=\"true\"><use xlink:href=\"#MJMATHI-43\"></use></g><g is=\"true\" transform=\"translate(760,0)\"><use xlink:href=\"#MJMAIN-2C\"></use></g><g is=\"true\" transform=\"translate(1205,0)\"><use xlink:href=\"#MJMATHI-55\"></use></g><g is=\"true\" transform=\"translate(1973,0)\"><use xlink:href=\"#MJMAIN-2C\"></use></g><g is=\"true\" transform=\"translate(2418,0)\"><use xlink:href=\"#MJMATHI-56\"></use></g></g></g></svg><span role=\"presentation\"><math xmlns=\"http://www.w3.org/1998/Math/MathML\"><mrow is=\"true\"><mi is=\"true\">C</mi><mo is=\"true\">,</mo><mi is=\"true\">U</mi><mo is=\"true\">,</mo><mi is=\"true\">V</mi></mrow></math></span></span><script type=\"math/mml\"><math><mrow is=\"true\"><mi is=\"true\">C</mi><mo is=\"true\">,</mo><mi is=\"true\">U</mi><mo is=\"true\">,</mo><mi is=\"true\">V</mi></mrow></math></script></span>) space, an agent can explore new <span><span style=\"\"></span><span data-mathml='&lt;math xmlns=\"http://www.w3.org/1998/Math/MathML\"&gt;&lt;mi is=\"true\"&gt;V&lt;/mi&gt;&lt;/math&gt;' role=\"presentation\" style=\"font-size: 90%; display: inline-block; position: relative;\" tabindex=\"0\"><svg aria-hidden=\"true\" focusable=\"false\" height=\"1.971ex\" role=\"img\" style=\"vertical-align: -0.235ex;\" viewbox=\"0 -747.2 769.5 848.5\" width=\"1.787ex\" xmlns:xlink=\"http://www.w3.org/1999/xlink\"><g fill=\"currentColor\" stroke=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><g is=\"true\"><use xlink:href=\"#MJMATHI-56\"></use></g></g></svg><span role=\"presentation\"><math xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi is=\"true\">V</mi></math></span></span><script type=\"math/mml\"><math><mi is=\"true\">V</mi></math></script></span>-dimensions, which in turn drives the acquisition and learning of skills by enabling the learning of new potential functions <span><span style=\"\"></span><span data-mathml='&lt;math xmlns=\"http://www.w3.org/1998/Math/MathML\"&gt;&lt;mi is=\"true\"&gt;U&lt;/mi&gt;&lt;/math&gt;' role=\"presentation\" style=\"font-size: 90%; display: inline-block; position: relative;\" tabindex=\"0\"><svg aria-hidden=\"true\" focusable=\"false\" height=\"1.971ex\" role=\"img\" style=\"vertical-align: -0.235ex;\" viewbox=\"0 -747.2 767.5 848.5\" width=\"1.783ex\" xmlns:xlink=\"http://www.w3.org/1999/xlink\"><g fill=\"currentColor\" stroke=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><g is=\"true\"><use xlink:href=\"#MJMATHI-55\"></use></g></g></svg><span role=\"presentation\"><math xmlns=\"http://www.w3.org/1998/Math/MathML\"><mi is=\"true\">U</mi></math></span></span><script type=\"math/mml\"><math><mi is=\"true\">U</mi></math></script></span> in the environment and by updating the cognitive model. We have developed a Tong test as a benchmark and evaluation criteria: An agent that has reached the human level (<span><span style=\"\"></span><span data-mathml='&lt;math xmlns=\"http://www.w3.org/1998/Math/MathML\"&gt;&lt;mrow is=\"true\"&gt;&lt;mi is=\"true\"&gt;C&lt;/mi&gt;&lt;mo is=\"true\"&gt;,&lt;/mo&gt;&lt;mspace width=\"0.166667em\" is=\"true\" /&gt;&lt;mi is=\"true\"&gt;U&lt;/mi&gt;&lt;mo is=\"true\"&gt;,&lt;/mo&gt;&lt;mi is=\"true\"&gt;V&lt;/mi&gt;&lt;/mrow&gt;&lt;/math&gt;' role=\"presentation\" style=\"font-size: 90%; display: inline-block; position: relative;\" tabindex=\"0\"><svg aria-hidden=\"true\" focusable=\"false\" height=\"2.432ex\" role=\"img\" style=\"vertical-align: -0.582ex;\" viewbox=\"0 -796.9 3354.5 1047.3\" width=\"7.791ex\" xmlns:xlink=\"http://www.w3.org/1999/xlink\"><g fill=\"currentColor\" stroke=\"currentColor\" stroke-width=\"0\" transform=\"matrix(1 0 0 -1 0 0)\"><g is=\"true\"><g is=\"true\"><use xlink:href=\"#MJMATHI-43\"></use></g><g is=\"true\" transform=\"translate(760,0)\"><use xlink:href=\"#MJMAIN-2C\"></use></g><g is=\"true\"></g><g is=\"true\" transform=\"translate(1372,0)\"><use xlink:href=\"#MJMATHI-55\"></use></g><g is=\"true\" transform=\"translate(2139,0)\"><use xlink:href=\"#MJMAIN-2C\"></use></g><g is=\"true\" transform=\"translate(2585,0)\"><use xlink:href=\"#MJMATHI-56\"></use></g></g></g></svg><span role=\"presentation\"><math xmlns=\"http://www.w3.org/1998/Math/MathML\"><mrow is=\"true\"><mi is=\"true\">C</mi><mo is=\"true\">,</mo><mspace is=\"true\" width=\"0.166667em\"></mspace><mi is=\"true\">U</mi><mo is=\"true\">,</mo><mi is=\"true\">V</mi></mrow></math></span></span><script type=\"math/mml\"><math><mrow is=\"true\"><mi is=\"true\">C</mi><mo is=\"true\">,</mo><mspace width=\"0.166667em\" is=\"true\"></mspace><mi is=\"true\">U</mi><mo is=\"true\">,</mo><mi is=\"true\">V</mi></mrow></math></script></span>) is called a “Tong Agent.” The convergence of this process defines the limits of the agent’s evolution; we name this the “stopping problem” of Tong Agents, based on the analogy of the halting problem in a Turing machine.","PeriodicalId":11783,"journal":{"name":"Engineering","volume":"19 1","pages":""},"PeriodicalIF":11.6000,"publicationDate":"2025-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"A Mathematical Formulation of AGI in the (C, U, V) Framework\",\"authors\":\"Di He, Cong Fang, Yisen Wang, Yujia Peng, Yizhou Wang, Song-Chun Zhu\",\"doi\":\"10.1016/j.eng.2025.08.034\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This article seeks to explore a general formulation of artificial general intelligence (AGI) under a unified framework that defines AGI agents as points in a joint (<span><span style=\\\"\\\"></span><span data-mathml='&lt;math xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"&gt;&lt;mrow is=\\\"true\\\"&gt;&lt;mi is=\\\"true\\\"&gt;C&lt;/mi&gt;&lt;mo is=\\\"true\\\"&gt;,&lt;/mo&gt;&lt;mi is=\\\"true\\\"&gt;U&lt;/mi&gt;&lt;mo is=\\\"true\\\"&gt;,&lt;/mo&gt;&lt;mi is=\\\"true\\\"&gt;V&lt;/mi&gt;&lt;/mrow&gt;&lt;/math&gt;' role=\\\"presentation\\\" style=\\\"font-size: 90%; display: inline-block; position: relative;\\\" tabindex=\\\"0\\\"><svg aria-hidden=\\\"true\\\" focusable=\\\"false\\\" height=\\\"2.432ex\\\" role=\\\"img\\\" style=\\\"vertical-align: -0.582ex;\\\" viewbox=\\\"0 -796.9 3187.8 1047.3\\\" width=\\\"7.404ex\\\" xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\"><g fill=\\\"currentColor\\\" stroke=\\\"currentColor\\\" stroke-width=\\\"0\\\" transform=\\\"matrix(1 0 0 -1 0 0)\\\"><g is=\\\"true\\\"><g is=\\\"true\\\"><use xlink:href=\\\"#MJMATHI-43\\\"></use></g><g is=\\\"true\\\" transform=\\\"translate(760,0)\\\"><use xlink:href=\\\"#MJMAIN-2C\\\"></use></g><g is=\\\"true\\\" transform=\\\"translate(1205,0)\\\"><use xlink:href=\\\"#MJMATHI-55\\\"></use></g><g is=\\\"true\\\" transform=\\\"translate(1973,0)\\\"><use xlink:href=\\\"#MJMAIN-2C\\\"></use></g><g is=\\\"true\\\" transform=\\\"translate(2418,0)\\\"><use xlink:href=\\\"#MJMATHI-56\\\"></use></g></g></g></svg><span role=\\\"presentation\\\"><math xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mrow is=\\\"true\\\"><mi is=\\\"true\\\">C</mi><mo is=\\\"true\\\">,</mo><mi is=\\\"true\\\">U</mi><mo is=\\\"true\\\">,</mo><mi is=\\\"true\\\">V</mi></mrow></math></span></span><script type=\\\"math/mml\\\"><math><mrow is=\\\"true\\\"><mi is=\\\"true\\\">C</mi><mo is=\\\"true\\\">,</mo><mi is=\\\"true\\\">U</mi><mo is=\\\"true\\\">,</mo><mi is=\\\"true\\\">V</mi></mrow></math></script></span>) space. An agent is characterized by three components: ① a cognitive architecture <span><span style=\\\"\\\"></span><span data-mathml='&lt;math xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"&gt;&lt;mrow is=\\\"true\\\"&gt;&lt;mi is=\\\"true\\\"&gt;C&lt;/mi&gt;&lt;mo is=\\\"true\\\"&gt;,&lt;/mo&gt;&lt;/mrow&gt;&lt;/math&gt;' role=\\\"presentation\\\" style=\\\"font-size: 90%; display: inline-block; position: relative;\\\" tabindex=\\\"0\\\"><svg aria-hidden=\\\"true\\\" focusable=\\\"false\\\" height=\\\"2.432ex\\\" role=\\\"img\\\" style=\\\"vertical-align: -0.582ex;\\\" viewbox=\\\"0 -796.9 1039 1047.3\\\" width=\\\"2.413ex\\\" xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\"><g fill=\\\"currentColor\\\" stroke=\\\"currentColor\\\" stroke-width=\\\"0\\\" transform=\\\"matrix(1 0 0 -1 0 0)\\\"><g is=\\\"true\\\"><g is=\\\"true\\\"><use xlink:href=\\\"#MJMATHI-43\\\"></use></g><g is=\\\"true\\\" transform=\\\"translate(760,0)\\\"><use xlink:href=\\\"#MJMAIN-2C\\\"></use></g></g></g></svg><span role=\\\"presentation\\\"><math xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mrow is=\\\"true\\\"><mi is=\\\"true\\\">C</mi><mo is=\\\"true\\\">,</mo></mrow></math></span></span><script type=\\\"math/mml\\\"><math><mrow is=\\\"true\\\"><mi is=\\\"true\\\">C</mi><mo is=\\\"true\\\">,</mo></mrow></math></script></span> which represents the modules (mathematical functions) inside the agent’s mind, as well as the connections and communication protocols between these modules, including the theory of mind (ToM); ② a set of potential functions <span><span style=\\\"\\\"></span><span data-mathml='&lt;math xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"&gt;&lt;mi is=\\\"true\\\"&gt;U&lt;/mi&gt;&lt;/math&gt;' role=\\\"presentation\\\" style=\\\"font-size: 90%; display: inline-block; position: relative;\\\" tabindex=\\\"0\\\"><svg aria-hidden=\\\"true\\\" focusable=\\\"false\\\" height=\\\"1.971ex\\\" role=\\\"img\\\" style=\\\"vertical-align: -0.235ex;\\\" viewbox=\\\"0 -747.2 767.5 848.5\\\" width=\\\"1.783ex\\\" xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\"><g fill=\\\"currentColor\\\" stroke=\\\"currentColor\\\" stroke-width=\\\"0\\\" transform=\\\"matrix(1 0 0 -1 0 0)\\\"><g is=\\\"true\\\"><use xlink:href=\\\"#MJMATHI-55\\\"></use></g></g></svg><span role=\\\"presentation\\\"><math xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mi is=\\\"true\\\">U</mi></math></span></span><script type=\\\"math/mml\\\"><math><mi is=\\\"true\\\">U</mi></math></script></span>, which represents the skills of perception, cognition, and planning (e.g., a potential function can be a neural network trained for visual object recognition, or embodied motion planning); and ③ a set of value functions <span><span style=\\\"\\\"></span><span data-mathml='&lt;math xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"&gt;&lt;mi is=\\\"true\\\"&gt;V&lt;/mi&gt;&lt;/math&gt;' role=\\\"presentation\\\" style=\\\"font-size: 90%; display: inline-block; position: relative;\\\" tabindex=\\\"0\\\"><svg aria-hidden=\\\"true\\\" focusable=\\\"false\\\" height=\\\"1.971ex\\\" role=\\\"img\\\" style=\\\"vertical-align: -0.235ex;\\\" viewbox=\\\"0 -747.2 769.5 848.5\\\" width=\\\"1.787ex\\\" xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\"><g fill=\\\"currentColor\\\" stroke=\\\"currentColor\\\" stroke-width=\\\"0\\\" transform=\\\"matrix(1 0 0 -1 0 0)\\\"><g is=\\\"true\\\"><use xlink:href=\\\"#MJMATHI-56\\\"></use></g></g></svg><span role=\\\"presentation\\\"><math xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mi is=\\\"true\\\">V</mi></math></span></span><script type=\\\"math/mml\\\"><math><mi is=\\\"true\\\">V</mi></math></script></span>, which includes the agent’s urges, preferences, and social affections, as well as benefits for individual agents or a group of agents. In this setting, “intelligence” is defined as a wide range of phenomena exhibited by agents when they interact with complex environments (i.e., physical intelligence) and other agents (i.e., social intelligence). Given an initial point in the (<span><span style=\\\"\\\"></span><span data-mathml='&lt;math xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"&gt;&lt;mrow is=\\\"true\\\"&gt;&lt;mi is=\\\"true\\\"&gt;C&lt;/mi&gt;&lt;mo is=\\\"true\\\"&gt;,&lt;/mo&gt;&lt;mi is=\\\"true\\\"&gt;U&lt;/mi&gt;&lt;mo is=\\\"true\\\"&gt;,&lt;/mo&gt;&lt;mi is=\\\"true\\\"&gt;V&lt;/mi&gt;&lt;/mrow&gt;&lt;/math&gt;' role=\\\"presentation\\\" style=\\\"font-size: 90%; display: inline-block; position: relative;\\\" tabindex=\\\"0\\\"><svg aria-hidden=\\\"true\\\" focusable=\\\"false\\\" height=\\\"2.432ex\\\" role=\\\"img\\\" style=\\\"vertical-align: -0.582ex;\\\" viewbox=\\\"0 -796.9 3187.8 1047.3\\\" width=\\\"7.404ex\\\" xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\"><g fill=\\\"currentColor\\\" stroke=\\\"currentColor\\\" stroke-width=\\\"0\\\" transform=\\\"matrix(1 0 0 -1 0 0)\\\"><g is=\\\"true\\\"><g is=\\\"true\\\"><use xlink:href=\\\"#MJMATHI-43\\\"></use></g><g is=\\\"true\\\" transform=\\\"translate(760,0)\\\"><use xlink:href=\\\"#MJMAIN-2C\\\"></use></g><g is=\\\"true\\\" transform=\\\"translate(1205,0)\\\"><use xlink:href=\\\"#MJMATHI-55\\\"></use></g><g is=\\\"true\\\" transform=\\\"translate(1973,0)\\\"><use xlink:href=\\\"#MJMAIN-2C\\\"></use></g><g is=\\\"true\\\" transform=\\\"translate(2418,0)\\\"><use xlink:href=\\\"#MJMATHI-56\\\"></use></g></g></g></svg><span role=\\\"presentation\\\"><math xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mrow is=\\\"true\\\"><mi is=\\\"true\\\">C</mi><mo is=\\\"true\\\">,</mo><mi is=\\\"true\\\">U</mi><mo is=\\\"true\\\">,</mo><mi is=\\\"true\\\">V</mi></mrow></math></span></span><script type=\\\"math/mml\\\"><math><mrow is=\\\"true\\\"><mi is=\\\"true\\\">C</mi><mo is=\\\"true\\\">,</mo><mi is=\\\"true\\\">U</mi><mo is=\\\"true\\\">,</mo><mi is=\\\"true\\\">V</mi></mrow></math></script></span>) space, an agent can explore new <span><span style=\\\"\\\"></span><span data-mathml='&lt;math xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"&gt;&lt;mi is=\\\"true\\\"&gt;V&lt;/mi&gt;&lt;/math&gt;' role=\\\"presentation\\\" style=\\\"font-size: 90%; display: inline-block; position: relative;\\\" tabindex=\\\"0\\\"><svg aria-hidden=\\\"true\\\" focusable=\\\"false\\\" height=\\\"1.971ex\\\" role=\\\"img\\\" style=\\\"vertical-align: -0.235ex;\\\" viewbox=\\\"0 -747.2 769.5 848.5\\\" width=\\\"1.787ex\\\" xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\"><g fill=\\\"currentColor\\\" stroke=\\\"currentColor\\\" stroke-width=\\\"0\\\" transform=\\\"matrix(1 0 0 -1 0 0)\\\"><g is=\\\"true\\\"><use xlink:href=\\\"#MJMATHI-56\\\"></use></g></g></svg><span role=\\\"presentation\\\"><math xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mi is=\\\"true\\\">V</mi></math></span></span><script type=\\\"math/mml\\\"><math><mi is=\\\"true\\\">V</mi></math></script></span>-dimensions, which in turn drives the acquisition and learning of skills by enabling the learning of new potential functions <span><span style=\\\"\\\"></span><span data-mathml='&lt;math xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"&gt;&lt;mi is=\\\"true\\\"&gt;U&lt;/mi&gt;&lt;/math&gt;' role=\\\"presentation\\\" style=\\\"font-size: 90%; display: inline-block; position: relative;\\\" tabindex=\\\"0\\\"><svg aria-hidden=\\\"true\\\" focusable=\\\"false\\\" height=\\\"1.971ex\\\" role=\\\"img\\\" style=\\\"vertical-align: -0.235ex;\\\" viewbox=\\\"0 -747.2 767.5 848.5\\\" width=\\\"1.783ex\\\" xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\"><g fill=\\\"currentColor\\\" stroke=\\\"currentColor\\\" stroke-width=\\\"0\\\" transform=\\\"matrix(1 0 0 -1 0 0)\\\"><g is=\\\"true\\\"><use xlink:href=\\\"#MJMATHI-55\\\"></use></g></g></svg><span role=\\\"presentation\\\"><math xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mi is=\\\"true\\\">U</mi></math></span></span><script type=\\\"math/mml\\\"><math><mi is=\\\"true\\\">U</mi></math></script></span> in the environment and by updating the cognitive model. We have developed a Tong test as a benchmark and evaluation criteria: An agent that has reached the human level (<span><span style=\\\"\\\"></span><span data-mathml='&lt;math xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"&gt;&lt;mrow is=\\\"true\\\"&gt;&lt;mi is=\\\"true\\\"&gt;C&lt;/mi&gt;&lt;mo is=\\\"true\\\"&gt;,&lt;/mo&gt;&lt;mspace width=\\\"0.166667em\\\" is=\\\"true\\\" /&gt;&lt;mi is=\\\"true\\\"&gt;U&lt;/mi&gt;&lt;mo is=\\\"true\\\"&gt;,&lt;/mo&gt;&lt;mi is=\\\"true\\\"&gt;V&lt;/mi&gt;&lt;/mrow&gt;&lt;/math&gt;' role=\\\"presentation\\\" style=\\\"font-size: 90%; display: inline-block; position: relative;\\\" tabindex=\\\"0\\\"><svg aria-hidden=\\\"true\\\" focusable=\\\"false\\\" height=\\\"2.432ex\\\" role=\\\"img\\\" style=\\\"vertical-align: -0.582ex;\\\" viewbox=\\\"0 -796.9 3354.5 1047.3\\\" width=\\\"7.791ex\\\" xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\"><g fill=\\\"currentColor\\\" stroke=\\\"currentColor\\\" stroke-width=\\\"0\\\" transform=\\\"matrix(1 0 0 -1 0 0)\\\"><g is=\\\"true\\\"><g is=\\\"true\\\"><use xlink:href=\\\"#MJMATHI-43\\\"></use></g><g is=\\\"true\\\" transform=\\\"translate(760,0)\\\"><use xlink:href=\\\"#MJMAIN-2C\\\"></use></g><g is=\\\"true\\\"></g><g is=\\\"true\\\" transform=\\\"translate(1372,0)\\\"><use xlink:href=\\\"#MJMATHI-55\\\"></use></g><g is=\\\"true\\\" transform=\\\"translate(2139,0)\\\"><use xlink:href=\\\"#MJMAIN-2C\\\"></use></g><g is=\\\"true\\\" transform=\\\"translate(2585,0)\\\"><use xlink:href=\\\"#MJMATHI-56\\\"></use></g></g></g></svg><span role=\\\"presentation\\\"><math xmlns=\\\"http://www.w3.org/1998/Math/MathML\\\"><mrow is=\\\"true\\\"><mi is=\\\"true\\\">C</mi><mo is=\\\"true\\\">,</mo><mspace is=\\\"true\\\" width=\\\"0.166667em\\\"></mspace><mi is=\\\"true\\\">U</mi><mo is=\\\"true\\\">,</mo><mi is=\\\"true\\\">V</mi></mrow></math></span></span><script type=\\\"math/mml\\\"><math><mrow is=\\\"true\\\"><mi is=\\\"true\\\">C</mi><mo is=\\\"true\\\">,</mo><mspace width=\\\"0.166667em\\\" is=\\\"true\\\"></mspace><mi is=\\\"true\\\">U</mi><mo is=\\\"true\\\">,</mo><mi is=\\\"true\\\">V</mi></mrow></math></script></span>) is called a “Tong Agent.” The convergence of this process defines the limits of the agent’s evolution; we name this the “stopping problem” of Tong Agents, based on the analogy of the halting problem in a Turing machine.\",\"PeriodicalId\":11783,\"journal\":{\"name\":\"Engineering\",\"volume\":\"19 1\",\"pages\":\"\"},\"PeriodicalIF\":11.6000,\"publicationDate\":\"2025-09-03\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Engineering\",\"FirstCategoryId\":\"5\",\"ListUrlMain\":\"https://doi.org/10.1016/j.eng.2025.08.034\",\"RegionNum\":1,\"RegionCategory\":\"工程技术\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"ENGINEERING, MULTIDISCIPLINARY\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Engineering","FirstCategoryId":"5","ListUrlMain":"https://doi.org/10.1016/j.eng.2025.08.034","RegionNum":1,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"ENGINEERING, MULTIDISCIPLINARY","Score":null,"Total":0}
引用次数: 0

摘要

本文试图在统一框架下探索通用人工智能(AGI)的一般表述,该框架将AGI智能体定义为联合(C,U,VC,U,V)空间中的点。一个agent的特征由三个部分组成:①一个认知架构C,C,它代表了agent心智内部的模块(数学函数),以及这些模块之间的连接和通信协议,包括心智理论(ToM);②一组潜在函数UU,代表感知、认知和规划的技能(例如,潜在函数可以是训练用于视觉物体识别或具身运动规划的神经网络);③一组价值函数VV,包括代理人的冲动、偏好和社会情感,以及个体或群体的利益。在这种情况下,“智能”被定义为智能体在与复杂环境(即物理智能)和其他智能体(即社会智能)交互时所表现出的广泛现象。给定(C,U,VC,U,V)空间中的初始点,智能体可以探索新的vv维度,从而通过学习环境中的新潜在功能UU和更新认知模型来驱动技能的获取和学习。我们开发了一个Tong测试作为基准和评估标准:达到人类水平(C,U,VC,U,V)的智能体称为“Tong agent”。这一过程的收敛性决定了智能体进化的极限;基于图灵机中的停止问题的类比,我们将其命名为Tong agent的“停止问题”。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
A Mathematical Formulation of AGI in the (C, U, V) Framework
This article seeks to explore a general formulation of artificial general intelligence (AGI) under a unified framework that defines AGI agents as points in a joint (C,U,V) space. An agent is characterized by three components: ① a cognitive architecture C, which represents the modules (mathematical functions) inside the agent’s mind, as well as the connections and communication protocols between these modules, including the theory of mind (ToM); ② a set of potential functions U, which represents the skills of perception, cognition, and planning (e.g., a potential function can be a neural network trained for visual object recognition, or embodied motion planning); and ③ a set of value functions V, which includes the agent’s urges, preferences, and social affections, as well as benefits for individual agents or a group of agents. In this setting, “intelligence” is defined as a wide range of phenomena exhibited by agents when they interact with complex environments (i.e., physical intelligence) and other agents (i.e., social intelligence). Given an initial point in the (C,U,V) space, an agent can explore new V-dimensions, which in turn drives the acquisition and learning of skills by enabling the learning of new potential functions U in the environment and by updating the cognitive model. We have developed a Tong test as a benchmark and evaluation criteria: An agent that has reached the human level (C,U,V) is called a “Tong Agent.” The convergence of this process defines the limits of the agent’s evolution; we name this the “stopping problem” of Tong Agents, based on the analogy of the halting problem in a Turing machine.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
Engineering
Engineering Environmental Science-Environmental Engineering
自引率
1.60%
发文量
335
审稿时长
35 days
期刊介绍: Engineering, an international open-access journal initiated by the Chinese Academy of Engineering (CAE) in 2015, serves as a distinguished platform for disseminating cutting-edge advancements in engineering R&D, sharing major research outputs, and highlighting key achievements worldwide. The journal's objectives encompass reporting progress in engineering science, fostering discussions on hot topics, addressing areas of interest, challenges, and prospects in engineering development, while considering human and environmental well-being and ethics in engineering. It aims to inspire breakthroughs and innovations with profound economic and social significance, propelling them to advanced international standards and transforming them into a new productive force. Ultimately, this endeavor seeks to bring about positive changes globally, benefit humanity, and shape a new future.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信