Generic information knowledge model and formal natural language

The Japan Aerospace Exploration Agency (JAXA) is developing the Emergent Synthesis Environment (ESE) for next-generation space systems. ESE aims at innovation in the conventional operating process, increased efficiency of R&D, and improved reliability of space systems. We. are developing the Generic Information Knowledge Model (GIM) and the Formal Natural Language (FNL) to be used as the base of the knowledge-sharing environment of ESE. GIM is a general-purpose semantic network model, which uses the predicate as the core, an important feature that can also describe the syntax of natural language. The Formal Natural Language (FNL) describes GIM using the syntax of natural language. GIM-FNL enables us to accumulate, share, and use practical knowledge concerning the life cycle of space systems. Therefore, improved efficiency and reliability of space systems can be expected.