{"entities":{"Q2732280":{"pageid":2743019,"ns":120,"title":"Item:Q2732280","lastrevid":57999612,"modified":"2026-04-03T09:51:02Z","type":"item","id":"Q2732280","labels":{"en":{"language":"en","value":"Distance semantics for belief revision"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1623523"}},"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":"Q2732280$69CCD968-3416-4273-922C-724832543414","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14f2a1917fbb627ef5be68b21a3e10c0b12aab4a","datavalue":{"value":{"text":"Distance semantics for belief revision","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2732280$0441DBA7-3C86-4DF2-8870-1B606AA86840","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c2f6bd8b3950c92f0b7bf4493e5d576ae9ff4fa","datavalue":{"value":"0985.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732280$487C1735-230E-421F-BF59-1812D3B8231E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50bc50f761a657f6575e4a81dd0577711d1ef70e","datavalue":{"value":"10.2307/2694923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732280$398E6BA7-D424-4751-A2F7-959D7298C4EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"16de316f302fba13aeaf995a5fa68cb2abb070f8","datavalue":{"value":{"entity-type":"item","numeric-id":225931,"id":"Q225931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732280$FA77E6FD-CFFA-4B92-AFC1-888C1CB7110B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f85f98c6ff2425303621e54f305d7bd3065cd76","datavalue":{"value":{"entity-type":"item","numeric-id":1238414,"id":"Q1238414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732280$9D30F2A8-D63E-4F30-BAE5-5068C33DB8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4120420f32096a74456a9ab04c44cd4c5022a172","datavalue":{"value":{"entity-type":"item","numeric-id":969422,"id":"Q969422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732280$3D0B16C4-6EE5-4D79-9691-D896C01274A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6748ee0816462db9ca6cd298aabfae4d03c16ba0","datavalue":{"value":{"time":"+2002-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2732280$94168B57-EDC9-4DFB-8F9F-61109F1C235B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa45f5e1e4845e9303e9df0a0a8755e789341edb","datavalue":{"value":"https://arxiv.org/abs/cs/0202025","type":"string"},"datatype":"url"},"type":"statement","id":"Q2732280$AB008A3D-89DC-4645-A952-F2ACF2193701","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732280$A36FF813-E3B5-4671-8A50-75D5A3900601","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd8b72b1eb51e993a2bd591341174280d708f3d7","datavalue":{"value":"1623523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732280$460A7512-FF4F-4BC2-8094-7E01CCEE5940","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a91a37e4b73136d29c05dab97a25aa02f9b3096","datavalue":{"value":"AGM theory of belief revision","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732280$1AF6BD6E-75BE-4A3D-B03D-EE0E1130CAE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3604d90a39e38bf7c04c1298b04b2b6c5ab63c03","datavalue":{"value":"pseudo-distance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732280$9E12AA36-7161-43D7-B675-BB36E03EE500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59fa9ad830bf5b5c4f2f768b71d72ef59ab1e980","datavalue":{"value":"iterated revision","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732280$3B336625-784B-4100-B40E-1D16192BD9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61d584dd1651835d3a968633360ea41624ebea08","datavalue":{"value":"semantic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732280$225E2F4A-5090-4C70-86BA-0C4CB189C515","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":"Q2732280$326711AF-BA9E-47F9-B6D7-B202C67651FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4ab02da56d9f770ae629b15bf55eb21ffdf1b84","datavalue":{"value":"W1988484875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2732280$31936CEB-97F9-4E2A-AE97-0F76956E39CB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d53b4d0b65edc05fb0be75134b1388f4c6f47e2","datavalue":{"value":{"entity-type":"item","numeric-id":759003,"id":"Q759003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732280$606910A0-BAF4-4E0E-825D-B863220EBD69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17346a948e93ca0127d7c9f941e453c6f4645fd4","datavalue":{"value":{"entity-type":"item","numeric-id":1399119,"id":"Q1399119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732280$D0456A2D-2C69-4FA6-BD66-EFF1C87E0145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b955d1358676c347a1d4e3110fe5c4c4dab7f8","datavalue":{"value":{"entity-type":"item","numeric-id":4508257,"id":"Q4508257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732280$8F77600A-EEDF-4A19-9FAB-B56ED790A7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af24ba990df98829b6c3a0b381726a909a7b799e","datavalue":{"value":{"entity-type":"item","numeric-id":1193479,"id":"Q1193479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732280$66A7D5E9-791D-40F8-AAE2-09B192BB623A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6afd98104d250e8b263d6c8890f1ce8f19074b45","datavalue":{"value":{"entity-type":"item","numeric-id":1174512,"id":"Q1174512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732280$44E82CDE-E20D-47BA-9049-BB938BE5D4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8025e418fa843c5415f35cdd59307bacf9e2cfd1","datavalue":{"value":{"entity-type":"item","numeric-id":4943501,"id":"Q4943501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732280$6BBE2430-086B-4197-BE3B-C3DBA6A238D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3002db0b907140fb90143a7307595c4d1caad24f","datavalue":{"value":{"entity-type":"item","numeric-id":4312451,"id":"Q4312451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732280$CA565D6D-A3E1-4CFE-8EF2-A5CE45FD58C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f0fcbfb2e704108a290b0c1b41b7dd8f3354b8d","datavalue":{"value":{"entity-type":"item","numeric-id":4507492,"id":"Q4507492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732280$5C68343F-2168-423D-BB01-E77CA87491C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9c3c8185ff6521f5d6be4e70ab57b00041c64bb","datavalue":{"value":{"entity-type":"item","numeric-id":5286911,"id":"Q5286911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732280$EB42913F-A8F0-45B0-90C8-CD3FB4C446E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac0d4f46b6ba933560d1dd85b44de96d962f0eb5","datavalue":{"value":{"entity-type":"item","numeric-id":3638163,"id":"Q3638163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5ecfbf94bb13254b592d937a1ff998e357a56e5","datavalue":{"value":{"amount":"+0.94512504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732280$46F71452-6BEB-4014-90E7-92BD90B90537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f07342a97057e5493557c0eff0e7a3214a88358","datavalue":{"value":{"entity-type":"item","numeric-id":5082348,"id":"Q5082348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a443362ebef987ec6c7744b398d1d90a69f244b","datavalue":{"value":{"amount":"+0.87305915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732280$747291E7-CA19-40C8-B66B-E65BB88947E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27464f6c1e0a8c151ae4543713dd9b6bacd44e1f","datavalue":{"value":{"entity-type":"item","numeric-id":4700535,"id":"Q4700535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"260a67b3e003916c729c1ce8e518bbdbc8e702ba","datavalue":{"value":{"amount":"+0.87049496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732280$D4195C52-DE0B-4AA1-9177-8ADB07242B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd475b8553d8638e96fe060cfd6fe838ca92b073","datavalue":{"value":{"entity-type":"item","numeric-id":1770556,"id":"Q1770556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"260ba33075e83834cd2c6958240aa89004770464","datavalue":{"value":{"amount":"+0.8698964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732280$A8534AA6-DCB2-4160-A771-124DD3C6904C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"538a406852c67a388dfae82663803a54a661ba13","datavalue":{"value":{"entity-type":"item","numeric-id":3391739,"id":"Q3391739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f2fabcb87fed671b8d29390df509d9ad6852e74","datavalue":{"value":{"amount":"+0.8579298","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732280$637F9374-62BC-4671-9A58-34C46092E562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eaba415ec9943f714f57471d4909dd5c918117f","datavalue":{"value":{"entity-type":"item","numeric-id":2144184,"id":"Q2144184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e98f162f5c1f5c1e01a8cd5da4f99e6f40506f1","datavalue":{"value":{"amount":"+0.85627115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732280$93DCB77F-9CDE-4F1E-970D-3406479CA17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cc397877de1a8741b79d14c4f53f7f3c503a932","datavalue":{"value":{"entity-type":"item","numeric-id":4576236,"id":"Q4576236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09ae7c74d27cb3d1ccf96f6938b4290585e09537","datavalue":{"value":{"amount":"+0.8541568","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732280$C7BF8C88-440D-4984-8B24-C349BA49BCCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b2a2b971f067f37fbfbf7602aa08b028a371817","datavalue":{"value":{"entity-type":"item","numeric-id":5028300,"id":"Q5028300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18fe5f0858ba7d2b62cade9de9a7a704fc6b9052","datavalue":{"value":{"amount":"+0.849244","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732280$DE664EE6-8BF1-4F7B-8B29-F4DBB523FD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0df03e0dd5cac077eeefa9efb9e05aa7c40a1c04","datavalue":{"value":{"entity-type":"item","numeric-id":2805411,"id":"Q2805411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"707ce79731a1dab0883a4bd707d9ea40741d379f","datavalue":{"value":{"amount":"+0.8488085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732280$C63DA5BA-A4C3-4009-882D-7BA006738210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ccf998fab064bf59c160b235493dc4360fb5701","datavalue":{"value":{"entity-type":"item","numeric-id":519850,"id":"Q519850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e25bd2f7c2c1cfa2bb3e1feb4ff7430e15a6e06","datavalue":{"value":{"amount":"+0.8480053","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2732280$076C0544-1525-4963-8480-BF845B0BBE8D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732280$71D5B549-6AF2-48B8-8155-D9BC355259CD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b6dd8355b87f0f85508f0473e232721da7f5c3a7","datavalue":{"value":"In the paper semantics and logical properties of theory revisions based on the notion of a distance between individual models are considered. For any sets \\(U, X\\), \\(d:U\\times U\\mapsto X\\) is a pseudo-distance on \\(U\\) if \\(X\\) is totally ordered by a relation \\(<\\). For any sets of formulas of the classical propositional language \\(T, T'\\) and a pseudo-distance \\(d\\) on the set of all models, the result of revision of \\(T\\) by \\(T'\\), relative to \\(d\\), is defined as the set of all formulas that are valid in the set of all models of \\(T'\\) that are \\(d\\)-closest to the set of all models of \\(T\\). It is proved that the usual AGM postulates adapted to the considered case hold for such distance-based revisions in the finite case. An infinite case is discussed as well.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2732280$9D3C9766-E2EB-4B65-B972-6DF808FCAA74","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4764fa0cd49fe833a9ead0ffbcd3b01195518cc5","datavalue":{"value":{"entity-type":"item","numeric-id":585672,"id":"Q585672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2732280$99B1B62A-6881-4DD4-AB6C-DC25DA41A71B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2732280","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2732280"}}}}}