{"entities":{"Q1387802":{"pageid":1398542,"ns":120,"title":"Item:Q1387802","lastrevid":43073568,"modified":"2025-07-17T11:28:02Z","type":"item","id":"Q1387802","labels":{"en":{"language":"en","value":"On the logic of theory change: Contraction without recovery"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1160509"}},"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":"Q1387802$E3E0E683-F990-4E91-B63A-1180377048D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b10f0eb33b1ce9345f24124c04af32cf28cb48cf","datavalue":{"value":{"text":"On the logic of theory change: Contraction without recovery","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1387802$D97D60EC-BD80-4BAE-A2DB-A47BD0008A63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f44699620ae482a399ef316504cc7d91c000fe2f","datavalue":{"value":"0905.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1387802$12A1504E-E68C-4B70-942B-E3AC971F3593","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d47a7556c23384deb5727b6794bfa672e324d70f","datavalue":{"value":"10.1023/A:1008241816078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1387802$F6F07BF8-9DF5-4E98-B956-7E60B8EDDAD1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ddd2a774cb1a0e30d1e219ac95d6c64b158654b","datavalue":{"value":{"entity-type":"item","numeric-id":1387801,"id":"Q1387801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1387802$17787B70-E7F5-40B9-B068-EC40B9FB9181","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1387802$5EC00D95-6B73-449D-8FB4-E4C47314A2A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fba0cf8f85f7b1ad95f7e924756131fda6f2c74","datavalue":{"value":{"time":"+1999-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1387802$817361BA-912E-4A32-AB3B-BFBC58397A4C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d12339ac90ec0e7e700a09541a537820eea1abd0","datavalue":{"value":"Of the AGM postulates for belief contraction, the most controversial has been recovery: \\(K\\subseteq Cn(K- x\\cup\\{x\\})\\). The author's purpose is to define a class of operations on belief sets (understood to be closed under logical consequence) that fail recovery but satisfy the other basic AGM postulates for contraction. His starting point is the observation that an operation -- satisfies recovery iff for all \\(K,x\\): \\(K-x\\lvdash\\neg x\\vee y\\) for all \\(y\\in K\\setminus K-x\\). His basic idea is to fail recovery by getting rid of \\(\\neg x\\vee y\\) for at least one such \\(y\\). This is done by intersecting \\(K-x\\) with \\(K-(\\neg x\\vee y)\\) for some \\(y\\) picked out by a choice function.   The author shows that this operation, which he calls `semicontraction', does indeed fail recovery but satisfies the other five basic postulates, and shows how it is related to AGM revision.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1387802$8BC38F5E-7717-4C7E-896A-559E820495F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1387802$712CAD27-3730-44AE-9BA7-D3B57072019B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1387802$6AB5AC9D-DFC3-4122-9409-D8698426676D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e5ca32aa4d5101bf06dbe880661312da1d0e410","datavalue":{"value":"1160509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1387802$BCD39984-0E15-4A61-BFBF-E6C47D9A5888","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bedeaeac111061df471ac114d83c77ac38d00603","datavalue":{"value":"belief change","type":"string"},"datatype":"string"},"type":"statement","id":"Q1387802$A8E249FF-F34D-4AD3-ACB4-3A96FDDE2127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"637785e14eef7f70f7262ce92a25e0781e71a1b3","datavalue":{"value":"belief revision","type":"string"},"datatype":"string"},"type":"statement","id":"Q1387802$85EB70F4-A233-4C3A-B32E-7E616394C7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9bc3c53b461384cdd3a7d8e85e3b6a04afef4ad","datavalue":{"value":"belief contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1387802$FC7009BE-01D6-4E96-9FE2-7D0D4FDB692D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e6596d58d1b2368a8dc514510fc83890b54d82c","datavalue":{"value":"recovery","type":"string"},"datatype":"string"},"type":"statement","id":"Q1387802$300B31BD-1284-4B42-9C0F-4DCDB28611EC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e221a0164f502dd7b3593304ff005c15e95c5976","datavalue":{"value":{"entity-type":"item","numeric-id":185572,"id":"Q185572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1387802$23EB699C-0503-4824-84B8-D3391DBA873D","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":"Q1387802$34F4022B-E211-46C2-9067-5193956146EC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0b38b0898d5e1818be984e7e9ca0af61841a9edc","datavalue":{"value":"Q62045371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1387802$C0259AE8-F199-4AFD-BCEF-8BAAF365ACB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee749aed1e6c359d58493b4718f17d7a2d5f17fe","datavalue":{"value":{"entity-type":"item","numeric-id":1084094,"id":"Q1084094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b810ae744bb712e05b71c0f036dfc8ef89763f43","datavalue":{"value":{"amount":"+0.9153805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1387802$DD8ED4F0-5915-42B9-BE05-96D18B33454C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c79580e6b395b759bbbb8521355843ce891dfeed","datavalue":{"value":{"entity-type":"item","numeric-id":1095131,"id":"Q1095131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1c048b9a178f5c5ffc7dd8854b09d14aba07bb3","datavalue":{"value":{"amount":"+0.9011243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1387802$0F535C56-E608-40B3-B0E9-2C914B098D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82c325c285811a71c5a05555fd07b66419cc3588","datavalue":{"value":{"entity-type":"item","numeric-id":3699670,"id":"Q3699670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca299826ffdbc00647d3a805bad9dd2b2b842e36","datavalue":{"value":{"amount":"+0.8806258","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1387802$049C4197-9603-43A5-B807-A48851C903F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ca1dae3ae51c61652eb391eab96fe3060b84933","datavalue":{"value":{"entity-type":"item","numeric-id":2971678,"id":"Q2971678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"751c00fc8e9545193d079d6c28c300d3088e8413","datavalue":{"value":{"amount":"+0.8806256","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1387802$5A89BF61-F15D-4AAB-BF5D-96D8E5335DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23798989ea0cd6e1c8b41623abebd8d746cab132","datavalue":{"value":{"entity-type":"item","numeric-id":4537431,"id":"Q4537431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b8f40828c6106f820dd66a3140f53ed4948af37","datavalue":{"value":{"amount":"+0.87561524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1387802$D14265D9-A857-4EBA-AB5F-57E664CB35D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e180a0949046868eeb7b9cbbda4192fec74fdee","datavalue":{"value":{"entity-type":"item","numeric-id":4887104,"id":"Q4887104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60307008ea8af2bde4f7d01c92cf6abdf762e1fe","datavalue":{"value":{"amount":"+0.8711641","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1387802$D7D82CAB-9FD6-4C74-909C-6AEB602E66DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e4d66eb2882a56156e15e69c8ba2aa8cc312b72","datavalue":{"value":{"entity-type":"item","numeric-id":2912132,"id":"Q2912132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"783fd5563f0fe92fd7e9b89d09a54b02acc0b7af","datavalue":{"value":{"amount":"+0.86084247","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1387802$06AE65CA-015A-412D-9173-94549F5DBC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc578b2d49c19a8290648982b918f7964701a681","datavalue":{"value":{"entity-type":"item","numeric-id":4490086,"id":"Q4490086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89c8f5badef210192e38a5cbe3d84be140b90139","datavalue":{"value":{"amount":"+0.85365826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1387802$21FD21A7-398C-49A6-B3CB-AC412F672C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ee006ad6908591a552046a5a39c19358113c18d","datavalue":{"value":{"entity-type":"item","numeric-id":4940880,"id":"Q4940880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fb44e46c622bd45f15ca4f3ff29adfc6653221b","datavalue":{"value":{"amount":"+0.85206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1387802$607A2691-7CFE-48AC-9A93-22C84904C8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6cfe48d9ee3a00f77b59d2bbe0f163b125c29a1","datavalue":{"value":{"entity-type":"item","numeric-id":2909844,"id":"Q2909844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"779bfc4699515914a604ecec5d363843d63e3d96","datavalue":{"value":{"amount":"+0.85115707","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1387802$8A13458E-E84C-4698-869A-853AA56E8C97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1387802","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1387802"}}}}}