Hirsch, R; Jackson, M; Kowalski, T; (2019) Algebraic foundations for qualitative calculi and networks. Theoretical Computer Science , 768 pp. 99-116. 10.1016/j.tcs.2019.02.033.

Preview

Text TCS_revised.pdf - Accepted Version Download (443kB) | Preview

Abstract

Abstract. Binary Constraint Problems have traditionally been considered as Network Satisfaction Problems over some relation algebra. A constraint network is satisfiable if its nodes can be mapped into some representation of the relation algebra in such a way that the constraints are preserved. A qualitative representation φ is like an ordinary representation, but instead of requiring that (a;b) φ is the composition a φ◦b φ of the relations a φ and b φ, as we do for ordinary representations, we only require that c φ ⊇ a φ◦b φ ⇐⇒ c ≥ a;b, for each c in the algebra. A constraint network is qualitatively satisfiable if its nodes can be mapped to elements of a qualitative representation, preserving the constraints. If a constraint network is satisfiable then it is clearly qualitatively satisfiable, but the converse can fail, as we show. However, for a wide range of relation algebras including the point algebra, the Allen Interval Algebra, RCC8 and many others, a network is satisfiable if and only if it is qualitatively satisfiable. Unlike ordinary composition, the weak composition arising from qualitative representations need not be associative, so we can generalise by considering network satisfaction problems over non-associative algebras. We prove that computationally, qualitative representations have many advantages over ordinary representations: whereas many finite relation algebras have only infinite representations, every finite qualitatively representable algebra has a finite qualitative representation; the representability problem for (the atom structures of) finite non-associative algebras is NP-complete; the network satisfaction problem over a finite qualitatively representable algebra is always in NP; the validity of equations over qualitative representations is co-NPcomplete. On the other hand we prove that there is no finite axiomatisation of the class of qualitatively representable algebras.

Download activity - last month

Export as JSONCSVXML

Download activity - last 12 months

Export as JSONCSVXML

Downloads by country - last 12 months

Export as JSONCSVXML

Archive Staff Only

View Item