Soft Constraint Automata with Memory [chapter]

Kasper Dokter, Fabio Gadducci, Francesco Santini
2018 Lecture Notes in Computer Science  
In this paper, we revise the notion of Soft Constraint Automata, where automata transitions are weighted and consequently each action is associated with a preference value. We first relax the underlying algebraic structure that models preferences, with the purpose to use bipolar preferences (i.e., both positive and negative ones). Then, we equip automata with memory cells, that is, with an internal state to remember and update information from transition to transition. Finally, we revise automata operators, as join and hiding.
doi:10.1007/978-3-319-90089-6_6 fatcat:zwi6o7l4afbl3f3xb5wad62duq