We aim to standardize the development of sustainable and decentralized infrastructure by creating a knowledge representation model (formal system). This model forms a knowledge base that will run on a decentralized Internet, allowing us to measure the openness of various systems within the digital ecosystem and create new systems.

Our vision is to establish an open, versatile and adaptable digital ecosystem where individuals, organizations and communities can freely collaborate and contribute to the development of the knowledge base, driving the advancement of infrastructure systems. This fosters a new economy based on collaboration and knowledge sharing.

Imagine a tool like the game Factorio, but connected to real physical infrastructure. Here, people can manage and maintain their infrastructure systems, assisted by open generative tools and AI.

This model doesn’t exist yet, but we want to make it real by involving the community in the research!

Develop a formal system that can express functionality and requirements of system implementations.
The main purpose is to model systems and then measure the alignment to requirements.
Such a formal system would define a language on which the OKA Model is based.

Some concepts and research topics, that could benefit this project:

• Axiomatic system capable of expressing functionality and requirements.
• A deductive system to prove and verify the alignment of requirements.
• Development of a formal language based on an axiomatic system.
• Parsing and compilation into different formats.
• Apply machine learning to generate functionality from requirements.