{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,13]],"date-time":"2023-11-13T09:11:20Z","timestamp":1699866680495},"reference-count":40,"publisher":"Institute of Philosophy, Russian Academy of Sciences","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["LI"],"abstract":"<jats:p>\u00a0We argue that under the stable model semantics\u00a0default negation can be read as explicit negation with update. We show\u00a0that dynamic logic programming which is based on default negation,\u00a0even in the heads, can be interpreted in a variant of updates with\u00a0explicit negation only. As corollaries, we get an easy description of\u00a0default negation in generalized and normal logic programming where\u00a0initially negated literals are updated. These results are discussed\u00a0with respect to the understanding of negation in logic.<\/jats:p>","DOI":"10.21146\/2074-1472-2021-27-1-64-81","type":"journal-article","created":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T10:29:49Z","timestamp":1638181789000},"page":"64-81","source":"Crossref","is-referenced-by-count":0,"title":["Default Negation as Explicit Negation plus Update"],"prefix":"10.21146","volume":"27","author":[{"given":"Reinhard","family":"Kahle","sequence":"first","affiliation":[]}],"member":"8729","published-online":{"date-parts":[[2021,5,27]]},"reference":[{"key":"1860","doi-asserted-by":"crossref","unstructured":"Alferes et al., 2000 \u2013 Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H. and Przymusinski, T.C. \u201cDynamic Updates of Non-Monotonic Knowledge Bases\u201d, The Journal of Logic Programming, 2000, Vol. 45, No. 1\u20132, pp. 43\u201370.","DOI":"10.1016\/S0743-1066(99)00065-5"},{"key":"1861","doi-asserted-by":"crossref","unstructured":"Banti et al., 2004 \u2013 Banti, F., Alferes, J.J. and Brogi, A. \u201cWell Founded Semantics for Logic Program Updates\u201d, in: Advances in Arti\ufb01cial Intelligence \u2013 IBERAMIA 2004, Volume 3315 of Lecture Notes in Computer Science, ed. by Chr. Lema1tre, C.A. Reyes, and J.A. Gonz\u00b4alez. Springer, 2004, pp. 397\u2013407.","DOI":"10.1007\/978-3-540-30498-2_40"},{"key":"1862","doi-asserted-by":"crossref","unstructured":"Bidoit and Froidevaux, 1991 \u2013 Bidoit, N., and Froidevaux, C. \u201cGeneral logic databases and programs: Default logic semantics and strati\ufb01cation\u201d, Information and Computation, 1991, Vol. 91, No. 1, pp. 15\u201354.","DOI":"10.1016\/0890-5401(91)90073-B"},{"key":"1863","unstructured":"Buccafurri et al., 1999 \u2013 Buccafurri, F., Faber, W. and Leone, N. \u201cDisjunctive Logic Programs with Inheritance\u201d, in: Proceedings of the 1999 International Conference on Logic Programming (ICLP-99), ed. by D. De Schreye. Cambridge: MIT Press, 1999, pp. 79\u201393."},{"key":"1864","doi-asserted-by":"crossref","unstructured":"Clark, 1978 \u2013 Clark, K.L. \u201cNegation as failure\u201d, in: Logic and Data Bases, ed. by H. Gallaire and J. Minker. Plenum, 1978, pp. 293\u2013322.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"1865","unstructured":"Dam\u00b4asio and Pereira, 1996 \u2013 Dam\u00b4asio, C.V., and Pereira, L.M. \u201cDefault Negation in the heads: Why not?\u201d, in: Extensions of Logic Programming, ELP\u201996, ed. by R. Dyckho\ufb00, H. Herre, and P. Schroeder-Heister, Volume 1050 of Lecture Notes in Arti\ufb01cial Intelligence. Springer, 1996, pp. 103\u2013117."},{"key":"1866","doi-asserted-by":"crossref","unstructured":"Eiter et al., 2002 \u2013 Eiter, Th., Fink, M., Sabbatini, G. and Tompits, H. \u201cOn properties of update sequences based on causal rejection\u201d, Theory and Practice of Logic Programming, 2002, Vol. 2, No. 6, pp. 711\u2013767.","DOI":"10.1017\/S1471068401001247"},{"key":"1867","unstructured":"Eshghi and Kowalski, 1989 \u2013 Eshghi, K., and Kowalski, R.A. \u201cAbduction compared with negation as failure\u201d, in: Proc. 6th International Conference on Logic Programming, ed. by G. Levi and M. Martelli. MIT Press, 1989, pp. 234\u2013255."},{"key":"1868","doi-asserted-by":"crossref","unstructured":"Gelder, et al., 1991 \u2013 Gelder, A. Van, Ross, K.A. and Schlipf, J.S. \u201cThe well-founded semantics for general logic programs\u201d, Journal of the ACM, 1991, Vol. 38, No. 3, pp. 620\u2013650.","DOI":"10.1145\/116825.116838"},{"key":"1869","unstructured":"Gelfond and Lifschitz, 1988 \u2013 Gelfond, M., and Lifschitz, V. \u201cThe Stable Model Semantics for Logic Programming\u201d, in: 5th International Conference on Logic Programming, ed. by R. Kowalski and K. A. Bowen. MIT Press, 1988, pp. 1070\u20131080."},{"key":"1870","unstructured":"Gelfond and Lifschitz, 1998 \u2013 Gelfond, M., and Lifschitz, V. \u201cAction Languages\u201d, Electronic Transactions on Arti\ufb01cial Intelligence, 1998, Vol. 2, pp. 193\u2013210."},{"key":"1871","doi-asserted-by":"crossref","unstructured":"Gelfond and Lifschitz, 1991 \u2013 Gelfond, M., and Lifschitz, V. \u201cClassical negation in logic programs and disjunctive databases\u201d, New Generation Computing, 1991, Vol. 9, No. 3\u20134, pp. 365\u2013385.","DOI":"10.1007\/BF03037169"},{"key":"1872","doi-asserted-by":"crossref","unstructured":"Inoue and Sakama, 1998 \u2013 Inoue, K., and Sakama, C. \u201cNegation as failure in the head\u201d, Journal of Logic Programming, 1998, Vol. 35, pp. 39\u201378.","DOI":"10.1016\/S0743-1066(97)10001-2"},{"key":"1873","unstructured":"Jonker, 1994 \u2013 Jonker, C. \u201cConstraints and Negations in Logic Programming\u201d, Ph.D. diss., Department of Philosophy, Utrecht University, 1994."},{"key":"1874","unstructured":"Kakas et al., 1998 \u2013 Kakas, A.C., Kowalski, R.A. and Toni, F. \u201cThe Role of Abduction\u201d, in: Handbook of Logic in Arti\ufb01cial Intelligence and Logic Programming, ed. by D.M. Gabbay, C.J. Hogger, and J.A. Robinson, Volume 5: Logic Programming. Oxford, 1998, pp. 235\u2013324."},{"key":"1875","unstructured":"Leite, 1997 \u2013 Leite, J.A. \u201cLogic Program Updates\u201d, Master\u2019s thesis, Dept. de Inform\u00b4atica, Faculdade de Ci\u02c6encias e Tecnologia, Universidade Nova de Lisboa, 1997."},{"key":"1876","unstructured":"Leite, 2003 \u2013 Leite, J.A. Evolving Knowledge Bases. Volume 81 of Frontiers in Arti\ufb01cial Intelligence and Applications. IOS Press, 2003."},{"key":"1877","doi-asserted-by":"crossref","unstructured":"Leite, 2004 \u2013 Leite, J.A. \u201cOn Some Di\ufb00erences Between Semantics of Logic Program Updates\u201d, Advances in Arti\ufb01cial Intelligence \u2013 IBERAMIA 2004, Volume 3315 of Lecture Notes in Computer Science, ed. by Chr. Lema1tre, C.A. Reyes, and J.A. Gonz\u00b4alez. Springer, 2004, pp. 375\u2013385.","DOI":"10.1007\/978-3-540-30498-2_38"},{"key":"1878","doi-asserted-by":"crossref","unstructured":"Leite and Pereira, 1998a \u2013 Leite, J.A., and Pereira, L.M. \u201cGeneralizing updates: from models to programs\u201d, LPKR\u201997: ILPS\u201997 workshop on Logic Programming and Knowledge Representation. Springer, 1998. pp. 224\u2013246.","DOI":"10.1007\/BFb0054796"},{"key":"1879","unstructured":"Leite and Pereira, 1998b \u2013 Leite, J.A., and Pereira, L.M. \u201cIterated Logic Program Updates\u201d, in: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming (JICSLP-98), ed. by J. Ja\ufb00ar. Cambridge: MIT Press, 1998, pp. 265\u2013278."},{"key":"1880","unstructured":"Lifschitz, 1996 \u2013 Lifschitz, V. \u201cFoundations of logic programming\u201d, in: Principles of Knowledge Representation, ed. by G. Brewka. Stanford, California: CSLI, 1996, pp. 69\u2013128."},{"key":"1881","doi-asserted-by":"crossref","unstructured":"Lifschitz et al., 2001 \u2013 Lifschitz, V., Pearce, D. and Valverde, A. \u201cStrongly equivalent logic programs\u201d, ACM Transactions on Computational Logic, 2001, Vol. 2, pp. 526\u2013541.","DOI":"10.1145\/383779.383783"},{"key":"1882","unstructured":"Lifschitz and Woo, 1992 \u2013 Lifschitz, V., and Woo, T. \u201cAnswer sets in general nonmonotonic reasoning (Preliminary report)\u201d, in: Principles of Knowledge Representation and Reasoning (KR92), ed. by B. Nebel, C. Rich, and W. Swartout. Morgan-Kaufmann, 1992, pp. 603\u2013614."},{"key":"1883","doi-asserted-by":"crossref","unstructured":"Minker, 1994 \u2013 Minker, J. \u201cOverview of disjunctive logic progamming\u201d, Annals of Mathematics and Arti\ufb01cial Intelligence, 1994, Vol. 12, pp. 1\u201324.","DOI":"10.1007\/BF01530759"},{"key":"1884","doi-asserted-by":"crossref","unstructured":"Odintsov and Pearce, 2005 \u2013 Odintsov, S., and Pearce, D. \u201cRoutley Semantics for Answer Sets\u201d, in: Logic Programming and Nonmonotonic Reasoning, ed. by Ch. Baral, G. Greco, N. Leone, and G. Terracina, Volume 3662 of Lecture Notes in Arti\ufb01cial Intelligence. Springer, 2005, pp. 343\u2013355.","DOI":"10.1007\/11546207_27"},{"key":"1885","doi-asserted-by":"crossref","unstructured":"Pearce, 1997 \u2013 Pearce, D. \u201cA new logical characterization of stable models and answer sets\u201d, in: Non-Monotonic Extensions of Logic Programming, ed. by J. Dix, L.M. Pereira, and T. Przymusinski, Volume 1216 of Lecture Notes in Computer Science. Springer, 1997, pp. 57\u201370.","DOI":"10.1007\/BFb0023801"},{"key":"1886","doi-asserted-by":"crossref","unstructured":"Pearce, 1999 \u2013 Pearce, D. \u201cFrom here to there: Stable negation in logic programming\u201d, in: What is Negation?, ed. by D. Gabbay and H. Wansing. Kluwer, 1999, pp. 161\u2013181.","DOI":"10.1007\/978-94-015-9309-0_8"},{"key":"1887","doi-asserted-by":"crossref","unstructured":"Pearce, 2006 \u2013 Pearce, D. \u201cEquilibrium logic\u201d, Annals of Mathematics and Arti\ufb01cial Intelligence, 2006, Vol. 47, pp. 3\u201341.","DOI":"10.1007\/s10472-006-9028-z"},{"key":"1888","doi-asserted-by":"crossref","unstructured":"Poole, 1994 \u2013 Poole, D. \u201cDefault Logic\u201d, in: Handbook of Logic in Arti\ufb01cial Intelligence and Logic Programming, ed. by Dov Gabbay, C.J. Hogger, and J.A. Robinson, Vol. 3. Oxford, 1994, pp. 189\u2013215.","DOI":"10.1093\/oso\/9780198537472.003.0004"},{"key":"1889","doi-asserted-by":"crossref","unstructured":"Przymusinski and Turner, 1997 \u2013 Przymusinski, T.C., and Turner, H. \u201cUpdate by means of inference rules\u201d, The Journal of Logic Programming, 1997, Vol. 20, pp. 125\u2013143.","DOI":"10.1016\/S0743-1066(96)00091-X"},{"key":"1890","doi-asserted-by":"crossref","unstructured":"Reiter, 1978 \u2013 Reiter, R. \u201cOn closed world data bases\u201d, in: Logic and Data Bases, ed. by H. Gallaire and J. Minker. Plenum, 1978, pp. 55\u201376.","DOI":"10.1007\/978-1-4684-3384-5_3"},{"key":"1891","doi-asserted-by":"crossref","unstructured":"Reiter, 1980 \u2013 Reiter, R. \u201cA Logic for Default-Reasoning\u201d, Arti\ufb01cial Intelligence, 1980, Vol. 13, pp. 81\u2013132.","DOI":"10.1016\/0004-3702(80)90014-4"},{"key":"1892","doi-asserted-by":"crossref","unstructured":"Sakama and Inoue, 1999 \u2013 Sakama, C., and Inoue, K. \u201cUpdating Extended Logic Programs through Abduction\u201d, Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-99), Volume 1730 of LNAI, ed. by M. Gelfond, N. Leone, and G. Pfeifer. Berlin: Springer, 1999, pp. 147\u2013161.","DOI":"10.1007\/3-540-46767-X_11"},{"key":"1893","doi-asserted-by":"crossref","unstructured":"Shen and Eiter, 2019 \u2013 Shen, Y.-D., and Eiter, T. \u201cDetermining inference semantics for disjunctive logic programs\u201d, Arti\ufb01cial Intelligence, 2019, Vol. 277, pp. 103\u2013165.","DOI":"10.1016\/j.artint.2019.103165"},{"key":"1894","doi-asserted-by":"crossref","unstructured":"Shepherdson, 1998 \u2013 Shepherdson, J.C. \u201cNegation as Failure, Completion and Strati\ufb01cation\u201d, in: Handbook of Logic in Arti\ufb01cial Intelligence and Logic Programming, ed. by D.M. Gabbay, C.J. Hogger, and J.A. Robinson, Vol. 5: Logic Programming. Oxford, 1998, pp. 355\u2013419.","DOI":"10.1093\/oso\/9780198537922.003.0009"},{"key":"1895","doi-asserted-by":"crossref","unstructured":"Slota et al., 2014 \u2013 Slota, M., Bal\u00b4a\u02c7z, M., and Leite, J. \u201cSupporting Strong and Default Negation in Answer-Set Program Updates\u201d, Advances in Arti\ufb01cial Intelligence IBERAMIA 2014, Volume 8864 of Lecture Notes in Computer Science, ed. by A. Bazzan and K. Pichara. Springer, 2014, pp. 41\u201353.","DOI":"10.1007\/978-3-319-12027-0_4"},{"key":"1896","unstructured":"Slota and Leite, 2010 \u2013 Slota, M., and Leite, J. \u201cOn Semantic Update Operators for Answer-Set Programs\u201d, in: Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Arti\ufb01cial Intelligence. IOS Press, 2010, pp. 957\u2013962."},{"key":"1897","doi-asserted-by":"crossref","unstructured":"Slota and Leite, 2014 \u2013 Slota, M., and Leite, J. \u201cThe Rise and Fall of Semantic Rule Updates Based on SE-Models\u201d, Theory and Practice of Logic Programming, 2014, Vol. 14, pp. 869\u2013907.","DOI":"10.1017\/S1471068413000100"},{"key":"1898","doi-asserted-by":"crossref","unstructured":"Turner, 2003 \u2013 Turner, H. \u201cStrong equivalence made easy: nested expressions and weight constraints\u201d, Theory and Practice of Logic Programming, 2003, Vol. 3, pp. 609\u2013622.","DOI":"10.1017\/S1471068403001819"},{"key":"1899","unstructured":"Zhang and Foo, 1998 \u2013 Zhang, Y., and Foo, N.Y. \u201cUpdating Logic Programs\u201d, in: Proceedings of the 13th European Conference on Arti\ufb01cial Intelligence (ECAI-98), ed. by Henri Prade. Chichester: John Wiley & Sons, 1998, pp. 403\u2013407."}],"container-title":["Logical Investigations"],"original-title":[],"link":[{"URL":"https:\/\/logicalinvestigations.ru\/article\/download\/603\/582","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/logicalinvestigations.ru\/article\/download\/603\/582","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,13]],"date-time":"2023-11-13T08:35:54Z","timestamp":1699864554000},"score":1,"resource":{"primary":{"URL":"https:\/\/logicalinvestigations.ru\/article\/view\/603"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,27]]},"references-count":40,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2021,8,25]]}},"URL":"https:\/\/doi.org\/10.21146\/2074-1472-2021-27-1-64-81","relation":{},"ISSN":["2413-2713","2074-1472"],"issn-type":[{"value":"2413-2713","type":"electronic"},{"value":"2074-1472","type":"print"}],"subject":[],"published":{"date-parts":[[2021,5,27]]}}}