{"entities":{"Q548705":{"pageid":550472,"ns":120,"title":"Item:Q548705","lastrevid":51281867,"modified":"2026-01-17T14:22:32Z","type":"item","id":"Q548705","labels":{"en":{"language":"en","value":"A structuralist theory of belief revision"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5915225"}},"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":"Q548705$09EFC5D4-9B72-4A06-AA9F-86E68746D178","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e06f478c37522b659dfdc70ca5795da71ba251a","datavalue":{"value":{"text":"A structuralist theory of belief revision","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q548705$7B0753B6-68DB-4F59-ABD9-850A54B085D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0eec4e81d543cb7528e0294c6b951cce21adf26e","datavalue":{"value":"1226.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548705$6FACE488-F1DC-4FEA-BAE7-512AD3423E17","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ae1683922f07ae24d95e30c924c96f85fa40541","datavalue":{"value":{"entity-type":"item","numeric-id":383571,"id":"Q383571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548705$BC4ABD80-9B46-49F8-9331-CEAD3AFA4274","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":"Q548705$56B57F88-46D0-4EF9-957C-77508F532B51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24a120db9f973c25ec9f4d7fedafc327b72241f3","datavalue":{"value":{"time":"+2011-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q548705$846ADE58-C419-46CB-A52F-714392D6D680","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3447e892df9eaf147b8def4e0d7c251a11705bd","datavalue":{"value":"http://philsci-archive.pitt.edu/9580/1/structuralist_theory_submission.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q548705$6119D2A3-B60C-417C-B603-5012BFEA3379","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6f98c16c49c4dbe3d53d4c1e88d1f4362a2b2083","datavalue":{"value":"The author defines revisions and contractions by borrowing from three different sources: (i) the structuralist theory of science, or rather, a simplified version of it, developed by the author under the name of minimal structuralism; (ii) a form of induction that embeds the rule which infers \\(A\\) from \\(C\\) and \\(A,T\\models C\\) in the formalism of prioritised default logic; (iii) Rott's model of revision of belief bases. An example from \\textit{R. G\u00e4rdenfors}'s book [Knowledge in flux. Modeling the dynamics of epistemic states. Cambridge, MA: MIT Press (1988)] is used to provide some motivation and illustrate some of the concepts.  Minimal structuralism is built from \\textbf{T}-theoretical and \\textbf{T}-non-theoretical entities of the form  \\[ y=\\langle D_1,\\dots,D_k,N_1,\\dots, N_p\\rangle\\text{ and }x=\\langle D_1,\\dots,D_k,N_1,\\dots, N_p,T_1,\\dots,T_q\\rangle, \\]  respectively, where \\(D_1, \\dots, D_k\\) are domains of objects of a given type, and \\(N_1, \\dots, N_p\\), \\(T_1, \\dots, T_q\\) are relations over those domains, meant to represent empirical predicates for the \\(N_i\\)s, and theoretical concepts for the \\(T_i\\)s. So-called internal and external links constrain the theoretical descriptions, in a given theory \\textbf{T} for the internal links, and with respect to two theories \\textbf{T} and \\({\\mathbf T}'\\) for the external links. Five postulates are given to formalise a predicate \\(\\mathbf{AE}(\\mathbf{T})(x,y)\\) whose intended meaning is that the \\textbf{T}-theoretical structure \\(x\\) is an admissible extension of the representation \\(y\\) of an empirical phenomenon. These postulates are added to the definition of some notation and a set of accepted propositions of a particular kind to make up a set \\(W\\). This notation includes \\(y=\\mathbf{r}(\\mathbf{T})(x)\\) to express that \\(x\\) and \\(y\\) are related as above, \\(\\mathbf{I}(\\mathbf{T})\\) to refer to the set of intended applications of \\textbf{T}, and \\(\\mathbf{M}(\\mathbf{T})\\) to refer to the set of models of \\(\\mathbf T\\). A strict partial order \\(<_R\\) is defined on the set \\(D\\) of defaults of the form   \\[ \\frac{b_j\\in\\mathbf{I}(\\mathbf{T}),\\;b_j=\\mathbf{r}(\\mathbf{T}),\\;x\\in\\mathbf{M}(\\mathbf{T}):(x,b_j)\\in\\mathbf{AE}(\\mathbf{T})}{(x,b_j)\\in\\mathbf{AE}(\\mathbf{T})}\\,.  \\]  The revision of \\(A\\) by \\(\\phi\\) is then defined as \\(\\inf(W\\setminus\\{\\phi\\},D,<_R)\\).  The reader will probably be disappointed not to find a worked out example that illustrates how all pieces fit together and which role they play in the revision process. Such an example would help to see whether the claim that ``this integration allows for a substantial simplification of the ranking information that is necessary to define revisions and contractions in a unique manner'' is justified.","type":"string"},"datatype":"string"},"type":"statement","id":"Q548705$907490F4-28BA-4197-BE72-8475205353E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548705$C65A2EA4-DA94-476C-8C39-1C73608D4868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d43a72a96c3e2899dba5bbed021743c1db5b0cd","datavalue":{"value":"03A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548705$E6BC5BC3-C8B7-41E2-B4EB-51E96E29AEB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58dd46d3d07c922b274e5a67527fee2644a0fc1b","datavalue":{"value":"5915225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548705$F4254FF7-079D-4F22-8C84-1EA7F4CC683A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1509357c65c35f25ca4a3489812a49ab4a22a9e","datavalue":{"value":"abduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q548705$6740B542-4179-41D9-B4F0-5DA8DCD6C5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f93e8e00e71aaf9e27f9b8280e870db5771255c5","datavalue":{"value":"belief bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q548705$5E501D8B-B7A0-485C-BE82-8249C349DD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"637785e14eef7f70f7262ce92a25e0781e71a1b3","datavalue":{"value":"belief revision","type":"string"},"datatype":"string"},"type":"statement","id":"Q548705$032E7665-BFB2-4FCF-B9B4-3FA6591FEE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d126367ec033dbcb543a0d81d4b6faab0105788e","datavalue":{"value":"default logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q548705$3086DD2F-26CC-4D13-A605-F669FFE1E52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37792fe3c11b5fbdb2f835ed9a1fafcde04db7f2","datavalue":{"value":"defeasible reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q548705$AE042569-6FB8-4913-8490-A89BB6532639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4d9ccbc38a81f251f0c36763916332ee5ad46a2","datavalue":{"value":"epistemic ranking","type":"string"},"datatype":"string"},"type":"statement","id":"Q548705$9B55FDA8-E8D9-4633-8B10-2ECC2420DE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d1d5cbae8ca2c24414adf50565a2b5eb83cdd26","datavalue":{"value":"structuralist theory of science","type":"string"},"datatype":"string"},"type":"statement","id":"Q548705$C40D9A74-49C0-4B8E-9A09-600D3218CE74","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cc4d92eeceef517aba402e89c4445d8783074b3a","datavalue":{"value":{"entity-type":"item","numeric-id":169436,"id":"Q169436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548705$FEAB5BC5-53DB-448F-AE9D-EFE2DFED5096","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":"Q548705$B95141D4-2148-4FC6-A231-A1C97287DC25","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d09c327e99ec37d1028a3ac20c314cb95fe2a7b","datavalue":{"value":"W2109565636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548705$730A109F-8935-4FDC-8937-1419941031B8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff84a60a5b5516e5fd433a25275c50346339248a","datavalue":{"value":{"entity-type":"item","numeric-id":987478,"id":"Q987478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548705$425DB7CC-553E-49D4-9A71-1497BA3EDFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e748902a7db031be5f17c2d6ab5f4a28dbce69cd","datavalue":{"value":{"entity-type":"item","numeric-id":625710,"id":"Q625710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548705$EED47D17-1B36-4ED0-A614-EA26A22DBAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad00fb32e5c4433a1ca77c521ef6a0bc27cb664","datavalue":{"value":{"entity-type":"item","numeric-id":4501807,"id":"Q4501807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548705$DDCB63CB-13A0-4AD7-8886-14365B17310F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0c4c970498076339c0d43c6f53b3b29bee44ed0","datavalue":{"value":{"entity-type":"item","numeric-id":1105580,"id":"Q1105580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548705$B8539D51-F073-42F0-959F-D560BF048F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cac6a921efbb3cb021e925435d3b509946db538","datavalue":{"value":{"entity-type":"item","numeric-id":3198878,"id":"Q3198878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548705$64EAC342-0877-4A23-AB0B-1AF7F7F3316C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6139cdd30d071456ce1cb4d8db94b3c185525ba7","datavalue":{"value":{"entity-type":"item","numeric-id":4530874,"id":"Q4530874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548705$0B9C6935-D59A-4C2A-8369-2AC0CE33AEDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b86e655d55cb50f60c03a08a9767bc05638d2be","datavalue":{"value":{"entity-type":"item","numeric-id":1258292,"id":"Q1258292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548705$20E03FFC-240B-4485-B784-4B8D8ABC1ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"138d808c1a0d7bbfa300ea1020e86219b9fb4bf4","datavalue":{"value":{"entity-type":"item","numeric-id":4229812,"id":"Q4229812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548705$59DDC964-4281-411D-B0FD-9A8AF5E28302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4569d963b155abbcb87f982ca2df3cf976f2c4c3","datavalue":{"value":{"entity-type":"item","numeric-id":1977408,"id":"Q1977408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548705$EF3E3825-7606-4585-8379-120F1F24C4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"064e2f5e7eb3ed0c206b4fee7b8df9e9733c66fb","datavalue":{"value":{"entity-type":"item","numeric-id":2771723,"id":"Q2771723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548705$95836F5E-0189-4ACD-A17E-09788DFD5AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1162a6496e5c180e8fb08a1da0327f11d2af03c","datavalue":{"value":{"entity-type":"item","numeric-id":1947247,"id":"Q1947247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548705$14E41198-981A-4926-8EBE-071352ECE06D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3a32e30548a967c45d23fd37a58917a833b9be","datavalue":{"value":{"entity-type":"item","numeric-id":1135832,"id":"Q1135832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548705$9C28476C-F99A-4379-85CD-2E1DEFFADDC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89392c3f672583ea75f08954bf0aeff8f78a4b86","datavalue":{"value":{"entity-type":"item","numeric-id":5571678,"id":"Q5571678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q548705$022684D5-C524-4314-8FDD-BBD2C8AEA2B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fdfa35cecf74cb4d2ec30ebea18e45c8d9e45454","datavalue":{"value":"10.1007/S10849-010-9128-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548705$2F64E840-6E22-4355-8811-7957867FA11C","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"94515ec146d22ae76ed174d6868bc63351bfb626","datavalue":{"value":"bafkreihmua76dkgilidi5u2dpsjyysyhsvsl55nrdj4lpc6otjkgb3b3ka","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q548705$478BE31A-B449-4C37-94BA-33D481020559","rank":"normal"}],"P1643":[{"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":"e7ef95b6c897eb5b11ca4f366e2832c73550cf16","datavalue":{"value":{"amount":"+0.7924560904502869","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":"Q548705$C2520CEB-7548-4EE0-8E02-BE4B5A7A8085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b63fcfaf8333ee092c838db39c4c55fb8317cdb4","datavalue":{"value":{"entity-type":"item","numeric-id":2912131,"id":"Q2912131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73c69b7980d1df741339dfba380468d8991ecd71","datavalue":{"value":{"amount":"+0.777367353439331","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":"Q548705$1C65860D-E75A-48ED-BFF6-D5D950131A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"206105074f9b51734852e36fa70a88272bc5aafb","datavalue":{"value":{"entity-type":"item","numeric-id":931407,"id":"Q931407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"292f69b6076226219bc84d5884e778e3be48d957","datavalue":{"value":{"amount":"+0.7743198275566101","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":"Q548705$6F4AF9C2-B590-45D9-B4C0-6E2C6E25DB1D","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":"b5f62088c239fe6b1949ccfc11db30fb2426cb28","datavalue":{"value":{"amount":"+0.7644568085670471","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":"Q548705$44A17E42-A7E4-4715-9251-19594DC88216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72c6a974d2abde99651a3fbafa80fe0b2e634f6d","datavalue":{"value":{"entity-type":"item","numeric-id":4023583,"id":"Q4023583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d76ba300e60bd95169ae06de461da10363c9980","datavalue":{"value":{"amount":"+0.7635039687156677","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":"Q548705$B14BB752-9277-4F3B-8CDA-5AE4681226BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:548705","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:548705"}}}}}