FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
A new logic for jointly representing hard and soft constraints

Authors: Jan Maly and Stefan Woltran

Paper Information

Title:A new logic for jointly representing hard and soft constraints
Authors:Jan Maly and Stefan Woltran
Proceedings:PRUV PRUV 2018 Proceedings
Editors: Thomas Lukasiewicz, Rafael PeƱaloza and Anni-Yasmin Turhan
Keywords:Preference Logic, Propositional Logic, Choice Logic
Abstract:

ABSTRACT. Soft constraints play a major rule in AI, since they allow to restrict the set of possible worlds (obtained from hard constraints) to a small fraction of preferred or most plausible states. Only a few formalisms fully integrate soft and hard constraints. A prominent examples is Qual- itative Choice Logic (QCL), where propositional logic is augmented by a dedicated connective and preferred models are discriminated via ac- ceptance degress determined by this connective. In this work, we follow an analogous approach in terms of syntax but propose an alternative semantics. The key idea is to assign to formulas a set of models plus a partial relation on these models. Preferred models are then obtained from this partial relation. We investigate properties of our logic which demon- strate that our semantics shows some favorable behavior compared to QCL. Moreover, we provide a partial complexity analysis of our logic.

Pages:15
Talk:Jul 19 12:00 (Session 132E: PRUV regular papers)
Paper: