The Fundamental Theory of Artificial Intelligence—Logic Structure and Logic Engineering

The research purpose of this dissertation is threefold: to innovate artificial intelligence methods, to create the intersection of artificial intelligence and biological research, and to innovate human methodology. The work I have done in my research includes: improving logical structure and logical engineering, using my theory to study the innovation of the development path of artificial intelligence, using my theory to create biomimetic logic, a new intersection of artificial intelligence and biological research, and exploring the innovation of human methodology through the previous two works. The results of the research are as follows: 1) Introduction to bionic logic, incorporating simulations of people, society, and life as core principles. 2) Definition of the logical structure as the primary focus of research, with logic mechanics serving as foundational research principles. 3) Examination of the logical structure’s environment through logical fields and networks. 4) Study of logical structure communication via logical networks and main lines. 5) Proposal of data logic. 6) Investigation into the logic of logical structures, employing structural diagrams of logical equations. 7) Development of a theory of life activity within logical structures, encompassing information reasoning, its corresponding control structure, and structural reasoning. 8) Introduction of the lifecycle theory for logical structures and examination of the clock equation. 9) Exploration of logical structure intelligence. 10) Study of logical structures in mathematical forms. 11) Introduction of logic engineering. 12) Examination of artificial intelligence’s significance. 13) Investigation into the significance of human methodology.

Data Logic Structure and Key Technologies on Intelligent High-precision Map

Taking autonomous driving and driverless as the research object,we discuss and define intelligent high-precision map.Intelligent high-precision map is considered as a key link of future travel,a carrier of real-time perception of traffic resources in the entire space-time range,and the criterion for the operation and control of the whole process of the vehicle.As a new form of map,it has distinctive features in terms of cartography theory and application requirements compared with traditional navigation electronic maps.Thus,it is necessary to analyze and discuss its key features and problems to promote the development of research and application of intelligent high-precision map.Accordingly,we propose an information transmission model based on the cartography theory and combine the wheeled robot’s control flow in practical application.Next,we put forward the data logic structure of intelligent high-precision map,and analyze its application in autonomous driving.Then,we summarize the computing mode of“Crowdsourcing+Edge-Cloud Collaborative Computing”,and carry out key technical analysis on how to improve the quality of crowdsourced data.We also analyze the effective application scenarios of intelligent high-precision map in the future.Finally,we present some thoughts and suggestions for the future development of this field.

CONCEPTUAL MODELING BASED ON LOGICAL EXPRESSION AND EVOLVEMENT

Aiming at the problem of abstract and polytype information modeling in product conceptual design, a method of conceptual modeling based on logical expression and evolvement is presented. Based on the logic expressions of the product conceptual design information, a fimction/logic/strucmre mapping model is set up. First, the fimction semantics is transformed into logical expressions through fimction/logic mapping. Second, the methods of logical evolvement are utilized to describe the fimction analysis, fimction/strucmre mapping and structure combination. Last, the logical structure scheme is transformed into geometrical sketch through logic/structure mapping. The conceptual design information and modeling process are described uniformly with logical methods in the model, and an effective method for computer aided conceptual design based on the model is implemented.

A New View of the Dynamics of Particle Structure

The new view denies the existence of fundamental particles in matter, and instead states that any particle and matter is a dynamic superposition of three natural elements, motion, force, and emptiness. This paper proposes a new theory of the structure of matter and the unification of the four forces. A correct understanding of the logic of material structure will enable atomic energy and nuclear physics to generate new manufacturing ideas. The dissertation expounds the natural distribution of dynamics and forces in space and the new deterministic theory of dynamic relationship. This theory solves problems such as the unity of the four forces and the dynamic laws of the material structure. In practical applications, it can provide new theoretical guidance for industrial manufacturing such as nuclear energy, fusion engineering, new energy, new materials, battery energy storage, new-generation reactors, etc., and then adopt effective means in line with the laws of natural power to make the substances needed by human beings. The supply of resources and energy is perfectly satisfied. Applying this theoretical model of material structure to all aspects of the manufacturing industry will surely open up a new era of material civilization for human beings.

A Structured Temporal Logic Language:XYZ/SE

In order to enhance the readability and to simplify the verification of temporal logic programs in the XYZ system,we propose a structured temporal logic language called XYZ/SE,based on XYZ/BE which is the basis language of the XYZ system.A set of proof rules are given and proved to be sound and adequate for proving the partial correctness of XYZ/SE programs in a compositional way.Moreover,we show that every XYZ/BE program can be transformed into an equivalent XYZ/SE program.So we have developed a general compositional verification method in the XYZ system concerning the sequential case.

Comparisons of EVD and DVD

The goal of the Enhanced Versatile Disc （EVD） standard is to define an advanced high definition disc competing with Digital Versatile Disc （DVD）. The EVD standard consists of the physical specification, the file system .specification, and the specification for audio/video data and Enhanced （ x ） Audio Coding （ExAC） technology. EVD is an integrated .system similar to DVD. Comprehensive comparisons of EVD and DVD are given in this paper. Their key differences include disc formats, file system structures, data structures, audio/video coding, and other issues. Among them, we emphasize on the logic structure of EVD data and its enhanced audio coding method ExAC. We can draw conclusions through these comparisons that EVD is more the advantageous.

A minimum adequate set of multi-valued logic

An adequate set of k-valued logic is provided,which contains only two operators.It is also proved that this adequate set is of minimum size。