[Back]

J. Maly, S. Woltran:
"A New Logic for Jointly Representing Hard and Soft Constraints";
Talk: Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness (PRUV), Oxford; 2018-07-19; in: "Second Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness", (2018), 1 - 4.

Abstract. Soft constraints play a major role 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 example 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.

New Logic; Jointly Representing Hard and Soft Constraints

https://publik.tuwien.ac.at/files/publik_273507.pdf

Project Head Stefan Woltran:
START