[Talks@IDSIA] PIDSIA Seminar by Alessandro Antonucci [15.11]

*Title: PSAT: Algorithms and Applications of Probabilistic Satisfiability. *Speaker: Alessandro Antonucci (IDSIA) *Abstract: We discuss PSAT, a probabilistic extension of the classical satisfiability (SAT) problem. This is achieved by assigning weights to the clauses of a SAT instance. The PSAT instance is satisfiable if and only if a probability mass function over the literals and consistent with the weights exists . We present two algorithms for PSAT based, respectively, on column generation and integer linear programming, both showing evidence of phase transition. PSAT solves inferences in a recently proposed probabilistic logic (CCL, in [Antonucci & Facchini, 2018]). This allows to perform machine learning with logical constraints under relaxed independence assumptions over probabilistic facts. As an application, we consider label ranking and show that existing solvers can be used to solve practical ranking tasks. *When: Thursday, 15th of November 2018, 12:00-13:00 *Location: Manno, Galleria 1, 2nd floor, room G1-204 *Registration: Pizza (or alternative food) and drinks will be offered at the end of the talk. If you plan to attend, please register in a timely fashion at the following link so that we will have no shortage of food: https://doodle.com/poll/2vv42mzewuv5hk6a