{"entities":{"Q1861897":{"pageid":1872639,"ns":120,"title":"Item:Q1861897","lastrevid":43378894,"modified":"2025-07-25T06:47:22Z","type":"item","id":"Q1861897","labels":{"en":{"language":"en","value":"Minimal belief and negation as failure in multi-agent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1878959"}},"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":"Q1861897$C9DBFED2-E482-432E-9D04-437840BBE065","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d592032a315731a79e59593e20a62e2f1606bedc","datavalue":{"value":{"text":"Minimal belief and negation as failure in multi-agent systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1861897$E5376CBD-2860-446F-98F0-732BD97F34C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d18a3eb42243918d2684a9635cac3f1f75b77b94","datavalue":{"value":"1026.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861897$B0B72E34-A571-44F3-9405-B72534D1DB3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30b0d186f69875c29b9b73f7689a2ddae411110b","datavalue":{"value":"10.1023/A:1020255204705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861897$2BA93B8E-E398-4D07-BF10-850EFC92BDB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdb7cd95138e74bffc5a994a8a5837a3e1d96115","datavalue":{"value":{"entity-type":"item","numeric-id":229756,"id":"Q229756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861897$0A67E5A5-DF80-42A9-90D3-37BDA6ED2E48","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861897$2077F970-62D6-484A-9E7D-4453356C287E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20f463f17fc7e9c2632ed067be3b2803defc648e","datavalue":{"value":{"time":"+2003-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1861897$8C551232-902C-42E9-ABA6-0E5C09883888","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"72d5df6b7ab2ab51a3aba1ac9f814ea99799ed34","datavalue":{"value":"The paper presents a modal logic for multi-agent systems. The logic has modalities \\(A\\) and \\(B\\) for one non-monotonic agent and modalities \\(K1,\\ldots, Kn\\) for another \\(n\\) monotonic agents. The non-monotonic operators \\(A\\) and \\(B\\) are not allowed inside the scope of the monotonic operators \\(K1, \\ldots, Kn\\). Hence, the logic can only represent the thoughts the non-montonic agent has about the monotonic agents and not (!) vice versa. It is shown that the limited form of interaction between the modalities still allows for basic applications in the area of Robocup, the robotic football competition. But more involved interaction cannot be handled by this logic. The modalities \\(A\\) and \\(B\\) are taken from \\textit{V. Lifschitz} [ Artif. Intell. 70, 53-72 (1994; Zbl 0820.03016)]. The author has given an algorithm and complexity results for the satisfiablity problem for these modalities in \\textit{R. Rosati} [J. Artif. Intell. Res. 11, 277-300 (1999; Zbl 0932.03024)]. In the current paper it is shown that the constraints on the interaction of A and B with the modalities \\(K1,\\ldots, Kn\\) allow for an elegant extension of these methods and results: it is shown that for the full logic the satisfiability problem is PSPACE complete. (Several fragments are considered which are \\(\\Sigma^p_2\\) or \\(\\Sigma_3^p\\) complete.) In this way a suspected lack of applications for the logic is balanced by success on the theoretical side. The presentation is concise but clear.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1861897$91EAEB34-40E0-4426-B71E-B9F0414C484F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861897$52451C46-46E3-4B65-B5FE-373DE132E93A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ca14b7d3e388011ef5c1998673598d5e4924160","datavalue":{"value":"1878959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861897$A29F1C93-4813-40B4-8E8E-53D87363E405","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65ad898fce43911ca55eb5ed942bac1dbc1b2a14","datavalue":{"value":"non-monotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1861897$CA868F9B-69E4-4236-B011-10776EDB294F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1861897$761331AA-92C3-4C7A-A38A-3139E7D182C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50fb604b5be3f87e6294edda0566b032c94a2d4d","datavalue":{"value":"modal epistemic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1861897$634215CE-68E5-4A93-8BB2-343B2BE562BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbec5c2b93e66e86aa0d97f1c5c6e6aacaff7fc6","datavalue":{"value":"computational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1861897$5FF52824-530E-4F25-8BBF-A22D0F245C1B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ccf6e9f1443b7e706b74edb5269e84f61e912a8c","datavalue":{"value":{"entity-type":"item","numeric-id":1314277,"id":"Q1314277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1861897$ABC7F913-38B8-4CCD-A247-3C21703495D5","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":"Q1861897$074D7820-257C-4253-A7A5-C9ED6A1EB1B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"625b5ed7db24ba1eaf1e1484805b354e4e700ee8","datavalue":{"value":"https://doi.org/10.1023/a:1020255204705","type":"string"},"datatype":"url"},"type":"statement","id":"Q1861897$D55B812B-1E59-4C1F-9C53-F31E7330744C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7eb419a3d802c4c7822a624a5544d585d64658bc","datavalue":{"value":"W116509193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861897$F42D289E-B542-45A3-9DAC-009A62363BE4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3980c94d24b3f95089503c24afa1acc0404f38a6","datavalue":{"value":"Q64360224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1861897$E4E5DF1E-4E14-455C-8388-419774EFB48F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48eb68665090af37323e331f3c6bdbd96f17bfb4","datavalue":{"value":{"entity-type":"item","numeric-id":4813424,"id":"Q4813424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ace09046545e597fb59c0fa58a02625478fc5ce6","datavalue":{"value":{"amount":"+0.8644169","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":"Q1861897$5D8E4500-D54F-4B19-85D8-FFD76BBDB4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed91328d5e73f889e1dcd53649d204a763e6ac3a","datavalue":{"value":{"entity-type":"item","numeric-id":3574465,"id":"Q3574465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07259b4137a70a1d28370144bed3325943a780ff","datavalue":{"value":{"amount":"+0.85287744","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":"Q1861897$305F928F-29FF-4603-8FCD-1693C677A4D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e327cc558585806f4cdd9e4cf25ea22844f216b","datavalue":{"value":{"entity-type":"item","numeric-id":5475752,"id":"Q5475752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df4bbed519c9f1cf8a09f1652a15feb4cf91df4c","datavalue":{"value":{"amount":"+0.84750617","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":"Q1861897$8F4EF602-A81C-40D3-87FE-4F234198AF44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df56e80dcca1d3e4a46feaaa5a7f9e76f61b9232","datavalue":{"value":{"entity-type":"item","numeric-id":3166991,"id":"Q3166991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0582fe4f4a328da9afe8d8a67253b93d7c0ca575","datavalue":{"value":{"amount":"+0.8391179","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":"Q1861897$C1CE9CFF-5941-4F8C-9930-7A4C7A5BDBCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df2e6344150437f2a332be39fad71f27ae462371","datavalue":{"value":{"entity-type":"item","numeric-id":2721198,"id":"Q2721198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fd61cfac6571e15edaa5cc4ae32e552690fc9b0","datavalue":{"value":{"amount":"+0.83305514","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":"Q1861897$5207110E-EEB4-4F97-ADC6-DF37CE2247B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1abe47fca2f03c3ecc9893f9e8ad2188aa1897bd","datavalue":{"value":{"entity-type":"item","numeric-id":5955624,"id":"Q5955624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10c098746e93f2684e36eca5ccbe8f2234fee2d5","datavalue":{"value":{"amount":"+0.82884693","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":"Q1861897$EA35C667-7739-425D-9B4E-2B3515EC5B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"511ad0c1a6466ba3410654933864308cf53a046c","datavalue":{"value":{"entity-type":"item","numeric-id":2372185,"id":"Q2372185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5259051f7b65a081c156e68c9a1f54eafc1410a","datavalue":{"value":{"amount":"+0.8161887","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":"Q1861897$B31FF5B4-19F9-4ABB-A35F-1B4A71FD94A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f4c62e68ccb0307640209b86213f3f8ab75e11e","datavalue":{"value":{"entity-type":"item","numeric-id":4209288,"id":"Q4209288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a1909d7824b8bde748d376e0b9d487917372ab8","datavalue":{"value":{"amount":"+0.81595516","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":"Q1861897$A9600D2F-BFEC-4409-8F3B-FF74F1FBA0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f5d6d75b21077d23e6e3f90456332e048466621","datavalue":{"value":{"entity-type":"item","numeric-id":4540938,"id":"Q4540938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a969f2dc212bb3043137b5e281d5cc3588b1f0d","datavalue":{"value":{"amount":"+0.81190455","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":"Q1861897$6A473C10-5E26-4A08-84FE-F764B5436C59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1861897","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1861897"}}}}}