Für interessierte UnRAVeL Mitglieder: Research Seminar by RTG QuantLA: Robin Hirsch: Relation algebra, games, representations, constraints
Dienstag, 02.02.2021, 13.00 Uhr
Ort: Online Session
Vortragender: Robin Hirsch
An introduction to games for solving constraints. I will mainly focus on binary constraints and the binary constraint satisfaction problem. We devise games to test consistency of binary constraints. We also introduce algebras for binary constraints — Relation Algebra — and use the game to test the representability of an algebra, as a concrete algebra of binary relations. These games can be used to find a recursively enumerable axiomatisation of the representation class, and can also be used to prove that a finite axiomatisation is not possible.