FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2165846579> ?p ?o ?g. }

• W2165846579 endingPage "100" @default.
• W2165846579 startingPage "90" @default.
• W2165846579 abstract "This is a case-study in knowledge representation. We analyze the 'one hundred prisoners and a lightbulb' puzzle. In this puzzle it is relevant what the agents (prisoners) know, how their knowledge changes due to observations, and how they affect the state of the world by changing facts, i.e., by their actions. These actions depend on the history of previous actions and observations. Part of its interest is that all actions are local, i.e. not publicly observable, and part of the problem is therefore how to disseminate local results to other agents, and make them global. The various solutions to the puzzle are presented as protocols (iterated functions from agent's local states, and histories of actions, to actions). The computational aspect is about average runtime termination under conditions of random ('fair') scheduling.The paper consists of three parts. First, we present different versions of the puzzle, and their solution. This includes a probabilistic version, and a version assuming synchronicity (the interval between prisoners' interrogations is known). The latter is very informative for the prisoners, and allows different protocols (with faster expected termination). Then, we model the puzzle in an epistemic logic incorporating dynamic operators for the effects of information changing events. Such events include both informative actions, where agents become more informed about the non-changing state of the world, and factual changes, wherein the world and the facts describing it change themselves as well. Finally, we give the expected termination results of several protocols when assuming random scheduling.This paper integrates the literature and presents novel contributions. Novel are: Firstly, Protocol 2 and Protocol 4. Secondly, the modelling in dynamic epistemic logic in its entirety — we do not know of a case study that combines factual and informational dynamics in a setting of non-public events, or of a similar proposal to handle asynchronous behaviour in a dynamic epistemic logic. Thirdly, our computational results on Protocol 2 and results from manuscript (Wu 2002)." @default.
• W2165846579 created "2016-06-24" @default.
• W2165846579 creator A5032285962 @default.
• W2165846579 creator A5034345653 @default.
• W2165846579 creator A5046182700 @default.
• W2165846579 date "2010-05-09" @default.
• W2165846579 modified "2023-10-03" @default.
• W2165846579 title "One hundred prisoners and a lightbulb — logic and computation" @default.
• W2165846579 cites W1530131999 @default.
• W2165846579 cites W1567055505 @default.
• W2165846579 cites W1583325710 @default.
• W2165846579 cites W1633533734 @default.
• W2165846579 cites W2005494946 @default.
• W2165846579 cites W2034679184 @default.
• W2165846579 cites W2039352370 @default.
• W2165846579 cites W2068397644 @default.
• W2165846579 cites W2120613606 @default.
• W2165846579 cites W2144792489 @default.
• W2165846579 cites W2147056604 @default.
• W2165846579 cites W2170447572 @default.
• W2165846579 cites W2528007472 @default.
• W2165846579 cites W2983820811 @default.
• W2165846579 hasPublicationYear "2010" @default.
• W2165846579 type Work @default.
• W2165846579 sameAs 2165846579 @default.
• W2165846579 citedByCount "4" @default.
• W2165846579 countsByYear W21658465792017 @default.
• W2165846579 crossrefType "proceedings-article" @default.
• W2165846579 hasAuthorship W2165846579A5032285962 @default.
• W2165846579 hasAuthorship W2165846579A5034345653 @default.
• W2165846579 hasAuthorship W2165846579A5046182700 @default.
• W2165846579 hasConcept C101780184 @default.
• W2165846579 hasConcept C102993220 @default.
• W2165846579 hasConcept C107247716 @default.
• W2165846579 hasConcept C111472728 @default.
• W2165846579 hasConcept C11413529 @default.
• W2165846579 hasConcept C126255220 @default.
• W2165846579 hasConcept C134306372 @default.
• W2165846579 hasConcept C138885662 @default.
• W2165846579 hasConcept C140479938 @default.
• W2165846579 hasConcept C144237770 @default.
• W2165846579 hasConcept C154945302 @default.
• W2165846579 hasConcept C161394823 @default.
• W2165846579 hasConcept C203659156 @default.
• W2165846579 hasConcept C206729178 @default.
• W2165846579 hasConcept C33923547 @default.
• W2165846579 hasConcept C41008148 @default.
• W2165846579 hasConcept C45374587 @default.
• W2165846579 hasConcept C48103436 @default.
• W2165846579 hasConcept C49937458 @default.
• W2165846579 hasConcept C76155785 @default.
• W2165846579 hasConcept C80444323 @default.
• W2165846579 hasConceptScore W2165846579C101780184 @default.
• W2165846579 hasConceptScore W2165846579C102993220 @default.
• W2165846579 hasConceptScore W2165846579C107247716 @default.
• W2165846579 hasConceptScore W2165846579C111472728 @default.
• W2165846579 hasConceptScore W2165846579C11413529 @default.
• W2165846579 hasConceptScore W2165846579C126255220 @default.
• W2165846579 hasConceptScore W2165846579C134306372 @default.
• W2165846579 hasConceptScore W2165846579C138885662 @default.
• W2165846579 hasConceptScore W2165846579C140479938 @default.
• W2165846579 hasConceptScore W2165846579C144237770 @default.
• W2165846579 hasConceptScore W2165846579C154945302 @default.
• W2165846579 hasConceptScore W2165846579C161394823 @default.
• W2165846579 hasConceptScore W2165846579C203659156 @default.
• W2165846579 hasConceptScore W2165846579C206729178 @default.
• W2165846579 hasConceptScore W2165846579C33923547 @default.
• W2165846579 hasConceptScore W2165846579C41008148 @default.
• W2165846579 hasConceptScore W2165846579C45374587 @default.
• W2165846579 hasConceptScore W2165846579C48103436 @default.
• W2165846579 hasConceptScore W2165846579C49937458 @default.
• W2165846579 hasConceptScore W2165846579C76155785 @default.
• W2165846579 hasConceptScore W2165846579C80444323 @default.
• W2165846579 hasLocation W21658465791 @default.
• W2165846579 hasOpenAccess W2165846579 @default.
• W2165846579 hasPrimaryLocation W21658465791 @default.
• W2165846579 hasRelatedWork W1498338141 @default.
• W2165846579 hasRelatedWork W1500025499 @default.
• W2165846579 hasRelatedWork W1518725080 @default.
• W2165846579 hasRelatedWork W15233957 @default.
• W2165846579 hasRelatedWork W166549988 @default.
• W2165846579 hasRelatedWork W1972184289 @default.
• W2165846579 hasRelatedWork W2003068314 @default.
• W2165846579 hasRelatedWork W2039352370 @default.
• W2165846579 hasRelatedWork W2050963409 @default.
• W2165846579 hasRelatedWork W2120613606 @default.
• W2165846579 hasRelatedWork W2129219543 @default.
• W2165846579 hasRelatedWork W2155318727 @default.
• W2165846579 hasRelatedWork W2157438678 @default.
• W2165846579 hasRelatedWork W2298617868 @default.
• W2165846579 hasRelatedWork W263492832 @default.
• W2165846579 hasRelatedWork W2809525751 @default.
• W2165846579 hasRelatedWork W2964414270 @default.
• W2165846579 hasRelatedWork W297226426 @default.
• W2165846579 hasRelatedWork W3005851148 @default.
• W2165846579 hasRelatedWork W3002774464 @default.
• W2165846579 isParatext "false" @default.
• W2165846579 isRetracted "false" @default.

• next