Interaction Design Language Q: The Initial Proposal

We started working on Q, an interaction design language, which is to describe and experiment interaction among autonomous agents and humans. Unlike previous agent communication languages, Q is intended to design various interaction patterns without depending any internal models of agents. Unlike previous protocol description languages, Q cannot guarantee the correctness of protocols. We rather combine execution and planning layers to create robust behaviors of agents.