段玉聪教授提出本质计算与推理（Essence Computation and Reasoning, ESCR）

段玉聪

DIKWP人工意识实验室

AGI-AIGC-GPT评测DIKWP（全球）实验室

DIKWP-AC人工意识标准化委员会

世界人工意识大会

世界人工意识协会

(联系邮箱：duanyucong@hotmail.com)

**本质计算与推理（Essence Computation and Reasoning, ESCR）**是一种通过识别和分析事物的本质特性及其组合关系，从语义角度进行推理和计算的方法。ESCR基于一系列本质公理和推理规则，旨在揭示复杂系统和问题的深层次语义关系，并为数学和逻辑问题提供新的解释。其核心包括以下几个关键概念和公理：

关键概念

1. 本质集合整体一致性公理（Consistency of Compounded Essential Set Axiom, CES）:

• 任何类型的本质集合在组合时必须保持一致性和完整性，即本质特性在组合过程中不能丧失其原有的语义。

• 数学表达：

  𝐶𝐸𝑆(𝐴𝑆𝑆(𝐴)):=𝐴𝑆𝑆(𝐶𝐸𝑆(𝐴))CES(ASS(A)):=ASS(CES(A))

2. 本质属性定义（Definition of Essence Attributes）:

• 识别和定义事物的本质属性，这些属性在语义推理和计算过程中起关键作用。

• 数学表达：

  𝐸𝑆𝑆(𝐴):={𝑎1,𝑎2,…,𝑎𝑛}ESS(A):={a1​,a2​,…,an​}

3. 本质属性组合规则（Combination Rules of Essence Attributes）:

• 本质属性在组合过程中遵循特定的规则，以确保组合后的整体保持一致性和完整性。

• 数学表达：

  𝐴𝑆𝑆(𝐸𝑆𝑆(𝐴),𝐸𝑆𝑆(𝐵)):=𝐸𝑆𝑆(𝐴𝑆𝑆(𝐴,𝐵))ASS(ESS(A),ESS(B)):=ESS(ASS(A,B))

ESCR的实现过程

1. 识别本质属性:

• 确定事物的本质属性，这些属性是事物在语义空间中的核心特征。

• 例如，Goldbach猜想中，偶数E和素数P的本质属性可以定义为它们的数值特性和组合关系。

2. 定义本质属性组合规则:

• 确定本质属性在组合过程中的规则，以确保组合后的整体保持一致性和完整性。

• 例如，Goldbach猜想中，两个素数P的组合必须满足其和等于一个偶数E。

3. 进行本质计算和推理:

• 应用CES和本质属性组合规则，通过本质属性的组合和推理，揭示问题的深层次语义关系。

• 例如，通过本质计算与推理（ESCR），推导出Goldbach猜想的语义解释。

具体案例分析Goldbach猜想的ESCR实现

Goldbach猜想的定义:

• 任意大于2的偶数可以表示为两个素数之和。

识别本质属性:

• 偶数E的本质属性包括其数值特性和作为两个素数之和的特性。

• 数学表达：

  𝐸𝑆𝑆(𝐸):={数值特性,作为两个素数之和}ESS(E):={数值特性,作为两个素数之和}

定义本质属性组合规则:

• 两个素数P的组合必须满足其和等于一个偶数E。

• 数学表达：

  𝐴𝑆𝑆(𝐸𝑆𝑆(𝑃1),𝐸𝑆𝑆(𝑃2)):=𝐸𝑆𝑆(𝐸)ASS(ESS(P1),ESS(P2)):=ESS(E)

进行本质计算和推理:

• 通过本质计算与推理（ESCR），确定偶数E可以表示为两个素数P之和。

• 数学表达：

  𝐸𝑆𝑆(𝐸):=𝐴𝑆𝑆(𝐸𝑆𝑆(𝑃1),𝐸𝑆𝑆(𝑃2))=>𝑃1+𝑃2=𝐸ESS(E):=ASS(ESS(P1),ESS(P2))=>P1+P2=E

Collatz猜想的ESCR实现

Collatz猜想的定义:

• 对于任何正整数 𝑛n，如果 𝑛n 是奇数，则计算 3𝑛+13n+1；如果 𝑛n 是偶数，则计算 𝑛/2n/2。如此循环，最终会回到1。

识别本质属性:

• 自然数N的本质属性包括其奇偶性和相关的运算规则。

• 数学表达：

  𝐸𝑆𝑆(𝑁):={奇偶性,运算规则}ESS(N):={奇偶性,运算规则}

定义本质属性组合规则:

• 奇数O和偶数E的组合规则包括其运算规则的应用。

