{"entities":{"Q2752126":{"pageid":2762865,"ns":120,"title":"Item:Q2752126","lastrevid":55919887,"modified":"2026-02-21T03:56:21Z","type":"item","id":"Q2752126","labels":{"en":{"language":"en","value":"Possibilistic logic: Complexity and algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1665428"}},"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":"Q2752126$8E97BF7D-888E-4F9B-9814-80E415C948F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9322ac63f2649eeed45ff2eb0eb40d4d2a3b0f12","datavalue":{"value":"0984.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752126$B3CB0FE7-7043-4DDF-AC3F-2964561AD0C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64d6e764344bbdbf188f98901d682f6938c27e18","datavalue":{"value":{"entity-type":"item","numeric-id":201918,"id":"Q201918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2752126$44CDC6D8-640D-4911-B61A-4700D870913A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e50aedfef1e85fc4665e8a822897c0b5cc3f690","datavalue":{"value":{"time":"+2002-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2752126$F6E15FD6-0C9C-48A2-9F9B-4ABF2132E21F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752126$9CA99212-2CE0-4438-8930-9171BAFCD622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752126$A2F13F1D-6C8F-41A4-8CD0-10E30456A699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752126$C660FDEF-7216-474A-85B5-E15063AAABAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752126$AC04E49B-83EF-4BF8-83F0-5CBCA80A2B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752126$3A64B118-AFA1-449D-952B-2A22D148CF43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d2f367512141f76147699ae1bb669ae4f442985","datavalue":{"value":"1665428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752126$278594BF-1CE8-4E67-9A71-3D1235CD9812","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03b52819299921571f29fc3f19420d17207f42f3","datavalue":{"value":"possibilistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2752126$F7A4A8C1-5524-4DAC-8B03-798D75872DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2572130e8623968d5e2eafa9f8db96b9930b6eca","datavalue":{"value":"standard possibilistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2752126$04E14F77-306A-4C2E-AC8F-C8DA4F9A0D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15c57111dd22db7fcc8484108b5d09fe73d2b1de","datavalue":{"value":"preference order","type":"string"},"datatype":"string"},"type":"statement","id":"Q2752126$EF976799-8DAA-44BF-B3E1-AC348750F06B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c162319a437364acb06008f9cd0fa0ffe28f7d23","datavalue":{"value":"nonmonotonic approach to preferential models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2752126$F401711D-CCF9-401D-96A6-606173889282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"637785e14eef7f70f7262ce92a25e0781e71a1b3","datavalue":{"value":"belief revision","type":"string"},"datatype":"string"},"type":"statement","id":"Q2752126$BCCFC2DB-D516-4991-812A-43887A482A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbbae5dcaadfa419f127cff73ceeb2c322f9a67e","datavalue":{"value":"deduction problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2752126$BF558448-0A46-44BB-90B7-C84ECE898A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1a370e467d05f8ed7da8414d8c0600c5c7f05db","datavalue":{"value":"necessity-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2752126$C42C1720-4F08-4536-94B4-2F91D8F10B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2752126$A164536B-035E-4D7B-85F7-3102181E8CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d558b6487651249396d695895f0e10d1f7d76b09","datavalue":{"value":"possibilistic model finding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2752126$DAE461C9-4578-4CF4-B696-42E7A2B0B201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db281effe2100a21514c80751ef19c34e48476d9","datavalue":{"value":"fuzzy constraint satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2752126$3013A1CA-43C9-4281-A1F0-365915BEB6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6821bbdfb56a42f4b0fc5f7e7dd1acef6fb23cef","datavalue":{"value":"possibilistic logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2752126$D07A2B16-858D-40A0-9DFB-57380BBE7ADE","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":"Q2752126$04A2B197-1C35-487B-B659-D49E994E40A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"424b0f6a9d699a8a1a69eda02350a485b1a3bfb8","datavalue":{"value":{"entity-type":"item","numeric-id":4723713,"id":"Q4723713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e72fb0fe7ca413a2c81d2e2c28360ed0584c9c7","datavalue":{"value":{"amount":"+0.9172199","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":"Q2752126$E0C344F5-9475-42ED-8981-47A185E77FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba6c52fb4839ea3921be6545251c44cb475e5073","datavalue":{"value":{"entity-type":"item","numeric-id":3000099,"id":"Q3000099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"590137f3a14f5ffa0e5303ede196c4719ded5322","datavalue":{"value":{"amount":"+0.9164984","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":"Q2752126$C295C28A-4F81-4CD8-84FE-DEFB42088265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f136c4bf3f0c82abea0547742c01399b1200d8e","datavalue":{"value":{"entity-type":"item","numeric-id":819942,"id":"Q819942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42cae1a6250bba5d1438b784a5dbbcfdcb3fed0e","datavalue":{"value":{"amount":"+0.9145726","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":"Q2752126$19C8301F-5DC6-4EFF-8833-6A7DBD59D956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b5a94ec18c207b0baa620d3af2f850df8a16310","datavalue":{"value":{"entity-type":"item","numeric-id":2863169,"id":"Q2863169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a84046de086072037f9432a85229b05a432556c","datavalue":{"value":{"amount":"+0.91097283","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":"Q2752126$C10CB3A3-EB3E-471B-9CFC-4CAC278970BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40bb5effbdefa8dfa29d828f19906f2da69a9363","datavalue":{"value":{"entity-type":"item","numeric-id":3827989,"id":"Q3827989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1dc43c8eb28a634880e14eedef95e1ecd543d82","datavalue":{"value":{"amount":"+0.9107958","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":"Q2752126$74C0BC65-F287-4B63-8EDB-BA0FCC33EC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"085cfa05341eb9d954d9b2d7e839d576b6f1d6f4","datavalue":{"value":{"entity-type":"item","numeric-id":2784604,"id":"Q2784604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb1149cedb40d603c8a2a542c4e922947e1d3edf","datavalue":{"value":{"amount":"+0.9072189","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":"Q2752126$A8ABA000-1D1C-49A4-ACD8-63FBAC11CC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cb762ae3bbc65e5590a06cac76013aaf2d0868f","datavalue":{"value":{"entity-type":"item","numeric-id":4729773,"id":"Q4729773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e1f5023d1486f8e7ab57005493230b097ffe1fb","datavalue":{"value":{"amount":"+0.9037678","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":"Q2752126$2C2075A0-AFC2-4DAF-9E8F-94A06C0FAA72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5d7e2b750c5f9313d94879dc34c48316a186cc8","datavalue":{"value":{"entity-type":"item","numeric-id":2254552,"id":"Q2254552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07b81e50921487d9e7c3cb74f65bdad314d293e1","datavalue":{"value":{"amount":"+0.9026711","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":"Q2752126$EF118BCD-7A19-4F40-A9F1-127C487F00A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34c573f596617f237d111d0071ef7e87677a37a2","datavalue":{"value":{"text":"Possibilistic logic: Complexity and algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2752126$F6DB4969-F484-4873-A86B-AF04EBCE2B0B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6c4fa65a33817d81bbf5416495a07e250e123e70","datavalue":{"value":"This paper represents a chapter in Volume 5 of the Handbook of defeasible reasoning and uncertainty management systems. It contains a comprehensive study of algorithmic and complexity issues related to possibilistic logic. Section 1 of the paper introduces the main notions and problems. Section 2 recalls the basics of possibilistic theory, viz. a formal background of standard possibilistic logic (SPL). SPL, or necessity-valued fragment of possibilistic logic, although poorer than full possibilistic logic, is important because: (a) algorithmic issues are simpler and easily extendible to the full case, and (b) SPL is sufficient for modelling a preference order upon formulae, which is closely related to the nonmonotonic approach to preferential models and belief revision theory. Section 3 investigates algorithmic and complexity issues for the deduction problem in SPL. Several versions of the deduction problem are considered for a possibilistic extension of refutation by resolution. The complexity issues are restricted to the case of propositional necessity-valued logic. Section 4 discusses algorithms for possibilistic model finding, based on an extension of the well-known procedure of Davis and Putnam, also in the case of propositional SPL. Section 5 examines proof methods for an extended fragment of possibilistic logic, which handles both certainty-valued and possibility-valued statements. The final Section 6 concludes, pointing to related work such as fuzzy constraint satisfaction, possibilistic logic programming, and drowning-free variants of possibilistic logic. Nine important areas of applications of the discussed topics are emphasized.NEWLINENEWLINEFor the entire collection see [Zbl 0959.00013].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2752126$C7229191-90A5-4335-965D-FF18029B5F08","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ddfe26001cac27b44f73ee317c958b41c5d4e225","datavalue":{"value":{"entity-type":"item","numeric-id":585901,"id":"Q585901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2752126$70B32F47-53D7-4225-8F11-39655701CA76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2752126","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2752126"}}}}}