Skip to main content
Article
Observing, reporting, and deciding in networks of sentences
Annals of Pure and Applied Logic (2014)
  • H. Jerome Keisler
  • Jeffrey M. Keisler, University of Massachusetts Boston
Abstract
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.
Disciplines
Publication Date
2014
Citation Information
H. Jerome Keisler and Jeffrey M. Keisler. "Observing, reporting, and deciding in networks of sentences" Annals of Pure and Applied Logic (2014)
Available at: http://works.bepress.com/jeffrey_keisler/44/