Publications: Preference Reasoning

Contact:
Katarina Mitchell

Carl Chapman

The goal of this project is to develop a smart, easy-to-use graphical and extensible user interface for a qualitative preference reasoner. The work is supported in part by US National Science Foundation grants CCF 1143734 and CCF 0702758.

iPref-R: A Qualitative Preference Reasoner

iPref-R is an interactive tool for reasoning and analyzing preferences expressed in different types of qualitative preference languages (e.g., CP-Nets, TCP-Nets, CI-Nets). The graphical user interface that forms the front-end of the tool is presented in this page. For details on iPref-R visit here.

Demonstration Video

Click here to watch our demonstration video.

Installation Instructions for Graphical User Interface

  1. Verify that Java 6 or later is installed on your machine and has been added to the Classpath.
  2. Download and install a Model Checker such as Cadence SMV or NuSMV.
  3. Download the iPref-R zip file.
  4. Unzip the iPref-R files.
  5. Update the Configuration file.

    The resoner.properties file is within the config directory and should be updated to point to your model checker.

    • Cadence SMV
      • model_checker_name=cadenceSMV
      • model_checker_command
        • When utilizing Cadence SMV, the model_checker_command should end in "-force"
        • if Cadence SMV has been added to the class path, use that command in this field
        • OR
        • Use the location of Cadence SMV as the command. (When using this method, slashes must be doubled in order to be read correctly.)
          • e.g. C:\Program Files (x86)\SMV\bin\smv.exe becomes C:\\Program Files (x86)\\SMV\\bin\\smv.exe
        Example Cadence SMV reasoner.properties file
    • NuSMV
      • model_checker_name=nuSMV
      • model_checker_command
        • if Nu SMV has been added to the class path, use that command in this field
        • OR
        • Use the location of Nu SMV as the command. (When using this method, slashes must be doubled in order to be read correctly.)
          • e.g. C:\Program Files\NuSMV\2.5.4\bin\NuSMV.exe becomes C:\\Program Files\\NuSMV\\2.5.4\\bin\\NuSMV.exe
      • Example NuSMV reasoner.properties file

Usage Instructions

To run iPref-R, open a command prompt, navigate to the directory containing iPrefr.jar and the config folder and execute the following command: java -jar iPrefR.jar

If you are on a Windows machine, iPref-R can also be run by double clicking on the jar file.

On executing iPref-R, a blank window will appear. Create a new project by selecting File>New or by pressing Ctrl+n on your key board. An option menu will appear, which allows user to select two different types of preference inputs (TCP-Net and CI-Net) and to consider two different preference reasoning scenarios (single user preferences and multiple user preferences). The tool supports CI-Net preferences for single users. For new updates, please revisit this page.
Other menu options for File menu are self-explanatory (have standard meaning and functionality).

A help menu can be viewed by selecting ?>Help from the menu bar.

Give your project a name and select and model checker


Add attributes over which to express preferences; in CI-Nets preferences are expressed over the presence/absence of the attributes (i.e., attribute-domains are Boolean)


Declare preferences over attribute domains


There are four elements in the preference statement
S+; S-: S1; S2
which means that in the presence of S+ and absence of S-, S1 is preferred to S2. The four sets must be mutually disjoint (which can be checked by "Validate" button, if needed).


Viewing results: consistency, dominance, most preferred, preferred order

Help Menu

While running iPref-R, the help menu can be viewed by selecting ?>Help from the menu bar.

Collaborating Labs and Groups