{"entities":{"Q5286911":{"pageid":7316485,"ns":120,"title":"Item:Q5286911","lastrevid":109546526,"modified":"2026-11-12T22:43:15Z","type":"item","id":"Q5286911","labels":{"en":{"language":"en","value":"Some Results on Classical Preferential Models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 227524"}},"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":"Q5286911$3AD8E035-68D1-40A1-9BAE-AF15B69DF345","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4102a8d5f76c0f1ddda83e5a1256c8c46b876cf2","datavalue":{"value":{"text":"Some Results on Classical Preferential Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5286911$0CC1B36F-F391-40C1-B55D-12B0115DAEBB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eaef77c9a1876d7ec0977adb3e086322741adc0e","datavalue":{"value":"0785.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5286911$FE042B48-287F-4E5B-96BE-7049E3A0BFD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cac67b5af44da91dcbd20e8bc235f3b14eeda006","datavalue":{"value":{"time":"+1993-08-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":"Q5286911$AAA08547-1072-411F-BE4E-CEA3BB6F6C8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5286911$6449148B-FE45-483E-9880-74635DF45DFF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d550d03cae56ba36eed731851dd272908c6d56c","datavalue":{"value":"227524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5286911$304EF720-C94F-4C69-999E-153E9937D3B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d72d4b280425c904f9e4dda789ed703533772a11","datavalue":{"value":"nonmonotonic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286911$EEBA67F9-0269-4ED5-9A2A-369C72B4C140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae453e21181373bc82624eac152748de0152410","datavalue":{"value":"infinitary inference operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286911$98C4FAA8-4296-4E8D-8A38-44C424DF5817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53571ccd51b2e59e30c34e5084ec0af3e8a6d33d","datavalue":{"value":"preferential models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286911$B65C91E0-43EF-4779-BD92-C1537FD37450","rank":"normal"}],"P16":[{"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":"Q5286911$5D4AE808-9B65-4CEB-BEFD-56862234C4B8","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":"Q5286911$EC1BA127-121B-4351-A844-A3574E5C1789","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8615e056bd232eab010079170cc04c3cbdc7769e","datavalue":{"value":"https://doi.org/10.1093/logcom/2.6.675","type":"string"},"datatype":"url"},"type":"statement","id":"Q5286911$CF7A8F8E-EE1D-41E7-9C84-B44F50EA388E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55af352d948b27b5dd76c6c0267ba89950972c53","datavalue":{"value":"W2091226116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5286911$BCD00A0B-120C-4101-8196-F60DED397108","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64df3ae6894e7f9486698ef0a3f03514879e0707","datavalue":{"value":"10.1093/LOGCOM/2.6.675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5286911$125F1E88-E58E-4F4E-BC96-203442D51958","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5286911$932C5588-D8A6-423B-831C-4BB76B2049D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d0bc74df723b683068533dfcf2c0c863a0d7ca7","datavalue":{"value":{"entity-type":"item","numeric-id":4287498,"id":"Q4287498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3420ea65200d65cf2ff4fbbf12b89553e94969a0","datavalue":{"value":{"amount":"+0.8454728722572327","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":"Q5286911$A7AFB681-3F7F-4F96-9F45-010FC4CED83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2392c8cb68eb37a2cf6229a728a832a83c64f83c","datavalue":{"value":{"entity-type":"item","numeric-id":4527926,"id":"Q4527926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf5e62b244574bcc3a3c5016694c5d7c7e392a2e","datavalue":{"value":{"amount":"+0.8324636220932007","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":"Q5286911$79904E6E-2A11-46A9-803A-5D1FD18B49B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdb703208729d54e0a85e9e5a601713e6bc86168","datavalue":{"value":{"entity-type":"item","numeric-id":4240679,"id":"Q4240679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f53c6c0cd966604c739794d43434cdbbd2c6d0d4","datavalue":{"value":{"amount":"+0.8110320568084717","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":"Q5286911$524D2620-DC0E-40FD-9287-C7836FB875F3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6be7e76beb1e474abd67064c8d75aae1e08ef767","datavalue":{"value":"For finitary nonmonotonic inference operations (i.e. ones defined for finite sets of sentences as arguments), a now-classic representation theorem was proven by \\textit{S. Kraus}, \\textit{D. Lehmann} and \\textit{M. Magidor} [Artif. Intell. 44, 167-207 (1990; Zbl 0782.03012)]. Briefly, such an operation is generated by a stoppered, classical preferential model iff it has the syntactic properties of supraclassicality, cumulativity and distributivity. In the paper under review, the author first shows that for infinitary inference operations, the right hand side of the above equivalence no longer implies the left. He then shows that it is nevertheless possible to obtain an infinitary result in the spirit of the Kraus/Lehmann/Magidor theorem. Specifically, an operation \\(C: 2^ L\\to 2^ L\\) is generated by a ``definability-preserving'' classical preferential model iff it satisfies the syntactic properties of inclusion, left and right absorption with respect to classical consequence, and infinite conditionalization. Reviewer's comment: The author's result marks a clear step forward, obtaining representation on the infinitary level, but still leaves open a number of questions. In particular, noting that definability-preserving preferential models are not in general stoppered, and likewise that infinite conditionalization does not in general imply cumulativity, we are led to pose the question whether his theorem continues to hold when those conditions are added to the left and right hand sides respectively. The author has informed the reviewer that in as yet unpublished work, he has modified the construction to obtain an affirmative result to this question.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286911$4E24E731-5366-4AB2-BB70-19974DC05211","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some Results on Classical Preferential Models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_Results_on_Classical_Preferential_Models"}}}}}