paper-with-me

Papers

Learning Modulo Theories for preference elicitation in hybrid domains

2015-08-18 · Paolo Campigotto, Roberto Battiti, Andrea Passerini

This paper introduces CLEO, a novel preference elicitation algorithm capable of recommending complex objects in hybrid domains, characterized by both discrete and continuous attributes and constraints defined over them. The algorithm assumes minimal initial information, i.e., a set of catalog attributes, and defines decisional features as logic formulae combining Boolean and algebraic constraints over the attributes. The (unknown) utility of the decision maker (DM) is modelled as a weighted combination of features. CLEO iteratively alternates a preference elicitation step, where pairs of candidate solutions are selected based on the current utility model, and a refinement step where the utility is refined by incorporating the feedback received. The elicitation step leverages a Max-SMT solver to return optimal hybrid solutions according to the current utility model. The refinement step is implemented as learning to rank, and a sparsifying norm is used to favour the selection of few informative features in the combinatorial space of candidate decisional features. CLEO is the first preference elicitation algorithm capable of dealing with hybrid domains, thanks to the use of Max-SMT technology, while retaining uncertainty in the DM utility and noisy feedback. Experimental results on complex recommendation tasks show the ability of CLEO to quickly focus towards optimal solutions, as well as its capacity to recover from suboptimal initial choices. While no competitors exist in the hybrid setting, CLEO outperforms a state-of-the-art Bayesian preference elicitation algorithm when applied to a purely discrete task.

📄 PDF Abstract BibTeX arXiv:1508.04261

Code (0)

등록된 구현이 없습니다.

Tasks

Learning-To-Rank

Similar Papers 제목 키워드 기반

Structured Learning Modulo Theories

2014-05-07 · Stefano Teso, Roberto Sebastiani, Andrea Passerini

Modelling problems containing a mixture of Boolean and numerical variables is a long-standing interest of Artificial Intelligence. However, performing inference and learning in hybrid domains is a particularly daunting t…

Representing Hybrid Automata by Action Language Modulo Theories

2017-07-20 · Joohyung Lee, Nikhil Loney, Yunsong Meng

Both hybrid automata and action languages are formalisms for describing the evolution of dynamic systems. This paper establishes a formal relationship between them. We show how to succinctly represent hybrid automata in …

Translation

Constructive Preference Elicitation over Hybrid Combinatorial Spaces

2017-11-21 · Paolo Dragone, Stefano Teso, Andrea Passerini

Preference elicitation is the task of suggesting a highly preferred configuration to a decision maker. The preferences are typically learned by querying the user for choice feedback over pairs or sets of objects. In its …

Hybrid SRL with Optimization Modulo Theories

2014-02-18 · Stefano Teso, Roberto Sebastiani, Andrea Passerini

Generally speaking, the goal of constructive learning could be seen as, given an example set of structured objects, to generate novel objects with similar properties. From a statistical-relational learning (SRL) viewpoin…

Relational Reasoning

Shield Synthesis for LTL Modulo Theories

2024-06-06 · Andoni Rodriguez, Guy Amir, Davide Corsi, Cesar Sanchez 외

In recent years, Machine Learning (ML) models have achieved remarkable success in various domains. However, these models also tend to demonstrate unsafe behaviors, precluding their deployment in safety-critical systems. …