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: |