{"entities":{"Q1069318":{"pageid":1080070,"ns":120,"title":"Item:Q1069318","lastrevid":48890692,"modified":"2026-01-06T02:32:16Z","type":"item","id":"Q1069318","labels":{"en":{"language":"en","value":"A formal model of diagnostic inference. II. Algorithmic solution and application"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3934432"}},"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":"Q1069318$F0FD0E10-4994-4B41-B96B-83ED96C4C79B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d62aa2132480040924cfc14271f0a94e2f0296c1","datavalue":{"value":{"text":"A formal model of diagnostic inference. II. Algorithmic solution and application","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1069318$9C9DC876-CE17-447C-A966-AB2B0A62F8CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c6f436d818a5703ad7f021bc3899b4f46e2ddd5","datavalue":{"value":"0583.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1069318$00696137-098E-49C6-9959-5F5EEFB5E107","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62a5394b43a1f046e6b35d8fe315590e6129fa5f","datavalue":{"value":"10.1016/0020-0255(85)90016-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1069318$3B9A6C53-72C3-49E6-B5F7-F750F351D6FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"694edbd36e885db56dea16082126bb617a73c15f","datavalue":{"value":{"entity-type":"item","numeric-id":1069316,"id":"Q1069316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069318$859BBDBB-1F71-46D3-8070-8C17835D8CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1556b8b1c36d645c9596aea6ac87b103822601d0","datavalue":{"value":{"entity-type":"item","numeric-id":622119,"id":"Q622119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069318$20A61F22-935D-4AF9-B91B-1D7A5E776790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7edb7444353939b71017e7bebdc271fa490ed733","datavalue":{"value":{"entity-type":"item","numeric-id":208340,"id":"Q208340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069318$053F3EAE-8D61-4127-AAA3-CB48E4FC3E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fd96717206707066df7b4d98aaf74a8286224e8","datavalue":{"value":{"entity-type":"item","numeric-id":666810,"id":"Q666810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069318$679E56A7-57A6-4297-AF3C-D5E77CC0DFE0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069318$7BB64BF9-B2CE-48D0-8496-386C9C920DBA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1069318$0C37206B-FF87-4126-B85F-E2196CE74605","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"29e865b78db24c5627ae6e5bf5b68e84ffe6f02c","datavalue":{"value":"This paper and its part I [reviewed above; see Zbl 0583.68046] present the generalized set-covering (GSC) formalization of diagnostic inference. In the current paper, the GSC model is used as the basis for algorithms modeling the ''hypothesize-and-test'' nature of diagnostic problem solving. Two situations are addressed: ''concurrent'' problem solving, in which all occurring manifestations are already known, and sequential problem solving, in which the manifestations are discovered one at a time. Each algorithm is explained and its correctness within the GSC framework is proven. The utility of the GSC model is illustrated by using it to describe and analyze some recent abductive expert systems for diagnostic problem solving. The limitations of the basic form of the GSC model are then discussed. A more general notion of ''parsimonious covering'' that includes the GSC model as a special case is then identified, and some important directions for further research are presented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1069318$8267BDAC-0D12-484F-91A0-17FB38932D6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1069318$90072CC6-FB1A-4070-9B1C-F22EDE77F45E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7516b09851af740b758cb774c46699604bdfa029","datavalue":{"value":"3934432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1069318$8B01D203-E9D2-43E9-8433-A2E5D2442E12","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8b609df3e81cffa3ffc67d377110fe70aa00143","datavalue":{"value":"generalized set-covering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1069318$53113BB7-36C8-49E7-8EA7-7506895478EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1069318$B81B9911-3A9D-4597-8DC0-E326A38561B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39d9cd7e7275d2a0069bedac21bf193615918942","datavalue":{"value":"diagnostic problem solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1069318$2EF38F02-34AC-42EB-BEFA-FA7D0A27F1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61357657bf874e08c6639092dc1d7f3a7701446b","datavalue":{"value":"expert systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1069318$3103FB84-2DBB-4DD0-8DDB-36057C2FC3B7","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":"Q1069318$5E5D4638-8465-44B7-A585-017C8A8B9694","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f293956c1b3a69b5d31825c4a4d76c1fbefdd2cf","datavalue":{"value":"https://doi.org/10.1016/0020-0255(85)90016-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1069318$71479CAF-DA5B-4075-BCF4-6CDCFB281C71","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"99191445a7c4ae6ae4ef2ee94051c743a21c42d7","datavalue":{"value":"W2036325929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1069318$98491F7A-FA2C-4D13-99E3-4878816449FE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a9feb9f03fc5f5833244fcc781a1076be99e642","datavalue":{"value":{"entity-type":"item","numeric-id":4074311,"id":"Q4074311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069318$216DE8DB-E95F-4855-AD31-D2068E16FB6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cfd9660c486ad60b151467cfe6320bb6e65aba1","datavalue":{"value":{"entity-type":"item","numeric-id":3292586,"id":"Q3292586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069318$49C342F7-7011-45AE-981C-E294773BB7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755b705d434743289f1c33d94607b3327759f7e3","datavalue":{"value":{"entity-type":"item","numeric-id":4142699,"id":"Q4142699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069318$587D93F7-9487-484F-9CF3-EBCE6A0BC7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fdf5b8cde129dad7b1f19100a2902cfe3c73387","datavalue":{"value":{"entity-type":"item","numeric-id":1252795,"id":"Q1252795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069318$B678680A-01AB-4E17-BC06-461554EBC3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c8227370b23a709289df885ca01c57567c658f","datavalue":{"value":{"entity-type":"item","numeric-id":3856120,"id":"Q3856120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069318$0F911722-15B8-4DCF-BDEA-664219B6F7EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be02880adf3b9531d20f6265c7de89b7619f17f1","datavalue":{"value":{"entity-type":"item","numeric-id":3888567,"id":"Q3888567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069318$ACA94730-8D91-41D6-8EE2-D503FC138538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1fe64c0cc812ed283c4f2283156f6945ce0ddc","datavalue":{"value":{"entity-type":"item","numeric-id":1069317,"id":"Q1069317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1069318$EE438374-A510-4416-ADA2-B318CDD8FFAA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bb0ed942d7a947efbf2dd423a6b2c84fb2e70ea","datavalue":{"value":{"entity-type":"item","numeric-id":1069317,"id":"Q1069317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3450ec011babac31950b5190ed505c61c2921c74","datavalue":{"value":{"amount":"+0.9052387475967408","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":"Q1069318$011B79EE-6264-42FD-9D0F-733452E79B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e37b1ce56772dd12ef302271c5cd074b1c29d57d","datavalue":{"value":{"entity-type":"item","numeric-id":3998470,"id":"Q3998470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d096371b9948ad61c0436b10b83145a317a434a","datavalue":{"value":{"amount":"+0.8641279339790344","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":"Q1069318$1748F1A7-D708-495A-AAB6-31742811EE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9494066a324179ab1a3384674f5bb13d828ec13","datavalue":{"value":{"entity-type":"item","numeric-id":3775002,"id":"Q3775002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d6c29f11a892778548861b53b1c2a9883f70ef1","datavalue":{"value":{"amount":"+0.8413777947425842","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":"Q1069318$FF0EB562-A0A3-4E0B-94E8-16B822678273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc5a0ef38a0527796b8cc316af2513b4bc64ad85","datavalue":{"value":{"entity-type":"item","numeric-id":3775001,"id":"Q3775001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6690b1b94049dcf2c0bb31bed60fec5e86b6b387","datavalue":{"value":{"amount":"+0.80264812707901","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":"Q1069318$2C721920-D7C2-4DCC-A16A-5E17B1389C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"892f91e8beb4eb891b965f66b7312215f755e02c","datavalue":{"value":{"entity-type":"item","numeric-id":3771662,"id":"Q3771662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8d9786150c9bdc7e7d1ed543b5dbb11481f7560","datavalue":{"value":{"amount":"+0.7871441841125488","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":"Q1069318$F65FB678-AD17-48D4-90CE-E9505447FD35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1069318","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1069318"}}}}}