Formal reasoning of knowledge in systems engineering through epistemic modal logic

Abstract

Large‐scale systems engineering projects consist of hundreds to thousands of agents (stakeholders, managers, designers, etc.) spread across the organizational hierarchy. Each of these agents possesses knowledge in some form or the other, be it the knowledge of stakeholder needs, domain‐specific knowledge, knowledge of rules and regulations, knowledge gained from experience on previous projects, etc. It is important to formally represent this knowledge possessed by various agents in the systems engineering lifecycle, as this will enable knowledge reuse, reasoning capabilities, inferring new knowledge, and mitigate misinterpretation of knowledge as prevalent in document‐centric approaches. Such a formal representation will also help alleviate some of the challenges posed by the current document‐centric approaches concerning project delays and cost overruns in the development of large‐scale systems. This paper focuses on formally representing knowledge that exists in various phases of the systems engineering lifecycle by leveraging epistemic modal logic. Descriptive examples are used to demonstrate the practical reasoning capabilities of such a formal representation of knowledge in systems engineering projects.

Requirements Rationalization and Synthesis Enabled by Model Synchronization

“…It should be noted that this paper does not attempt to define a strictly formal approach to requirements analysis (as advocated for example in [15][16][17]); rather, it uses a mathematical framework to assist the analyst within a joint cognitive paradigm [4]. Within the context of the broader research programme of the authors [18], we believe the joint cognitive paradigm begins to address in a pragmatic way calls for greater rigor in the development and application of Systems Engineering [19][20][21][22].…”