Agent-Oriented Programming

I co-designed [5] an implementation of linear logic based agent systems via CHRs. The intuition behind this 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 analyze agent systems in a concise and compact manner by executable inference rules. This approach can possibly provide a seamless integration of the formal specification and implementation of agent programs, representing the basis of a unified framework for dynamic agent systems.

Martin Sulzmann 2006-07-19