{"entities":{"Q1104922":{"pageid":1115671,"ns":120,"title":"Item:Q1104922","lastrevid":80058086,"modified":"2026-05-06T15:20:39Z","type":"item","id":"Q1104922","labels":{"en":{"language":"en","value":"The anomalous extension problem in default reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4057485"}},"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":"Q1104922$3EE90B19-C6ED-4891-AB1D-48C8EF9B381F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10231a9c0f07cd30b44953c172ff230e51ac074e","datavalue":{"value":{"text":"The anomalous extension problem in default reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1104922$664789C7-F2B0-443D-8EC6-3842815E5B48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0332fb83f2742584b3d42bf997e8e5711643706","datavalue":{"value":"0648.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104922$2E7F081C-5EA0-4FBA-931C-64FA323B5628","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90b81eb2a44502e19b03bff280694e0fe2fd091f","datavalue":{"value":"10.1016/0004-3702(88)90022-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104922$B0248A1E-1AA0-4E1F-849C-0C382A48F502","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3847effef94312b1c22a7fb80188655c955f3c30","datavalue":{"value":{"entity-type":"item","numeric-id":1104921,"id":"Q1104921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104922$6810B6D6-9599-4A08-81C9-3E485060ED83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104922$46365047-5517-4164-BA52-A6FFB49B059B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1104922$D8DA1309-F2F4-44C7-8AA9-2C1B4BFC8B73","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8e02c603d420c74a460d0aeadd3bb34990ebbc81","datavalue":{"value":"\\textit{S. Hanks} and \\textit{D. McDermott} [Proc. AAAI-86, Philadelphia, PA, 328-333 (1986)] presented for temporal reasoning in nonmonotonic logic an example with two incompatible extensions such that one of them is counter-intuitive. The paper first shows that such an effect is not tied with temporal logic but can be found also in usual nonmonotonic reasoning. As a first way out the author discusses the use of the truth maintenance systems of \\textit{J. Doyle} [Artif. Intell. 12, 231-272 (1979)]. This leads him to another way out: the essential use of nonnormal default rules. Finally, this forces him to speculate upon different ways of inconsistency handling in nonmonotonic reasoning. A stimulating paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104922$FC720483-23CE-4692-9C5D-6BCE8C432D03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104922$673ABF59-7747-43BB-B621-DBF389B9EE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104922$8D757234-D746-4810-B797-127CE86E90E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9bc55abb0991b751852498b83b7f2be6811b33c5","datavalue":{"value":"4057485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104922$CDD12C83-D3F9-4F46-B8B5-2C4F5F4F668F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53eef58615f027b6027e364cb066d3d7469bdd18","datavalue":{"value":"temporal reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104922$305B8AA9-8472-450B-A399-C649B4EC8F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d72d4b280425c904f9e4dda789ed703533772a11","datavalue":{"value":"nonmonotonic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104922$63949298-5975-42CC-9CCA-8BBB5ACC6218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104922$6CA5C15D-6F5B-434E-9250-FB0320E1A05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104922$3EFF4519-280B-4AEA-B867-13822C993264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbf509a57edc4ef5770a9df45b8b93fe72c26e7b","datavalue":{"value":"truth maintenance systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104922$46C09CFC-DB12-4631-A335-BF0550C2B6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7806ca15a1822cd424671ae26a37ff4e452ae932","datavalue":{"value":"nonnormal default rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104922$C4A4CDC9-BDC9-4F87-9E48-9DA36CB1F6B9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d657b6d3412c75416b1faf0735572c94c2285816","datavalue":{"value":{"entity-type":"item","numeric-id":586246,"id":"Q586246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104922$C0BAFBBF-3BC1-47BE-AEAD-5E606758280B","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":"Q1104922$FEC7AE08-E79B-4359-9CCD-1F277AC03708","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b57263a02d143f5ff2ba9260e2a5ec7d6df46d5","datavalue":{"value":"https://doi.org/10.1016/0004-3702(88)90022-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1104922$E089A2DB-F38B-40DE-8221-D8ED350F722E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"01e64a98eaca27d3648d6ef336fb83b98a2dd95e","datavalue":{"value":"W2039797670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104922$A1BD59D3-F373-4B7D-A00B-98CE70C17C1E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104922$B1A3F23D-E77D-4839-ADF4-3D3CD9866DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104922$2368B392-8BD9-43B9-A4D9-C8385AC8FEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1424939ca1b95c3c8ecc11b1c3b158a03121e03","datavalue":{"value":{"entity-type":"item","numeric-id":1056558,"id":"Q1056558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104922$B36DEC1C-A249-4007-A3A2-4224B4F280BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d470e6c08c7d2bc40187c19447d3686ec0e28865","datavalue":{"value":{"entity-type":"item","numeric-id":1099647,"id":"Q1099647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104922$8AD2BBA1-0113-4213-8B53-C2575A41AB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31b266c721655122dbe400bbee292733bb46b20d","datavalue":{"value":{"entity-type":"item","numeric-id":1244202,"id":"Q1244202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104922$DD421ECB-078E-4248-A389-B861EB7CC91B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84837260f6ac8ab76ba8ff04face93b6fe0c9f63","datavalue":{"value":{"entity-type":"item","numeric-id":1099647,"id":"Q1099647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba56351b16153c638e8fb859f8762d441e07eefc","datavalue":{"value":{"amount":"+0.7978798747062683","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":"Q1104922$02101228-B3E6-439E-B2C9-43B15FC06F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be85483b89396bb42b0872ef6d428a2202ba9148","datavalue":{"value":{"entity-type":"item","numeric-id":3765262,"id":"Q3765262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14cf91b1225e782a57216293f643ab32cafa0420","datavalue":{"value":{"amount":"+0.7780722379684448","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":"Q1104922$86377CE5-CC91-405F-BF76-9199DD9807DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3216ab9fe7aa5737851e528c83182df2b07b8729","datavalue":{"value":{"entity-type":"item","numeric-id":1364501,"id":"Q1364501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"994f1e55b3fc5c440e58cd32508af5321fe0b13c","datavalue":{"value":{"amount":"+0.774151086807251","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":"Q1104922$45246CE0-C040-443F-9BF2-65ECD3161108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c3347e3503a990ece40d39570d8c12c5c1ec4af","datavalue":{"value":{"entity-type":"item","numeric-id":3830556,"id":"Q3830556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16f7e2625997ccece952738d4aed73799ca9822a","datavalue":{"value":{"amount":"+0.7737143635749817","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":"Q1104922$7E8F0082-2A34-4CA5-BB0D-16C9D3A29334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c61c99dbc77c08c1c47103117fe3326c548eaed","datavalue":{"value":{"entity-type":"item","numeric-id":1182155,"id":"Q1182155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19cde741cef6b845dc4d07f524b86db2ed010402","datavalue":{"value":{"amount":"+0.7729272246360779","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":"Q1104922$5DD28034-F956-4881-B251-835E5B958525","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The anomalous extension problem in default reasoning","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_anomalous_extension_problem_in_default_reasoning"}}}}}