• 数学表达：

  𝐴𝑆𝑆(𝐸𝑆𝑆(𝑂),𝐸𝑆𝑆(𝐸)):={3𝑂+1,𝐸/2}ASS(ESS(O),ESS(E)):={3O+1,E/2}

进行本质计算和推理:

• 通过本质计算与推理（ESCR），推导出自然数N最终会回到1的过程。

• 数学表达：

  𝐸𝑆𝑆(𝑁):=𝐴𝑆𝑆(𝐸𝑆𝑆(𝑂),𝐸𝑆𝑆(𝐸))=>{3𝑂+1,𝐸/2}=>𝑁→1ESS(N):=ASS(ESS(O),ESS(E))=>{3O+1,E/2}=>N→1

结论

**本质计算与推理（ESCR）**通过识别和分析事物的本质属性及其组合关系，从语义角度进行推理和计算，提供了一种新的视角来理解复杂系统和问题的深层次语义关系。ESCR不仅适用于Goldbach猜想和Collatz猜想，还可以应用于其他数学和逻辑问题，为这些问题的研究提供新的方法和思路。

参考文献

1. Duan, Yucong. "Towards a Periodic Table of conceptualization and formalization on State, Style, Structure, Pattern, Framework, Architecture, Service and so on." SNPD 2019: 133-138.

2. Duan, Yucong. "Existence Computation: Revelation on Entity vs. Relationship for Relationship Defined Everything of Semantics." SNPD 2019: 139-144.

3. Duan, Yucong. "Applications of Relationship Defined Everything of Semantics on Existence Computation." SNPD 2019: 184-189.

4. Duan, Yucong, Xiaobing Sun, Haoyang Che, Chunjie Cao, Zhao Li, Xiaoxian Yang. "Modeling Data, Information and Knowledge for Security Protection of Hybrid IoT and Edge Resources." IEEE Access 7: 99161-99176 (2019).

5. 段玉聪等, "跨界、跨 DIKW 模态、介尺度内容主客观语义融合建模与处理研究." 中国科技成果，2021年8月498期，45-48.

6. Y. Duan, "Semantic Oriented Algorithm Design: A Case of Median Selection," 2018 19th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD), 2018, pp. 307-311, doi: 10.1109/SNPD.2018.8441053.

7. Y. Duan, "A Constructive Semantics Revelation for Applying the Four Color Problem on Modeling," 2010 Second International Conference on Computer Modeling and Simulation, 2010, pp. 146-150, doi: 10.1109/ICCMS.2010.113.

8. Yucong Duan, A dualism based semantics formalization mechanism for model driven engineering, IJSSCI, vol. 1, no. 4, pp. 90-110, 2009.

9. Yucong Duan, "Efficiency from Formalization: An Initial Case Study on Archi3D" in Studies of Computing Intelligence, Springer, 2009.

10. Yucong Duan, "Creation Ontology with Completeness for Identification of 3D Architectural Objects" in ICCTD, IEEE CS press, pp. 447-455, 2009.

11. Y. Huang and Y. Duan, "Towards Purpose Driven Content Interaction Modeling and Processing based on DIKW," 2021 IEEE World Congress on Services (SERVICES), 2021, pp. 27-32, doi: 10.1109/SERVICES51467.2021.00032.

12. T. Hu and Y. Duan, "Modeling and Measuring for Emotion Communication based on DIKW," 2021 IEEE World Congress on Services (SERVICES), 2021, pp. 21-26, doi: 10.1109/SERVICES51467.2021.00031.

13. Duan Yucong, Christophe Cruz. "Formalizing Semantic of Natural Language through Conceptualization from Existence." International Journal of Innovation, Management and Technology, 2011, 2 (1), p. 37-42, ISSN: 2010-0248.

14. Y. Duan, "A stochastic revelation on the deterministic morphological change of 3x+1," 2017 IEEE 15th International Conference on Software Engineering Research, Management and Applications (SERA), 2017, pp. 333-338, doi: 10.1109/SERA.2017.7965748.

15. Yucong Duan, "The end of 'Objective' mathematics as a return to 'Subjective'." February 2022.DOI: 10.13140/RG.2.2.36171.87841.

转载本文请联系原作者获取授权，同时请注明本文来自段玉聪科学网博客。
链接地址：https://blog.sciencenet.cn/blog-3429562-1434879.html

上一篇：段玉聪教授提出存在计算与推理（Existence Computation and Reasoning, EXCR）
下一篇：存在计算与推理（EXCR）与本质计算与推理（ESCR）在DIKWP模型中的应用