{"entities":{"Q1344888":{"pageid":1355627,"ns":120,"title":"Item:Q1344888","lastrevid":70203717,"modified":"2026-04-13T13:08:47Z","type":"item","id":"Q1344888","labels":{"en":{"language":"en","value":"Autoepistemic logic of first order and its expressive power"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 724146"}},"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":"Q1344888$767F3CAD-40E4-4A37-B315-911973B20B9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c80dedbd9ef7ad441c98d12b1ffb2b882a742c93","datavalue":{"value":{"text":"Autoepistemic logic of first order and its expressive power","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1344888$FE17F787-4B78-4A92-B2C2-ADFD38EFF426","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"768a371881dc76c6335c1eba93bd4aad7d6b4db6","datavalue":{"value":"0817.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344888$3F580F0A-E210-48D8-B71E-4DADD3CE3863","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e7f43b36becaf8adf83d9be57bb3fcf9ff03401","datavalue":{"value":"10.1007/BF00881912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344888$D19AC3A1-3090-4FC3-B35A-736C5ECCC099","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e9b7d651f1efa21fa167889604f4c1b276297e6","datavalue":{"value":{"entity-type":"item","numeric-id":645082,"id":"Q645082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344888$4C5CD747-70D8-4221-8C9A-DAB71FF9E4F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344888$0F305009-FC2A-4037-BF12-C56AC4F191CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8682f10035297e22489d3e495aa858e74b275e9","datavalue":{"value":{"time":"+1995-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1344888$F020AE1E-DDBD-4562-A2DA-7D853E2EF445","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"40461e9b0f101d21c751a8b83f0f53003c79cc5b","datavalue":{"value":"The autoepistemic reasoning process of rational agents in the autoepistemic logic of first order (first-order logic without modal operations, not a modal logic with quantifiers) is characterized by distinguishing positive and negative introspection. The maximal well- founded semantics for autoepistemic logic is defined on the two principles: positive introspection should be minimized while negative introspection should be maximized. Since the maximal well-founded semantics is based on full introspection, it defines a consistent set of theorems for any reasonable autoepistemic theories. Moore's AE logic and Reiter's default logic can be represented by autoepistemic logic. In the context of logic programming, the maximal well-founded semantics coincides with the preferential semantics. The author hopes that autoepistemic logic can be a good framework for nonmonotonic reasoning, logic programming, deductive databases and knowledge representation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344888$A371E0D0-70ED-4120-B813-33192016A603","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344888$582BA80F-5D7C-439A-9EC9-990956BA1E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344888$47E82710-8D60-4E13-91BA-33298D570AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344888$B42D4E0F-8EC2-4C86-9DFA-E4B7AD29ABD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac44e4189a286659f0bbd759d2d93eda9c4579b7","datavalue":{"value":"724146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344888$87BC3D51-B7EF-4D15-846F-96900797AD3C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cc913dc049d8fe32d243e3587c27898ea3ba624","datavalue":{"value":"autoepistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344888$6E46BA5B-2FCB-4BA0-9113-B905997F5F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a308ea2906173406f731b1cfb741e2dd32bdfdcd","datavalue":{"value":"maximal well-founded semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344888$85A13A71-553E-43B7-9A83-C1E41FCCAA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc19e63d49229888f171609b170b09aced8eaee1","datavalue":{"value":"AE logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344888$91F17F28-E9FB-442F-8BD8-FDC16E8818AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d126367ec033dbcb543a0d81d4b6faab0105788e","datavalue":{"value":"default logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344888$41A56972-8A18-4756-8737-88640AF79C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b16e93a0e2add8d2b56507e1c569ae094929ce3b","datavalue":{"value":"preferential semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344888$948B3AEB-4478-414A-B59F-ABAC2415FF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344888$D1EA9CBD-6678-4C42-B289-52FDCA7F131B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344888$E7BA5E38-F7FF-44C1-B376-E6081A1D492C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04d097e92166179fc1fcdd68d19b99f0cb17dcfc","datavalue":{"value":"deductive databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344888$E1ED06EE-1BA2-4090-ACFC-7DEEF0A7B5CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344888$090EC6FF-49E8-4C05-931D-1AC3EA0EEEB2","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":"Q1344888$BD65D34D-A76C-4386-9D69-BA2F6475130B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc28057b2e0d22eca49a140c3dca9a51e7238581","datavalue":{"value":{"entity-type":"item","numeric-id":1311405,"id":"Q1311405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344888$875CCF81-E42C-4FB5-9AAE-6915EF65A4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b9e0c2210260f462c7da78738460d0b3ea6e217","datavalue":{"value":{"entity-type":"item","numeric-id":1197387,"id":"Q1197387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344888$95BF6878-77EF-4B0D-9B78-E27FF231E58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d6f3eb14281aa9811c325e47a64655f213d9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344888$0D5EE255-C397-47EE-9963-528DDD0F593C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344888$A637C084-CB9C-4AA4-ADDD-ED9DF8882759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"262e0fc0c9acc0bb64d9975fe151b6db2ee24cd7","datavalue":{"value":{"entity-type":"item","numeric-id":1104771,"id":"Q1104771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344888$1B6A5A42-9673-4C6D-A2F1-FFF7E0343AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"625ffcd9a46147e7ce4705d224fd49c0f194c828","datavalue":{"value":{"entity-type":"item","numeric-id":3486550,"id":"Q3486550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344888$EFDF6A37-39BD-4852-8E7F-48B9AF9320D2","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":"Q1344888$A76C0802-18EC-43EA-A195-98C0906C50F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db773f3654846a3a897674c1b5c168736c7e90f6","datavalue":{"value":{"entity-type":"item","numeric-id":1105394,"id":"Q1105394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344888$67A2929D-9156-433B-BBAE-D3A30139D3FF","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":"Q1344888$6E4FBD97-7D0C-4DDC-8412-E8E6CA3A4113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e401610c590e23692577c3a280637a4eecc65c32","datavalue":{"value":{"entity-type":"item","numeric-id":1327306,"id":"Q1327306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344888$70CE99D0-BEF5-4C33-9B60-4B565A01105B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c7890edd5aa96546667ca93a6be6975fb87f3a5","datavalue":{"value":{"entity-type":"item","numeric-id":1311407,"id":"Q1311407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344888$6C4168AB-504A-4ACE-9A5E-2450068429DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7115326304bb2dccab5df8459a4c52ca92119231","datavalue":{"value":"https://doi.org/10.1007/bf00881912","type":"string"},"datatype":"url"},"type":"statement","id":"Q1344888$C325476C-91C1-4D29-8929-E6D8B53C45E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"968ffa052c0aaf963f8d0928bb8bc1cf270575ef","datavalue":{"value":"W2058585877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344888$DA111E47-4A75-490F-9B41-93F1A56302E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d7f22852604e0ae2d8adddd43563b80145a7ccb","datavalue":{"value":{"entity-type":"item","numeric-id":4302848,"id":"Q4302848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d2cf579fedda6568b0cad244153a3d04c754aa5","datavalue":{"value":{"amount":"+0.8266704678535461","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":"Q1344888$0ED6AC5B-5040-4693-8A73-3E067DA9EE84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789623959325f74e70fb086616e176ff29dc8255","datavalue":{"value":{"entity-type":"item","numeric-id":1891263,"id":"Q1891263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1984d96931db37eddbe4217822caa5aae98bcd9","datavalue":{"value":{"amount":"+0.8228437304496765","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":"Q1344888$6C6A905E-46A4-4249-93AA-63E68ACB9136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a7d017ad94e7ab8246c4c9197106d5a1070971a","datavalue":{"value":{"entity-type":"item","numeric-id":5738965,"id":"Q5738965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd05175d501fc7ac354275e9417db50e0e297f49","datavalue":{"value":{"amount":"+0.813068687915802","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":"Q1344888$2D1C5FB5-5B0C-47D3-ABD1-0360C90B93F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d81eec7d7b73f4133e9b894d6a40f3dbd8f69c65","datavalue":{"value":{"entity-type":"item","numeric-id":1272349,"id":"Q1272349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"952537ab9553b29df1ccee1f80ad93c53c990e81","datavalue":{"value":{"amount":"+0.7989102602005005","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":"Q1344888$1E731F88-2CF1-4C6F-AE77-53D09BB740A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0bb99ae193d543de930ba3d8898ef455ddf345c","datavalue":{"value":{"entity-type":"item","numeric-id":4278739,"id":"Q4278739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"952537ab9553b29df1ccee1f80ad93c53c990e81","datavalue":{"value":{"amount":"+0.7989102602005005","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":"Q1344888$9E1371C1-7FE7-48A3-845B-5C51BADE73B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Autoepistemic logic of first order and its expressive power","badges":[]}}}}}