{"entities":{"Q1103419":{"pageid":1114171,"ns":120,"title":"Item:Q1103419","lastrevid":69649044,"modified":"2026-04-13T08:27:06Z","type":"item","id":"Q1103419","labels":{"en":{"language":"en","value":"Reasoning about action. I: A possible worlds approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4053074"}},"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":"Q1103419$D9678F0A-1391-49E5-A90F-ABA46ECC9F25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be700cf63ded88381571853f7ae27811c4a1be69","datavalue":{"value":{"text":"Reasoning about action. I: A possible worlds approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1103419$DA8310F8-ABDD-425E-B0CD-F969F5003B41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1af8f8b9dd72defa721c0f39d993b04449255d1","datavalue":{"value":"0645.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103419$EC8226FB-FDD3-4930-884F-C933F52ED808","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d6cae630ec53a63cdb90ed80c43c83d47f49be1","datavalue":{"value":"10.1016/0004-3702(88)90011-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103419$D88D03FA-5603-4C10-A6D0-59EA9C35B944","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db20d60fdab35354b81f8a87932ead73c4375818","datavalue":{"value":{"entity-type":"item","numeric-id":1097713,"id":"Q1097713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103419$B1E17CB5-5E51-4138-8B0D-97B0656008FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"888d66e80f229bb9539d2515c28a07760c63d158","datavalue":{"value":{"entity-type":"item","numeric-id":1060860,"id":"Q1060860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103419$1623D017-9783-4E4B-9597-D11D098D108B","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":"Q1103419$718EC690-D6FB-48E4-8825-505A1FF49235","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":"Q1103419$F675CA87-242F-4979-8111-938745CDDF5A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"57eea5072d2cdf93a2e0ee3973f5349ea863f40e","datavalue":{"value":"Reasoning about change is an important aspect of commonsense reasoning and planning. In this paper we describe an approach to reasoning about change for rich domains where it is not possible to anticipate all situations that might occur. The approach provides a solution to the frame problem, and to the related problem that it is not always reasonable to explicitly specify all of the consequences of actions. The approach involves keeping a single model of the world that is updated when actions are performed.    The update procedure involves constructing the nearest world to the current one in which the consequences of the actions under consideration hold. The way we find the nearest world is to construct proofs of the negation of the explicit consequences of the expected action, and to remove a premise in each proof from the current world. Computationally, this construction procedure appears to be tractable for worlds like our own where few things tend to change with each action, or where change is regular.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103419$886EF46D-95BB-4C3F-8BD1-538468B880DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103419$0473DF86-2E49-45BA-8C39-308BCD1DDA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103419$596E639C-86EB-4EA6-B307-66973674CCB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103419$FF0E52A5-B3E6-4E04-A3AD-E92782EADB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103419$969A17A0-36DB-4B74-AEE5-DCF9D5A13D15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c4cf1a104488c65b9710c2f7c40c709ff3b4fa5","datavalue":{"value":"4053074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103419$7CAF178D-EB27-4E8F-8A21-472D9C06D090","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adfdb816dadacf750427ea6b09f8da1ad8602a92","datavalue":{"value":"commonsense reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103419$E5E2043C-CB8B-4A71-82AE-651C89C10C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dce248baa6ddc45c558e1072a9ef8778d9930096","datavalue":{"value":"planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103419$5E139DA5-984A-4DEE-94AE-604796A59BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed7e0110c53b20a8e704de2700a0ebc4900a11b8","datavalue":{"value":"reasoning about change","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103419$C66C7FE6-FE17-4835-A50C-63BEE8764FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f83b1aa5c3c73185ab130c51100d98b8269b368","datavalue":{"value":"frame problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103419$A650C9E4-764B-4EA1-9228-21B7FAEF77D3","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":"Q1103419$A416BC76-D42F-42D9-80B6-7531A99DDD58","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6af383a99bd8f3031025261fe929c93fd0aabfa","datavalue":{"value":"https://doi.org/10.1016/0004-3702(88)90011-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1103419$B6809F44-C328-44FB-8BC2-909863B00174","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"010d805e232eada326da589d7124d9214997e112","datavalue":{"value":"W1684304711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103419$E5BEF1CC-EAC1-4CC6-876F-6FB82E968EE3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfead181c4df7b86f6e62184823b49dfa079ebaf","datavalue":{"value":{"entity-type":"item","numeric-id":1060013,"id":"Q1060013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103419$3DAE47C1-9555-4145-908D-24819BD0D68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b5e9764238b84a89b6f90ca43e0cea49889b35","datavalue":{"value":{"entity-type":"item","numeric-id":2551696,"id":"Q2551696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103419$4D83A297-EEA8-43E2-B440-C32022AA8ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"113adb4ba1e3bd0177197069b543187572980809","datavalue":{"value":{"entity-type":"item","numeric-id":5903759,"id":"Q5903759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103419$34535736-B12A-492D-B868-7EA4F32960C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64400c8a21f954d4d1e64a4e4ad36dc3d3174f52","datavalue":{"value":{"entity-type":"item","numeric-id":1103419,"id":"Q1103419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103419$D9A8E08C-21FF-4E21-AF9F-7CBB2E0A06DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddbc85318948d54c566903a8b7a0057af0da01df","datavalue":{"value":{"entity-type":"item","numeric-id":1103420,"id":"Q1103420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103419$43871A0E-BB25-4BF8-948A-1D175FA235D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8452c1df9b2612b34848e6018918c0be8c81a6e9","datavalue":{"value":{"entity-type":"item","numeric-id":5649989,"id":"Q5649989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103419$D554DCE3-63D2-4549-916E-50AFD49149B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c999a03128137cbeac2feffe55e854e8d5a76471","datavalue":{"value":{"entity-type":"item","numeric-id":1108819,"id":"Q1108819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103419$A256B3A0-8AD1-4643-B3EB-839C0B2D02BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40ffc6b2c1d0c46bcf3a582f7c34bb6301f43675","datavalue":{"value":{"entity-type":"item","numeric-id":5750390,"id":"Q5750390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103419$2F2BE83A-046B-4DB0-82A2-20E9B4BEFEBC","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":"Q1103419$DC4E7179-28F4-4D5E-BE10-336E4FEF52FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727e4fcb174852dbf7f8d1745be850a52bb6ad4b","datavalue":{"value":{"entity-type":"item","numeric-id":5633670,"id":"Q5633670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103419$721DE4B5-A409-44BE-B95B-03A2E73F0E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3c6d88506c0d71e7cd9dea1498e89139430a65","datavalue":{"value":{"entity-type":"item","numeric-id":1060866,"id":"Q1060866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103419$79A31057-50A4-4A36-8D12-9D560FE742A2","rank":"normal"},{"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":"Q1103419$4B437450-7275-47CD-8012-390B146F409A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3043584a63fc36f34b1f253742062e5fc8b4f9b1","datavalue":{"value":{"entity-type":"item","numeric-id":1102126,"id":"Q1102126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103419$9A217896-BF65-45F4-935F-76AD6BF6C655","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c7c3cf4207c24c1d268a34bc39509dd707073b5","datavalue":{"value":{"entity-type":"item","numeric-id":1923832,"id":"Q1923832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f9546bdaa9e91b9f813d266b41d61a62900fb64","datavalue":{"value":{"amount":"+0.8390224575996399","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":"Q1103419$0D8191DD-88F3-4F3A-9900-2D7ADEAAD3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2edba320384cab912d234f4967b717ab13b5a068","datavalue":{"value":{"entity-type":"item","numeric-id":4286222,"id":"Q4286222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7758f916f3e317e3d1aecb8d2fae655b8be4d260","datavalue":{"value":{"amount":"+0.8080849051475525","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":"Q1103419$46141DD1-CA6E-4323-9C1D-5BDB44E21A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efd458ce91cf39b6fdc4832386be77a066d4d3fd","datavalue":{"value":{"entity-type":"item","numeric-id":3430947,"id":"Q3430947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32fa2b349089bb15b2de01935348f3cc8c893ea3","datavalue":{"value":{"amount":"+0.8034347891807556","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":"Q1103419$88A9DD76-5BA0-491D-BD06-A5F66E2B8E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46e09b1499401a1a904b36a0be11339803a6db19","datavalue":{"value":{"entity-type":"item","numeric-id":3408144,"id":"Q3408144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b32553ae8b0a946da69beb6ebe747acf69000908","datavalue":{"value":{"amount":"+0.8019134402275085","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":"Q1103419$7C0FAEB9-C5BE-4059-BE0D-1478293476D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b32c5c3a8e43f5878403854c08fa9adc932ca1d8","datavalue":{"value":{"entity-type":"item","numeric-id":1103420,"id":"Q1103420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce72f809aed1730583fb6998a8f92fe970f8b030","datavalue":{"value":{"amount":"+0.8010973930358887","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":"Q1103419$BAEB7389-DB50-4274-A9BF-302D569841CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasoning about action. I: A possible worlds approach","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reasoning_about_action._I:_A_possible_worlds_approach"}}}}}