We designed and developed
a hipergraph-based multi-modal trip planner that allows
users to upload auxiliary cost metrics (e.g., crime
rates), to specify constraints as a theory in the linear
temporal logic, and to express preferences as a preferential
cost function.
In the demo, an optimal trip is computed for Alice who doesn't
have a car but has a bike, and she wants to bike at least 1 and at most 2 hours.
Moreover, she prefers biking and public transits over uber.
**Related:**
AAAI Worshop paper.

We design and implement a decision analysis system using reinforcement learning to learn interpretable predictive decision models to provide insight into agents' decision making process.

To facilitate preference learning, we are building a library of various practical preferential datasets useful for conducting preference learning experiments on real-world data.

We introduced the preference formalism of partial lexicographic preference trees, or PLP-trees, over combinatorial domains of alternatives. We study the problem of passive learning, that is, the problem of learning preference models given a set of pairwise preferences between alternatives, called training examples, provided by the user upfront. Specifically, for several classes of PLP-trees, we study how to learn (i) a PLP-tree, preferably of a small size, consistent with a dataset of training examples, and (ii) a PLP-tree correctly ordering as many of the examples as possible in case of inconsistency. Then, we evaluate the predictive power of our model empirically in comparison with other ranking systems in the setting of instance ranking, corresponding to ordinal classification in machine learning.

When candidates are combinations of values
from domains of features, there are just too many of them for humans to
express preferences as strict total orders (or votes) over all candidates.
However, the system of lexicographic preference trees (LP-trees)
often provide compact representations of preferences over combinatorial
domains. Our work focuses on two preference-aggregation problems, the
winner problem and the evaluation problem, based on positional scoring
rules (such as k-approval and Borda) when preferences are represented
as LP-trees. We obtain new computational complexity results of these
two problems and provide empirical analysis in two programming formalisms,
answer set programming (ASP) and weighted partial maximum
satisfiability (WPM).
**Related:**

Preferences over sets can be modeled as weighted propositional formulas. Given a database (the space of possible outcomes), constraints (filtering the database to get the space of feasible outcomes) and preferences (soft constraints indicating personal likings and dislikings), we design and implement a preference reasoning system that automatically produces optimal solutions based on multiple criteria: possibilistic logic, leximin ordering, discrimin ordering and pareto dominance.