多视点间不一致性的认知推理

• 作者: 毋国庆 江敏
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 重叠需求 公共知识 不一致 时序认知逻辑
• 年，卷（期）: 2007,（2）
• 所属期刊栏目: 算法研究
• 页码范围: 322-327
• 页数: 6页
• 分类号: TP311
• 字数: 6760字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-1220.2007.02.029

摘要

需求工程可以认为是一个知识表示,知识获取和知识分析的过程.多视点需求工程就是希望复杂系统中的不同参与者分别从自己的角度出发对预期系统进行描述,从而形成更完备的需求规约.由于多视点方法的这种特性,导致多个涉众有可能对同一问题进行描述,从而形成重叠的需求.这些重叠的需求就是涉众之间的公共知识,对公共知识的不同解释是导致需求规约中不一致问题的根源.本文对基于问题域的多视点需求建模框架进行基于时序认知逻辑的解释和推理,期望达到以下目的:1)使用户陈述的需求更加结构化;2)使用形式化的方法帮助涉众发现那些重叠的需求.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	毋国庆	武汉大学计算机学院	72	470	12.0	17.0
2	江敏	武汉大学计算机学院	5	12	3.0	3.0