zbMATH — the first resource for mathematics

A unified semantics for constraint handling rules in transaction logic. (English) Zbl 1149.68424
Baral, Chitta (ed.) et al., Logic programming and nonmonotonic reasoning. 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15–17, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72199-4/pbk). Lecture Notes in Computer Science 4483. Lecture Notes in Artificial Intelligence, 201-213 (2007).
Summary: Reasoning on Constraint Handling Rules (CHR) programs and their executional behaviour is often ad-hoc and outside of a formal system. This is a pity, because CHR subsumes a wide range of important automated reasoning services. Mapping CHR to Transaction Logic ($$\mathcal{TR}$$) combines CHR rule specification, CHR rule application, and reasoning on CHR programs and CHR derivations inside one formal system which is executable. This new $$\mathcal{TR}$$ semantics obviates the need for disjoint declarative and operational semantics.
For the entire collection see [Zbl 1119.68003].

MSC:
 68T27 Logic in artificial intelligence
Full Text: