iPref-R: A Qualitative Preference ReasoneriPref-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 VideoClick here to watch our demonstration video.
Installation Instructions for Graphical User Interface
- Verify that Java 6 or later is installed on your machine and has been added to the Classpath.
- Download and install a Model Checker such as Cadence SMV or NuSMV.
- Download the iPref-R zip file.
- Unzip the iPref-R files.
- 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
- 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 NuSMV reasoner.properties file
- 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
- Cadence SMV
Usage InstructionsTo 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
Viewing results: consistency, dominance, most preferred, preferred order
While running iPref-R, the help menu can be viewed by selecting ?>Help from the menu bar.