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.

中文翻译：

---

通过认知模态逻辑进行系统工程知识的形式推理

大型系统工程项目由遍布组织层次结构的数百至数千个代理（利益相关者，经理，设计人员等）组成。这些代理中的每一个都有某种形式的知识，或者是利益相关者需求的知识，特定领域的知识，规则和法规的知识，从先前项目的经验中获得的知识等。正式表示这种知识很重要在系统工程生命周期中，各种代理拥有这些代理，因为这将使知识重用，推理能力，推理新知识并减轻以文档为中心的方法中普遍存在的对知识的误解。这样的正式代表也将有助于缓解当前以文件为中心的方法所带来的一些挑战，这些方法涉及大规模系统开发中的项目延误和成本超支。本文致力于通过利用认知模态逻辑来正式表示系统工程生命周期各个阶段中存在的知识。描述性示例用于说明系统工程项目中这种形式的知识表示的实际推理能力。