Kiko：对代理进行编程以制定交互协议

实现多代理系统涉及实现基于协议进行交互的成员代理，同时以分散的方式做出决策。当前的代理编程模型为决策提供了较差的抽象，并且无法充分地将代理的内部决策逻辑与其公共决策联系起来。我们推出了 Kiko，一种基于协议的代理编程模型。为了实现代理，程序员编写一个或多个决策者，每个决策者从一组有效决策中进行选择，并就发送哪些消息做出相互兼容的决策。通过完全抽象底层通信服务并支持实际决策模式，Kiko 使代理开发人员能够专注于业务逻辑。我们为 Kiko 提供操作语义，并确定 Kiko 代理符合协议并能够实现任何协议制定。