cs.MAJun 23, 2026

Kiko: Programming Agents to Enact Interaction Protocols

Authors: Samuel H. ChristieMunindar P. SinghAmit K. Chopra

Organizations: North Carolina State University · Lancaster University

Abstract

Realizing a multiagent system involves implementing member agents who interact based on a protocol while making decisions in a decentralized manner. Current programming models for agents offer poor abstractions for decision making and fail to adequately bridge an agent's internal decision logic with its public decisions. We present Kiko, a protocol-based programming model for agents. To implement an agent, a programmer writes one or more decision makers, each of which chooses from among a set of valid decisions and makes mutually compatible decisions on what messages to send. By completely abstracting away the underlying communication service and by supporting practical decision-making patterns, Kiko enables agent developers to focus on business logic. We provide an operational semantics for Kiko and establish that Kiko agents are protocol compliant and able to realize any protocol enactment.

Explore similar work

CardsList
  1. Pact: A Choreographic Language for Agentic Ecosystems

    May 4, 2026Kiran Gopinathan, Jack Feser, Michelangelo Naim +2Global CoordinationDuet