• DocumentCode
    2816257
  • Title

    Towards Diverse Relaxations of Over-Constrained Models

  • Author

    Horan, John ; O´Sullivan, Barry

  • Author_Institution
    Dept. of Comput. Sci., Univ. Coll. Cork, Cork, Ireland
  • fYear
    2009
  • fDate
    2-4 Nov. 2009
  • Firstpage
    198
  • Lastpage
    205
  • Abstract
    In many interactive decision making scenarios there is often no solution that satisfies all of the user´s preferences. The decision process can be helped by providing explanations. Relaxations show sets of consistent preferences and, thus, indicate which preferences can be enforced, while exclusion sets show which preferences can be relaxed to obtain a solution. Many approaches have been proposed to generate relaxations of over-constrained sets of constraints. However, most focus on generating a single relaxation. In this paper we study a variety of heuristic methods for generating diverse sets of relaxations. We show that a heuristic based approach can generate diverse relaxations quickly enough to support user interaction. We also describe a prototype explanation visualisation tool that can help a user navigate over diverse sets of explanations.
  • Keywords
    constraint handling; decision making; program visualisation; diverse relaxations; explanation visualisation tool; heuristic methods; interactive decision making; over-constrained models; user preferences; Artificial intelligence; Computer science; Costs; Debugging; Decision making; Educational institutions; Navigation; Prototypes; Testing; Visualization; Constraint satisfaction; Explanation;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Tools with Artificial Intelligence, 2009. ICTAI '09. 21st International Conference on
  • Conference_Location
    Newark, NJ
  • ISSN
    1082-3409
  • Print_ISBN
    978-1-4244-5619-2
  • Electronic_ISBN
    1082-3409
  • Type

    conf

  • DOI
    10.1109/ICTAI.2009.89
  • Filename
    5363300