{"entities":{"Q1262142":{"pageid":1272892,"ns":120,"title":"Item:Q1262142","lastrevid":68323182,"modified":"2026-04-12T22:56:20Z","type":"item","id":"Q1262142","labels":{"en":{"language":"en","value":"Modelling knowledge and action in distributed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4123329"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262142$C20AF0F3-6B0F-4497-8B2B-F0E81488E12E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cefb2d45b3d3f9a083e7bf5539d70acc9754c5bb","datavalue":{"value":{"text":"Modelling knowledge and action in distributed systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1262142$C8148463-135D-4908-A628-F9FC2B4E563D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0da869039b8183c87905452f1671a5391ec77955","datavalue":{"value":"0685.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262142$4740DD81-976B-4E0E-9332-C0BDC0545982","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"194821f50746065b9e8a271107a0d1d4c2bdab58","datavalue":{"value":"10.1007/BF01784885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262142$1C58E8E6-8238-4E3A-88BA-CC30ECA48BD2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddea5ba0eeb9138fb9e2a8de5e2cddb8c80bf84a","datavalue":{"value":{"entity-type":"item","numeric-id":272148,"id":"Q272148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262142$38FACCE3-7F1D-4193-B03D-C9EAB4BB2711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"501919793d5a7682fe5d33dabd63127f0c90af27","datavalue":{"value":{"entity-type":"item","numeric-id":388219,"id":"Q388219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262142$A8777526-092E-472D-A1E2-59A770DA807B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"57115b4722082b3277b4db3ad0412a8293b7033b","datavalue":{"value":{"entity-type":"item","numeric-id":251292,"id":"Q251292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262142$A32C4E42-B082-44B5-828B-40A030A4FA4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1262142$D4F5DC89-A1DA-4E3D-B451-0140A287AF63","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"da08400b56acb35adb0caa2083d161adda64339f","datavalue":{"value":"The authors give a formal model of the interaction between knowledge and action in distributed systems. They define the concept of knowledge-based protocols, providing a natural way of describing how actions should take place in a distributed system. The very promising way of thinking about distributed systems, was introduced in preliminary forms by the authors [A formal model of knowledge, action, and communication in distributed systems: preliminary report (Proc. 4th ACM Symp. on Principles of Distributed Computing, 224-236 (1985)] and [Lect. Notes Comput. Sci. 335, 18-32 (1988; Zbl 0663.68038)].    In the proposed model, a distributed system is identified with a set of runs, where a run is a function from time to global states. A global state is a tuple consisting of an environment state and a local state for each process in the system. The actions are associated with functions from global states to global states, while the protocol is defined as a function from local states to actions. The authors extend the standard concept of protocols by defining knowledge-based protocols, ones in which a process' action may depend explicitly on its knowledge.    The paper is profound and very well-structured scientific work. After the short introduction given in Section 1, the authors define the concepts of runs, actions and systems in Sections 2. They also give some well-chosen examples to show how the proposed formalism can be used to capture a number of situations that arise in distributed and parallel computing. How to ascribe knowledge to processes in a distributed system is shown in Section 3. In Section 4, the notion of protocol is discussed, while Section 5 is dedicated to the knowledge-based protocols. In Section 6, the authors consider the cheating husbands problem, informally discussed in \\textit{Y. Moses}, \\textit{D. Dolev} and \\textit{J. Y. Halpern} [Distrib. Comput. 1, 167-176 (1986; Zbl 0609.68072)], and show how it can be caputed in the proposed framework. Section 7 is dedicated to demonstrate that the notion of one protocol implementing another may be easily included in the new model. As a conclusion, in Section 8, some directions for further research are suggested.    The paper is an exceptional scientific work, and it will certainly be of reference for the future research in distributed systems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1262142$FC338ED5-EAEE-45BE-8051-F613B47AEA31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262142$291CE35B-376C-4ABC-8F0E-DFC1EF97B786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262142$A6A1CE02-FD41-44F3-B254-6A395E71C3DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262142$05590DA4-90F2-411A-822D-C0D5BD10023B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0a5a3ffbf783bea7a3980a6b0617587f4226eb8","datavalue":{"value":"4123329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262142$12937EAD-5E85-48EB-9CA7-0663F035295F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ead3fb3f8c867b83027c9d5a5d8cf2de3a9b0f9","datavalue":{"value":"knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q1262142$A0DEA8BC-9913-4175-80EB-7B16E877A775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79ad661c6e9e02c2554583932870f63f80163820","datavalue":{"value":"action","type":"string"},"datatype":"string"},"type":"statement","id":"Q1262142$9213C1CB-44E4-4CDF-8836-CCA3CD346200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1262142$79892876-4BAF-40C5-AAD8-4EC7EF58003B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d739abf0cb7575eee030a837a7d7802a45b620e","datavalue":{"value":"knowledge-based protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q1262142$B59C129C-607A-4F5F-94D4-E1E732C04C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9032268a95176bbc0d9d7c9cb6c35efcdf5ea476","datavalue":{"value":"runs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1262142$2F862A00-ED77-4FA2-A814-224603F6DABC","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262142$5405EC26-C9A7-4A09-B1AA-F2749AD2432D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"582a13e50ea20e3e0de8ce1ae54183fc7b45b61f","datavalue":{"value":{"entity-type":"item","numeric-id":1163522,"id":"Q1163522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262142$D24DDF23-E394-49B7-B864-7B0532DC174A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d571d9b913ccc9b8f1f831427221ff0a2ad97d7","datavalue":{"value":{"entity-type":"item","numeric-id":1247127,"id":"Q1247127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262142$8491F143-ED85-4A93-BCDC-AA9FDC9C5E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d2d1adfae1b81eef721cda5469b95a291ba93d8","datavalue":{"value":{"entity-type":"item","numeric-id":1082071,"id":"Q1082071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262142$6D096E17-AD3A-4814-A00C-D017DF4D7BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4d2a1acabc8d0c27a05aa69968baa678ad24687","datavalue":{"value":{"entity-type":"item","numeric-id":1096610,"id":"Q1096610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262142$C0AA0D0F-6C81-44BE-860F-835C619C9086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2628ffb9e59aa19553582ac944ed7dc8d827a3a","datavalue":{"value":{"entity-type":"item","numeric-id":5402548,"id":"Q5402548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262142$B5F4EB72-A3AD-45FB-BFDC-84F9A82AB5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07adfa7411d8716c42e7a81a35a8dc21f533009d","datavalue":{"value":{"entity-type":"item","numeric-id":3951543,"id":"Q3951543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262142$9E8BFC1F-2A54-4FFF-9C4D-4DFEE96DCD46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262142$ECF7203C-6F0C-4187-95D4-E8C0350F9ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9454776c8e95be8590581925e4520a2ce0d4e418","datavalue":{"value":{"entity-type":"item","numeric-id":1119565,"id":"Q1119565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262142$64DE3B1F-BE77-41F5-A001-3AF1CC5B08AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7144f88f122b714c4fda43fd422fea6acbf99688","datavalue":{"value":{"entity-type":"item","numeric-id":1079945,"id":"Q1079945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262142$B89C6173-493B-4E67-9180-2C13658AA306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fc68de5a0d583d9c4dd94d00aac260890bb5cb7","datavalue":{"value":{"entity-type":"item","numeric-id":1143167,"id":"Q1143167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262142$09A4D4E8-91AE-4BA1-A3F7-CA67FCD23FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a905ba949a06cde66174f0d589d9794d6c05423","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262142$2A244756-69F6-4444-8A87-0B2DE9B64C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e341f9b351965a3e26d02ae2f2e2d38fa74c947d","datavalue":{"value":{"entity-type":"item","numeric-id":1060139,"id":"Q1060139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262142$4589D754-9588-46A4-AFBA-604DBC89F781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262142$6077DA67-3EBD-4FFB-A5EB-6564C63AA96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"503868e3675a9685e339fc79ccd9289cd7a8bd6c","datavalue":{"value":{"entity-type":"item","numeric-id":5203717,"id":"Q5203717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262142$053D4712-1619-4B02-8AA2-E56A40D5CBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e102b856933837e3af89b0b579a4ca8f3827426a","datavalue":{"value":{"entity-type":"item","numeric-id":1104074,"id":"Q1104074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262142$AA2DA504-6C42-45ED-AE89-0EE36A8B765D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d95d58af5ba1dcab4dcd26755bcea70cd06475d","datavalue":{"value":{"entity-type":"item","numeric-id":1087024,"id":"Q1087024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262142$47DD6F5A-3BC2-4178-B125-E416F16A9836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a125502fa850f6a5ab3619570f7db924c393b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3680260,"id":"Q3680260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262142$BC5D0EEF-BE96-45B2-8F2F-43B410B241E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017ee968e085f601cf7496bb0d4aee5fe489c2dc","datavalue":{"value":{"entity-type":"item","numeric-id":1091134,"id":"Q1091134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262142$9B2E4B2D-9105-46CC-B9BE-55B8D5768B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"247c9163e83c1af1f0bd1f30914cbb6e385cb543","datavalue":{"value":{"entity-type":"item","numeric-id":3869300,"id":"Q3869300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262142$DD6713D8-B76E-4C9A-B985-B4208D93964D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ca3e015d5a9a71c43e5d072fe10aa2d6bf2145","datavalue":{"value":{"entity-type":"item","numeric-id":4747506,"id":"Q4747506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1262142$CA3A7A3D-F506-4B6B-9663-8AD9DC91E400","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"721e78afe7968f137826f8bcbf80aee3eacf3c98","datavalue":{"value":"https://doi.org/10.1007/bf01784885","type":"string"},"datatype":"url"},"type":"statement","id":"Q1262142$42822949-2F49-412D-9906-9F36E7D9E80A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"42ff8f61a22c1cc02fee281b578f144000c0c569","datavalue":{"value":"W2150853278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1262142$B9AE64EC-936B-45A1-AB06-B619BA557430","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b5e4c0e6b717aa2f10a35ecd0ef24f4feede8ff","datavalue":{"value":{"entity-type":"item","numeric-id":3814797,"id":"Q3814797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9f09b97df550a10400b1cf255747af8aaebf16a","datavalue":{"value":{"amount":"+0.9492455124855042","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1262142$2E8D813C-8486-40E1-8FDB-2098FA50A586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d736c0423f6ccfc85bcd07d57f29942f2d0c545","datavalue":{"value":{"entity-type":"item","numeric-id":3477999,"id":"Q3477999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"061dd77f9478e52137cb34be3bf56c79cc2b930f","datavalue":{"value":{"amount":"+0.8239212036132812","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1262142$0D5FC4DE-32BC-4392-B426-1DCAF60A74A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed8c7ea0b4c2243e621dca3d116daa5d08b8be19","datavalue":{"value":{"entity-type":"item","numeric-id":4302814,"id":"Q4302814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38b6203c3d19b422afdfeb983049a0753d3a3f0e","datavalue":{"value":{"amount":"+0.7803511619567871","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1262142$90369DDB-44D1-4BAA-84F2-0CD680168BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd32e694ab425370720bdfd4dbebd379fb96185d","datavalue":{"value":{"entity-type":"item","numeric-id":1713923,"id":"Q1713923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a72caeae55c1e0fa802da3a52a16a811fa3abdd","datavalue":{"value":{"amount":"+0.7690024375915527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1262142$258E8A99-FED7-437A-AC34-4834E8F874D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d387db8d107f6775fcddf89dd02a97888f638bc","datavalue":{"value":{"entity-type":"item","numeric-id":1383157,"id":"Q1383157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"400208ce569418cadfbd6d3b740df60c5071d2d0","datavalue":{"value":{"amount":"+0.7624045610427856","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1262142$226C48E6-2043-4FF0-9F05-6F0887369044","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modelling knowledge and action in distributed systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modelling_knowledge_and_action_in_distributed_systems"}}}}}