Matches in SemOpenAlex for { <https://semopenalex.org/work/W2951706142> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2951706142 abstract "Consider a distributed system N in which each agent has an input value and each communication link has a weight. Given a global function, that is, a function f whose value depends on the whole network, the goal is for every agent to eventually compute the value f(N). We call this problem global function computation. Various solutions for instances of this problem, such as Boolean function computation, leader election, (minimum) spanning tree construction, and network determination, have been proposed, each under particular assumptions about what processors know about the system and how this knowledge can be acquired. We give a necessary and sufficient condition for the problem to be solvable that generalizes a number of well-known results. We then provide a knowledge-based (kb) program (like those of Fagin, Halpern, Moses, and Vardi) that solves global function computation whenever possible. Finally, we improve the message overhead inherent in our initial kb program by giving a counterfactual belief-based program that also solves the global function computation whenever possible, but where agents send messages only when they believe it is necessary to do so. The latter program is shown to be implemented by a number of well-known algorithms for solving leader election." @default.
- W2951706142 created "2019-06-27" @default.
- W2951706142 creator A5034725415 @default.
- W2951706142 creator A5087025582 @default.
- W2951706142 date "2007-07-23" @default.
- W2951706142 modified "2023-09-27" @default.
- W2951706142 title "A Knowledge-Based Analysis of Global Function Computation" @default.
- W2951706142 cites W1498909462 @default.
- W2951706142 cites W1503973138 @default.
- W2951706142 cites W1964119857 @default.
- W2951706142 cites W1977549931 @default.
- W2951706142 cites W1981320906 @default.
- W2951706142 cites W1982171874 @default.
- W2951706142 cites W1994026499 @default.
- W2951706142 cites W1995274497 @default.
- W2951706142 cites W2014740956 @default.
- W2951706142 cites W2019033219 @default.
- W2951706142 cites W2030451690 @default.
- W2951706142 cites W2045478049 @default.
- W2951706142 cites W2065083916 @default.
- W2951706142 cites W2077371116 @default.
- W2951706142 cites W2084480957 @default.
- W2951706142 cites W2089155578 @default.
- W2951706142 cites W2091004544 @default.
- W2951706142 cites W2110664267 @default.
- W2951706142 cites W2124068769 @default.
- W2951706142 cites W2146819619 @default.
- W2951706142 cites W2227557434 @default.
- W2951706142 cites W2611515161 @default.
- W2951706142 hasPublicationYear "2007" @default.
- W2951706142 type Work @default.
- W2951706142 sameAs 2951706142 @default.
- W2951706142 citedByCount "0" @default.
- W2951706142 crossrefType "posted-content" @default.
- W2951706142 hasAuthorship W2951706142A5034725415 @default.
- W2951706142 hasAuthorship W2951706142A5087025582 @default.
- W2951706142 hasConcept C108650721 @default.
- W2951706142 hasConcept C111472728 @default.
- W2951706142 hasConcept C111919701 @default.
- W2951706142 hasConcept C11413529 @default.
- W2951706142 hasConcept C119857082 @default.
- W2951706142 hasConcept C126255220 @default.
- W2951706142 hasConcept C138885662 @default.
- W2951706142 hasConcept C14036430 @default.
- W2951706142 hasConcept C187455244 @default.
- W2951706142 hasConcept C2776291640 @default.
- W2951706142 hasConcept C2779960059 @default.
- W2951706142 hasConcept C33923547 @default.
- W2951706142 hasConcept C41008148 @default.
- W2951706142 hasConcept C45374587 @default.
- W2951706142 hasConcept C53480672 @default.
- W2951706142 hasConcept C78458016 @default.
- W2951706142 hasConcept C80444323 @default.
- W2951706142 hasConcept C86803240 @default.
- W2951706142 hasConceptScore W2951706142C108650721 @default.
- W2951706142 hasConceptScore W2951706142C111472728 @default.
- W2951706142 hasConceptScore W2951706142C111919701 @default.
- W2951706142 hasConceptScore W2951706142C11413529 @default.
- W2951706142 hasConceptScore W2951706142C119857082 @default.
- W2951706142 hasConceptScore W2951706142C126255220 @default.
- W2951706142 hasConceptScore W2951706142C138885662 @default.
- W2951706142 hasConceptScore W2951706142C14036430 @default.
- W2951706142 hasConceptScore W2951706142C187455244 @default.
- W2951706142 hasConceptScore W2951706142C2776291640 @default.
- W2951706142 hasConceptScore W2951706142C2779960059 @default.
- W2951706142 hasConceptScore W2951706142C33923547 @default.
- W2951706142 hasConceptScore W2951706142C41008148 @default.
- W2951706142 hasConceptScore W2951706142C45374587 @default.
- W2951706142 hasConceptScore W2951706142C53480672 @default.
- W2951706142 hasConceptScore W2951706142C78458016 @default.
- W2951706142 hasConceptScore W2951706142C80444323 @default.
- W2951706142 hasConceptScore W2951706142C86803240 @default.
- W2951706142 hasLocation W29517061421 @default.
- W2951706142 hasOpenAccess W2951706142 @default.
- W2951706142 hasPrimaryLocation W29517061421 @default.
- W2951706142 hasRelatedWork W174468873 @default.
- W2951706142 hasRelatedWork W1832404672 @default.
- W2951706142 hasRelatedWork W1843409908 @default.
- W2951706142 hasRelatedWork W1994009138 @default.
- W2951706142 hasRelatedWork W2015468161 @default.
- W2951706142 hasRelatedWork W2040949982 @default.
- W2951706142 hasRelatedWork W2062616598 @default.
- W2951706142 hasRelatedWork W2089984592 @default.
- W2951706142 hasRelatedWork W2196111987 @default.
- W2951706142 hasRelatedWork W2342506888 @default.
- W2951706142 hasRelatedWork W2767307050 @default.
- W2951706142 hasRelatedWork W2768961402 @default.
- W2951706142 hasRelatedWork W2807923340 @default.
- W2951706142 hasRelatedWork W2897693141 @default.
- W2951706142 hasRelatedWork W2950657833 @default.
- W2951706142 hasRelatedWork W2972720282 @default.
- W2951706142 hasRelatedWork W3046592195 @default.
- W2951706142 hasRelatedWork W3047752890 @default.
- W2951706142 hasRelatedWork W89473788 @default.
- W2951706142 hasRelatedWork W97605038 @default.
- W2951706142 isParatext "false" @default.
- W2951706142 isRetracted "false" @default.
- W2951706142 magId "2951706142" @default.
- W2951706142 workType "article" @default.