2021
Soft constraint automata with memory
Publication
Publication
Journal of Logical and Algebraic Methods in Programming , Volume 118 p. 100615
We revise soft constraint automata, wherein transitions are weighted and each action has an associated preference value. We first relax the underlying algebraic structure to allow bipolar preferences. We then equip automata with memory locations, that is, with an internal state to remember and update information from transition to transition. We furthermore revise automata operators, such as composition and hiding, providing examples on how such memory locations interact with preferences. We finally apply our framework to encode context-sensitive behaviour.
Additional Metadata | |
---|---|
, , , | |
doi.org/10.1016/j.jlamp.2020.100615 | |
Journal of Logical and Algebraic Methods in Programming | |
Organisation | Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands |
Dokter, K., Gadducci, F., Lion, B., & Santini, F. (2021). Soft constraint automata with memory. Journal of Logical and Algebraic Methods in Programming, 118. doi:10.1016/j.jlamp.2020.100615 |