MethodPDF Available

Abstract

Based on our previous report on that prime integers are the essential basis of natural numbers and our revelation on the composition models of superficial concepts of even integers, etc, we further propose in this work the promises of reconstructing computation and reasoning at objective semantic level comprising the pure or isolated semantics such as primes.
From Primes as the Pure Semantic Basis of Numerical Calculation
to Objective Semantic Computation and Reasoning
Yucong Duan
DIKW research group, Hainan University, China
Email: duanyucong@hotmail.com
DIKW (yucongduan.org)
Abstract:
Based on our previous report on that prime integers are the essential basis of natural
numbers and our revelation on the composition models of superficial concepts of even
integers, etc, we further propose in this work the promises of reconstructing computation
and reasoning at objective semantic level comprising the pure or isolated semantics such as
primes.
1. Introduction
Semantics locates not only in the center of artificial intelligence research as targeted content but
also dominating the correctness, precision and probability of the expressed models of the content
as expression mechanism. Although various approaches including ontology and metamodel have
been proposed, subjective semantics, because of its individualized nature and usually hidden side
of the incomplete expression form, is hard to be identified as objective and expressed with
concepts. The prevailing incompleteness of the conversion from subjective semantics to objective
semantics creates not only the difference of raw “Data” and meaning or purposeful “information”
which binds individualized purpose with data, but also the general fact that natural language
concepts usually involves multiple semantics of an expression due to the nondeterministic choices
among several possible or uncertain purposes .
Taking the whole society as a whole, there are huge waste on communication efficiency and
effectiveness to redundantly repeating the process of determine the targeted semantics among
multiple possibilities if we temporarily omit the esthetic positive aspect occasionally brought by
the cognitive uncertainty. From a constructive perspective, it will be wonderful to identify ideally
some basic semantics and there related carriers or concepts. In this work, we choose to extend on
the number domain, specifically over integers. Reasoning and computation is essentially reflecting
or embodying the purpose of conveying semantics or meaning to oneself or others. Proof is
actually relating semantics between known/hypothesis and unknown.
We propose to define objective semantic computation and reasoning as investigating and
promoting the effective and efficient modeling and manipulation of semantics and their
corresponding concepts.
2. The semantics of even integers
The semantics of even means that there are two identical or the same integers which added
together to comprise the even number. This semantics of even is both necessary and complete in
terms of independently describes the semantics of all even integers.
Even equals to the basic justification of the existence of the semantics of sameness. The semantics
of basic of basic justification means that it matches to the pair of “A is the same as B”.
Even
::= samenessA=B
We have proposed that primes are the carrier of essential semantics of integers[1] in terms of
constructively composing other numbers. By essential, we mean that the primes are the most
efficient identifiers to composing all other superficial level number types in terms of both average
composition operations and description complicity.
3. The semantics of primes
The semantics of prime integers is pure based on the reference to the semantics of sameness.
prime
::=!composition
::=essentially!even
4. The semantics of composition
The semantics of composition capability of an integer by multiplication or reversing of division
for integers relies on the existence of semantics of sameness among all elementary integers.
compositionmultiply
::=samenessnumber
::=samenessessentically(prime)
5. Consistent merging of individual vs. whole semantics
Philosophical indication:
All different elements as carriers of the semantics of difference as a whole is unified with the all
different elements as carriers of the semantics of sameness in terms of the type level expression of
Evenwhole
::=samenesswhole({even(x)+even(y)})
::=differencewhole({prime(x)+prime(y)})
=>
Samenesswhole
::=differencewhole
This is a semantic level evaluation which relates individual level difference or controversial
semantics of samenessindividual vs. differenceindividual as identical in terms of compositional elements
as a whole for the semantics of capability of composing all or the whole of numbers of integers or
even. From the cognitive aspect, the semantic existence of pair of a sameness and a difference
originates in the strict coupling of the relativity or mutual reference of a same and a difference.
Usually because of the existence of multiple semantics of words, sentences and other expressions,
the rules among semantics are not observed while semantic sets are not taken as pure targets of
investigation. We propose that objective semantic computation and reasoning can come up to
serve related effective and efficient computation and reasoning purposes.
In a plain expression, the binary addition of all different integers, such as the whole set of
primes, can comprise, or equal to, all binary addition results of all same numbers which include
the whole set of even integers.
The consistency of the semantic level conclusion, such as the addition of all different
numbers can equal to or map to the binary addition of all same pairs of integers , with the
numerical validation at individual integer level, is not only intuitive, but also the semantic level
intuition is stronger than, or dominates, the individual level calculation of validation.
References
1. Yucong Duan, A modeling of integers with prime pairs and its reversed extension and models.
June 2021, DOI: 10.13140/RG.2.2.13232.28168.
https://www.researchgate.net/publication/352056378_A_modeling_of_integers_with_prime_pairs
_and_its_reversed_extension_and_models
2. Yucong Duan,Why we need Crossing "Data, Information, Knowledge and Wisdom (DIKW)
modals " towards Strong Artificial Intelligence? March 2021.DOI: 10.13140/RG.2.2.27023.92326
https://www.researchgate.net/publication/350312883_Why_we_need_Crossing_Data_Information
_Knowledge_and_Wisdom_DIKW_modals_towards_Strong_Artificial_Intelligence
3. Yucong Duan, Really necessarily clarify semantics of DIKW concepts or NO? February 2021.
DOI: 10.13140/RG.2.2.15906.56004
https://www.researchgate.net/publication/349456378_Really_necessarily_clarify_semantics_of_D
IKW_concepts_or_NO
4. Shijing Hu, Yucong Duan, Essence Computation Oriented Multi-semantic Analysis Crossing
Multi-modal DIKW Graphs. January 2021. DOI: 10.1007/978-3-030-67537-0_20
https://www.researchgate.net/publication/348667625_Essence_Computation_Oriented_Multi-sem
antic_Analysis_Crossing_Multi-modal_DIKW_Graphs
5. Yingbo Li, Yucong Duan, Zakaria Maamar, Haoyang Che, Anamaria-Beatrice Spulber, Stelios
Fuentes: Swarm Differential Privacy for Purpose Driven Data-Information-Knowledge-Wisdom
Architecture. CoRR abs/2105.04045 (2021)
6. Yingbo Li, Yucong Duan, Anamaria-Beatrice Spulber, Haoyang Che, Zakaria Maamar, Zhao
Li, Chen Yang, Yu lei: Physical Artificial Intelligence: The Concept Expansion of
Next-Generation Artificial Intelligence. CoRR abs/2105.06564 (2021)
7. Yucong Duan, 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)
8. Yucong Duan: Existence Computation: Revelation on Entity vs. Relationship for
Relationship Defined Everything of Semantics. SNPD 2019: 139-144
9. Yucong Duan: Towards a Periodic Table of conceptualization and formalization on State, Style,
Structure, Pattern, Framework, Architecture, Service and so on. SNPD 2019: 133-138
10. Yucong Duan: Semantic Oriented Algorithm Design: A Case of Median Selection. SNPD
2018: 307-311
11. Yucong Duan, Christophe Cruz, Christophe Nicolle: Identifying Objective True/False from
Subjective Yes/No Semantic based on OWA and CWA. J. Comput. 8(7): 1847-1852 (2013)
12. Yucong Duan: A Dualism Based Semantics Formalization Mechanism for Model Driven
Engineering. Int. J. Softw. Sci. Comput. Intell. 1(4): 90-110 (2009)
13. Yucong, Duan, and Christophe Cruz. "Formalizing semantic of natural language through
conceptualization from existence." IJIMT, (2011).
14. Yucong Duan, Shing-Chi Cheung, Xiaolan Fu, Yuqing Gu:A Metamodel Based Model
Transformation Approach. SERA 2005: 184-191
Research Proposal
Full-text available
Aiming at Cognitive integrity and integration overload for complex content identification, modeling, processing, and service optimization in the context of massive content interaction in multi-dimensional, multi-modal, multi-scale physical and digital space, we start from the identification and clarity of the uncertain semantics contained in the interpretability problem of artificial intelligence. Based on the integration of the value perspectives of psychophysiology, cognitive linguistics, information science, sociobiology , philosophy and metascience, we reveal the subjective and objective semantics of concepts from the uncertainties of multi-modal content semantic traceability, relevance, migration, interaction, and evolution of
Preprint
Full-text available
DIKWR2021 Welcome Message (https://dikwra.org/) Dear Friends and Colleagues: Data, Information, Knowledge and Wisdom, in short (DIKW), have been used widely as natural language marking terms in various domains for the purposes of expressing understandings. However there are still no unified understandings over the meaning of the DIKW concepts. Data, Information, Knowledge and Wisdom as a whole concept of DIKW is also missing unified understandings of the relationships among them. Therefore there has been proposals and models of DIKW as "layered hierarchy", "architecture", "framework", "network", "thinking mode", "style", "pattern", "style", "theory", "methodology", "model", "graph", etc. Current scientific researches and engineering practices, as long as they aim at solving complexity based on precision and correction of conceptual sharing, are advancing ahead relying more and more on the solidification of the conceptual foundation. For example, to approaching strong AI involving art and social science in the direction of explainable AI, using current machine learning practice will need firstly not labeling ambiguous conceptual objects but identifying the semantics of the concepts in an objective manner if possible. Recently AI practices have already been approaching multiple modals learning targets in terms of voice, picture, text, etc, rapidly, in various domains not limited to neuroscience, biology, medicine, industrial 4.0, digital twins, security and privacy protection, design, etc. These approaches cover multiple modals labeling, understanding, searching, reasoning, modification and especially and most recently embedding technologies in the form of various DIKW integration Machine Learning extensions. A foreseeable AI landscape with explainable and interactive human interactions is becoming feasible based on DIKW premises. From the cognitive perspective, we propose to use multiple-modals for DIKW concepts as that Data modal as entity records of observations or abstraction of individual information with specific purposes, Information modal as purpose oriented relationships among DIKW targets, Knowledge modal as information typed with hypothesis of completeness, and Wisdom modal as human value bundled information. Towards the unification landscape of science and social science pictured in "Consilience:The Unity of Knowledge" by Dr. Edward O. Wilson, as DIKW modals are increasingly recognized as an important approach to solving problems related to semantic understanding beyond various question and answering systems, we are feeling more than ever the need to start by investigating on the necessary of unification of DIKW concepts in the background of relationship defined everything of semantics (RDXS) towards solving essence oriented computation and reasoning activities. There might also be the cases that there will be new mode of Strong AI explorations such as we will not need to reach explicit unified understandings of the core concepts such as DIKW in the form of objective semantics but partially in the form of subjective semantics, which will still need supports or justification from cognitive psychology, philosophy, etc. Under this background, 2021 Future Data, Information and Knowledge Research and Applications Conference (DIKW-RA 2021) aims to bring together scientists, researchers, and industrial engineers to discuss and exchange experimental and theoretical results, novel designs, work-in-progress and case studies on theories,
Article
Full-text available
Currently, with the growth of the Internet of Things devices and the emergence of massive edge resources, security protection content has not only empowered IoT devices with the accumulation of networked computing and storage as a flexible whole but also enabled storing, transferring and processing DIKW (data, information, knowledge, and wisdom) content at the edge of the network from multiple devices in a mobile manner. However, understanding various DIKW content or resources poses a conceptual challenge in unifying the semantics of the core concepts as a starting point. Through building metamodels of the DIKW framework, we propose to cognitively formalize the semantics of the key elements of the DIKW in a conceptual process. The formalization centers on modeling the perceived world only by relationships or semantics as the prime atomic comprising elements. Based on this cognitive world model, we reveal the difference between relationships and entities during the conceptualization process as a foundation for distinguishing data and information. Thereafter, we show the initial case for using this formalization to construct security protection solutions for edge computing scenarios centering on type conversions among typed resources formalized through our proposed formalization of the DIKW.
Article
Full-text available
We propose an outline of an approach to formalize semantic from conceptualization for both natural language (NL) and logic expression mechanisms. This goes beyond the level of discussions at conceptual level which has to either end in conscious/unconscious relativity of understanding or subjective enforcement in the form of definitions instead of expected objective semantic. This approach supports to view from a pure mathematical perspective, and explore and locate the fundamental problems. The semantic formalization mechanism realizes the integration of problem description and the solution expression at absolute semantic level. So a problem describing process is equivalent to the solution exploring process by integrating both in one. This essentially caters the ideology of proceeding with model refinement of model driven development. Other advantages include that it will reduce the need for validation for model migrations during a model driven development process, etc. Application is intended to cover specification refinement of both functional and quality requirement, and both static description and behavioral implementation, etc.
Chapter
Based on our previous proposal of an existence level computation and reasoning approach called Existence Computation, which extends traditional identification of objects towards an existence level clarification, and a semantic expression mechanism called Relationship Defined Everything of Semantics which adopts the ideology that entities are defined or determined by more essential relationships or structures, we proposed in this work that although resource or content processing are embodied in every modal of the target content, the essence of the requirement of processing instead of the projected modal of the content is vital as the source of processing towards expected result. From the perspective of processing of multiple modal resources or content in the background of insufficient single modal resource to achieve progress in decision making and improve precision of computation with higher efficiency, we propose an approach called Essence Computation and Reasoning, originating in existence computation level and relationship defined everything of semantics models, to synchronize crossing modal processing towards minimizing the uncertainties through merging cross modals and inter modal or meso-scale capabilities of available data, information, knowledge and wisdom (DIKW). We show the application of essence computation and reasoning of modal transformation and deduplication analysis crossing multiple semantics modals of data modal, information modal and knowledge modal in an encoding and decoding case.
Article
Distinguishing objective(OBJ) semantic from subjective(SUBJ) semantic is essential to information processing of either explicit design formalization or implicit natural language(NL) communication of projects' implementation. We summarized our past experience of solutions for semantic knowledge management projects. An adopted hypothesis is that among the tremendous and rapid increasing information, there is a relative stable core which can map/relate to every specific piece of information uniformly starting from the discussion on existence and conceptualization. The mapping will result in an expansion formalization based on open world assumption (OWA) and closed world assumption (CWA). This formalization can be widely applied for guiding semantic formalization and validation. We show initial applications on transformations from SUBJ to OBJ, etc.
Article
Firstly this article presents a thorough discussion of semantics formalization related issues in model driven engineering (MDE). Then motivated for the purpose of software implementation, and attempts to overcome the shortcomings of incompleteness and context-sensitivity in the existing models, we propose to study formalization of semantics from a cognitive background. Issues under study cover the broad scope of overlap vs. incomplete vs. complete, closed world assumption (CWA) vs. open world assumption (OWA), Y(Yes)/N(No) vs. T(True)/F(False), subjective (SUBJ) vs. objective (OBJ), static vs. dynamic, unconsciousness vs. conscious, human vs. machine aspects, etc. A semantics formalization approach called EID-SCE (Existence Identification Dualism-Semantics Cosmos Explosion) is designed to meet both the theoretical investigation and implementation of the proposed formalization goals. EID-SCE supports the measure/evaluation in a {complete, no overlap} manner whether a given concept or feature is an improvement. Some elementary cases are also shown to demonstrate the feasibility of EID-SCE.
Conference Paper
The information transformation problem of model driven software development (MDSD) processes is gaining increasing attentions. In this paper, we present an indepth analysis of the major causes leading to the ambiguities of existing transformation. A metamodel based approach is then proposed to address these causes. A mechanism to generate transformation rules is devised based on a classification of the UML metamodel elements to be used in subsequent transformation processes. Some other critical issues relating to the generated transformation system are also discussed.
Physical Artificial Intelligence: The Concept Expansion of Next-Generation Artificial Intelligence
  • Yingbo Li
  • Yucong Duan
  • Anamaria-Beatrice Spulber
  • Haoyang Che
  • Zakaria Maamar
  • Zhao Li
  • Chen Yang
  • Yu Lei
Yingbo Li, Yucong Duan, Anamaria-Beatrice Spulber, Haoyang Che, Zakaria Maamar, Zhao Li, Chen Yang, Yu lei: Physical Artificial Intelligence: The Concept Expansion of Next-Generation Artificial Intelligence. CoRR abs/2105.06564 (2021)