PROJECT
The foundation of Soft Logic
The first part of the project is to lay the foundation of the mathematics including the data representation needed to support the Digital Living Logic. This mathematical language enables us to present cyber knowledge by an extension of the number 0 from a singular point to a continuous line. We create a new type of numbers (states) for the composed (augmented) reality, which we call “Bridge Numbers”: a0+b1.
a, b are real numbers, where “a” is the value on the 0 axis (activity in the cyber space), and “b” is the value on the 1 axis (activity in the real world). We will define arithmetic operations on the Bridge Numbers and investigate properties of these operations.
The representation will be extended beyond the above model to represent a richer set of the cyber world and a set of the physical world. The cyber set will be modeled as a semi precedence partially ordered set (and perhaps a lattice, and later a filter), and there will be relations between the cyber and the physical spaces. We will explore the relations between the sets (for example looking at Tarski theorem and fixed point properties). Then the dynamical coevolution of the sets will be studied.
The current mathematics does not consider the two separate processes as we suggest to model (cyber and reality), and then use to analyze applications for the 2030.
Our research plan, milestones and schedule
The first part of the research is to establish the foundation of Soft logic (which will produce several academic papers), and then to focus on one or two particular applications. The foundation starts with a limited model (linear and ordered, and will be followed by richer models (as mentioned in the research objectives).
The fundamental issues that we are investigating in the five years of
the project include:

The foundation of Soft Logic

A fundamental language that describe the states and processes in the cyber space and the relation to the real world.

Properties of the logic (such as Calculus and Algebra)

Analysis of the relationship between the two sets

Data Mining with soft numbers

Privacy in the Digital Living

Personal, Sociological and Ecological impact
Potential Applications in DL2030 to validate the new data representation
and model include:

Medical

Autonomous Vehicles

Virtual Reality

Computational and dynamical models

Robotics

Smart Cities