Observing,reporting, and deciding in networks of sentences |
| |
Authors: | H Jerome Keisler Jeffrey M Keisler |
| |
Institution: | 1. Department of Mathematics, University of Wisconsin-Madison, Madison, WI 53706, United States;2. Department of Management Science and Information Systems, University of Massachusetts-Boston, Boston, MA 02125, United States |
| |
Abstract: | In prior work 7] we considered networks of agents who have knowledge bases in first order logic, and report facts to their neighbors that are in their common languages and are provable from their knowledge bases, 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. |
| |
Keywords: | 03C40 03F07 68T15 68T27 |
本文献已被 ScienceDirect 等数据库收录! |
|