EAGER: Decision Support System for Reasoning with Preferences

EAGER：带有偏好的推理决策支持系统

• 批准号: 1143734
• 负责人: Samik Basu
• 金额: $ 11.14万
• 依托单位: Iowa State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2011
• 资助国家: 美国
• 起止时间: 2011-08-01 至 2013-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1143734&HistoricalAwards=false
• 关键词: EAGER; Decision; Support; System; Reasoning

Automated decision support systems help users make informed and intelligent choices over a set of alternatives, taking into account user preferences and trade-offs among multiple system attributes. In the software engineering domain decision support systems are used to help in evaluating alternative design, technical and managerial choices in terms of quantitative preferences and trade-offs. Preferences over alternatives are evaluated either by directly soliciting from the stakeholders a measure of the perceived utility/value of each attribute, or by quantifying such utility/value based on past experience and expertise. In most practical settings, however, preferences over attributes cannot all be quantified. On the other hand, considering preferences only qualitatively (specifying them as simple relative orderings between alternatives) is also not practical. To overcome these limitations, the proposed research focuses on developing a new paradigm for decision support systems, where preferences are specified both in qualitative and quantitative terms.The main thrust of this work will be to: (a) develop robust formalisms for representing and reasoning with quantitative and qualitative preferences in an unified fashion, (b) investigate application-domain specific extensions to the formalisms, and (c) identify implementation strategies for practical application of the decision support system as a preference analyzer. The anticipated results will help realize application-specific robust decision support systems in multiple domains, including product-line engineering, safety-critical system development, and goal-oriented requirements engineering, by enabling improved automated reasoning about preferences. This work will contribute to research-based training of a postdoctoral scholar and a graduate student in techniques that cut across software engineering, formal methods and artificial intelligence. Research results will be disseminated through publications in journals and conferences.

自动决策支持系统可帮助用户在多个系统属性之间考虑用户的偏好和权衡方面的替代方案。在软件工程领域中，决策支持系统用于帮助评估定量偏好和权衡方面的替代设计，技术和管理选择。通过直接从利益相关者征集每个属性的效用/价值的量度，或者通过基于过去的经验和专业知识量化此类效用/价值来评估偏好而不是替代方案。但是，在大多数实际设置中，不能全部量化属性的偏好。另一方面，仅定性考虑偏好（将它们指定为替代方案之间的简单相对顺序）也不是实际。为了克服这些局限性，拟议的研究重点是为决策支持系统开发新的范式，在定性和定量术语中指定偏好，在此期间指定偏好。这项工作的主要目的将是：（a）以：（a）为统一的实施方式，以实施定量和定性偏好来确定统一性的策略，（b）针对统一的策略，（b）确定统一性的策略，（b）c，（b）c的实施，（b）c，（b）c的实施（b）决策支持系统作为偏好分析仪。预期的结果将有助于在多个领域中实现特定应用程序的强大决策支持系统，包括产品线工程，安全关键系统开发和面向目标的需求工程，通过提高对偏好的自动推理。 这项工作将有助于研究博士后学者和研究生的研究培训，这些技术削减了软件工程，正式方法和人工智能。研究结果将通过期刊和会议中的出版物传播。