[发明专利]一种目标可满足性定性、定量表示及推理方法

摘要

一种应用于软件系统工程环境下，涉及目标模型表示和目标推理领域，基于云模型理论的目标可满足性表示模型和基于OWA算子的目标可满足性推理方法，主要用于解决目标可满足性定性定量的综合表示问题和目标可满足性推理及其推理结果合理性问题。技术要点如下：(1)基于云模型定义目标可满足性表示模型，使用一个五元组来表示目标，使得目标同时拥有定性和定量的可满足性值；(2)基于OWA算子定义目标推理过程中局部分解上下文的AND算子、OR算子，通过这两种算子得到父目标分解上下文可满足性的证据源；(3)使用赋予权重的方式来反映用户对于目标不同的偏好，利用推理方法中的ENV算子来合成证据上下文中目标可满足性的不同证据源；(4)推理结束过程后显示完整的目标结构图，每个目标都包含定性和定量的可满足性值，使得用户对目标有更为直观的认知。本发明优势在于目标可满足性表示模型，能够在保持语义理解能力的同时，提供对可满足性进行细粒度区分的能力；推理方法能够避免基于纯逻辑“与”、“或”的过于“偏执”的推理结果；同时，父目标的满足程度介于子目标可满足性的最小和最大值之间，较好地反应人类一般思维的特点。

主权项

1.一种应用于软件系统工程环境下的基于云模型的目标可满足性表示模型和基于OWA算子的目标可满足性推理方法，其特征在于：(1)基于云模型定义目标可满足性表示模型，使用一个五元组来表示目标，使得目标同时拥有定性和定量的可满足性值；(2)基于OWA算子定义目标推理过程中局部分解上下文的AND算子、OR算子，通过这两种算子得到父目标分解上下文可满足性的证据源；(3)使用赋予权重的方式来反映用户对于目标不同的偏好，利用推理方法中的ENV算子来合成证据上下文中目标可满足性的不同证据源；(4)推理结束过程后显示完整的目标结构图，每个目标都包含定性和定量的可满足性值，使得用户对目标有更为直观的认知。