In prior work we considered networks of agents who prove facts from their knowledge bases and report them to their neighbors in their common languages in order to help a decider verify a single sentence. In report complete networks, the signatures of the agents and the links between agents are rich enough to verify any decider's sentence that can be proved from the combined knowledge base. This paper introduces a more general setting where new observations may be added to knowledge bases and the decider must choose a sentence from a set of alternatives. We consider the question of when it is possible to prepare in advance a finite plan to generate reports within the network. We obtain conditions under which such a plan exists and is guaranteed to produce the right choice under any new observations.
Keisler, H. Jerome and Keisler, Jeffrey M., "Observing, reporting, and deciding in networks of sentences" (2014). Management Science and Information Systems Faculty Publication Series. 32.