Towards Agent Programming in CHR
msra(2006)
摘要
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 refinements of the CHR semantics to allow for sequential computations of actions and the verification of action determinism. Our approach can possibly provide a seemless integration of the formal specification and implementation of agent programs via CHRs.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络