Towards Agent Programming in CHR

  title={Towards Agent Programming in CHR},
  author={Edmund S. L. Lam and Martin Sulzmann},
We investigate an approach to the design and implementation of linear logic based agent systems via the linear logic semantics of Constraint Handling Rules (CHR). The intuition behind our approach is simple: Linear logic provides strong logical foundations to reason, verify and specify agent systems beyond the limitations of classical logics, while with CHR, one can implement and analyse agent systems in a concise and compact manner by executable inference rules. We discuss necessary… CONTINUE READING
Highly Cited
This paper has 17 citations. REVIEW CITATIONS

Similar Papers

Loading similar papers…