多视点中不一致性的处理：一种基于认知逻辑的方法

衡量一个软件系统是否成功，一个基本的要素就是看该软件系统是否满足了用户的要求。软件系统需求工程（re）就是一个通过标识涉众及其需求并将其文档化以便于进行分析的过程。re是一个跨学科，以人为中心的过程。多视点需求工程是需求工程的一个分支。多视点需求工程就是希望复杂系统中的不同参与者分别从自己的角度出发对预期系统进行描述，从而形成更完备的需求规约。由于多视点方法的这种特性，导致多个涉众有可能对同一问题进行描述，从而形成重叠的需求。这些重叠的需求就是涉众之间的公共知识，对公共知识的不同解释是导致需求规约中不一致