×
莱因哈德·卡勒

默认否定为显式否定加更新。 （英语） Zbl 07642558号

日志。伊斯斯莱德。 27，第1号，64-81（2021）.
总结：我们认为，在稳定模型语义下，默认否定可以理解为带有更新的显式否定。我们证明了基于默认否定的动态逻辑编程，即使是在头部，也可以在只有显式否定的更新变体中进行解释。作为推论，我们得到了广义逻辑编程和常规逻辑编程中默认否定的简单描述，其中初始否定的文字被更新。这些结果是从逻辑中否定的理解来讨论的。

MSC公司：

03年XX月 数学逻辑和基础

关键词：

默认否定;显性否定;逻辑编程更新
PDF格式BibTeX公司 XML格式引用
\textit{R.Kahle}，日志。伊斯斯莱德。27，编号1，64--81（2021；Zbl 07642558）
全文： 内政部

参考文献：

[1] Alferes等人，2000年——Alferes，J.J.、Leite，J.A.、Pereira，L.M.、Przymusinska，H.和Przimusinski，T.C.《非单调知识库的动态更新》，《逻辑编程杂志》，2000年，第45卷，第1-2期，第43-70页·Zbl 0957.68108号
[2] Banti等人，2004年——Banti，F.、Alferes，J.J.和Brogi，A.《逻辑程序更新的完善语义》，载于：《人工智能进展》——IBERAMIA 2004，计算机科学讲稿第3315卷，Chr编辑。莱马特雷、C.A.雷耶斯和J.A.冈萨雷斯。施普林格，2004年，第397-407页。
[3] Bidoit和Froidevaux，1991年——Bidoit，N.和Froidewaux，C.“通用逻辑数据库和程序：默认逻辑语义和分层”，《信息与计算》，1991年，第91卷，第1期，第15-54页·Zbl 0800.68292号
[4] Buccafurri等人，1999年——Buccafrri，F.、Faber，W.和Leone，N.《继承的析取逻辑程序》，载于：《1999年逻辑程序设计国际会议论文集》（ICLP-99），D.De Schreye编辑。剑桥：麻省理工学院出版社，1999年，第79-93页。
[5] 克拉克，1978年——克拉克，K.L.“否定即失败”，载于《逻辑与数据库》，H.Gallaire和J.Minker主编。全体会议，1978年，第293-322页。
[6] Dam’asio和Pereira，1996年——Dam’assio，C.V.和Pereila，L.M.《头脑中的默认否定：为什么不？》，摘自：《逻辑编程的扩展》，ELP'96年，R.Dyckho ffe，H.Herre和P.Schroeder-Heister主编，《艺术智能课堂笔记》第1050卷。Springer，1996年，第103-117页。
[7] Eiter等人，2002年-Eiter，Th.，Fink，M.，Sabbatini，G.和Tompits，H.“基于因果拒绝的更新序列的性质”，《逻辑编程理论与实践》，2002年，第2卷，第6期，第711-767页·兹比尔1105.68326
[8] Eshghi和Kowalski，1989年——Eshghii，K.和Kowarski，R.A.“拐骗与否定作为失败的比较”，见《程序》。第六届逻辑程序设计国际会议，G.Levi和M.Martelli编辑。麻省理工学院出版社，1989年，第234-255页。
[9] Gelder等人，1991年——Gelder，A.Van，Ross，K.A.和Schlipf，J.S.“通用逻辑程序的基础良好的语义”，《美国计算机学会杂志》，1991年，第38卷，第3期，第620-650页·Zbl 0799.68045号
[10] Gelfond和Lifschitz，1988年——Gelfund，M.和Lifchitz，V.，《逻辑程序设计的稳定模型语义》，收录于：第五届逻辑程序设计国际会议，由R.Kowalski和K.A.Bowen编辑。麻省理工学院出版社，1988年，第1070-1080页。
[11] Gelfond和Lifschitz，1998年——Gelfond.M.和Lifchitz，V.《行动语言》，《人工智能电子交易》，1998年，第2卷，第193-210页。
[12] Gelfond和Lifschitz，1991年——Gelfund，M.和Lifchitz，V.“逻辑程序和析取数据库中的经典否定”，《新一代计算》，1991年，第9卷，第3-4期，第365-385页·Zbl 0735.68012号
[13] Inoue和Sakama，1998年——Inoue，K.和Sakamar，C.“否定是头脑中的失败”，《逻辑编程杂志》，1998年，第35卷，第39-78页·Zbl 0905.68030号
[14] Jonker，1994-Jonker，C.“逻辑编程中的约束和否定”，博士学位。，乌得勒支大学哲学系，1994年。
[15] 卡卡斯等人，1998年-卡卡斯，A.C.，科瓦尔斯基，R.A.和托尼，F.《诱拐的作用》，载于：《人工智能和逻辑编程中的逻辑手册》，由D.M.Gabbay，C.J.Hogger和J.A.Robinson编辑，第5卷：逻辑编程。牛津，1998年，第235-324页。
[16] 莱特，1997年-莱特，J.A.“逻辑程序更新”，硕士论文，信息学系，新里斯本大学，1997年。
[17] Leite，2003年-Leite，J.A.进化知识库。《艺术智能与应用前沿》第81卷。IOS出版社，2003年·Zbl 1056.68138号
[18] Leite，2004-Leite，J.A.“关于逻辑程序更新语义之间的一些差异”，《人工智能进展》，IBERAMIA 2004，计算机科学讲义第3315卷，Chr编辑。莱马特雷、C.A.雷耶斯和J.A.冈萨雷斯。施普林格，2004年，第375-385页。
[19] Leite和Pereira，1998a——Leite，J.A.和Pereila，L.M.“概括更新：从模型到程序”，LPKR’97：ILPS’97逻辑编程和知识表示研讨会。斯普林格，1998年。第224-246页。
[20] Leite和Pereira，1998b-Leite，J.A.和Pereila，L.M.“迭代逻辑程序更新”，摘自：J.Jaff ar1998年逻辑编程联合国际会议和研讨会论文集（JICSLP-98）。剑桥：麻省理工学院出版社，1998年，第265-278页·Zbl 0949.68029号
[21] Lifschitz，1996-Lifschicz，V.“逻辑编程的基础”，收录于：知识表示原理，G.Brewka编辑。加州斯坦福：CSLI，1996年，第69-128页·Zbl 0962.68026号
[22] Lifschitz等人，2001年——Lifschit，V.、Pearce，D.和Valverde，A.“强等价逻辑程序”，《ACM计算逻辑学报》，2001年，第2卷，第526-541页·Zbl 1365.68149号
[23] Lifschitz和Woo，1992年-Lifschicz，V.和Woo，T.“一般非单调推理中的答案集（初步报告）”，收录于：知识表示和推理原理（KR92），由B.Nebel，C.Rich和W.Swartout编辑。Morgan-Kaufmann，1992年，第603-614页。
[24] Minker，1994-Minker，J.“析取逻辑编程概述”，《数学与人工智能年鉴》，1994年，第12卷，第1-24页。
[25] Odintsov和Pearce，2005-Odintsov，S.和Pearce，D.“答案集的Routley语义”，载于：逻辑编程和非单调推理，Ch.Baral、G.Greco、N.Leone和G.Terracina编辑，《人工智能讲义》第3662卷。斯普林格，2005年，第343-355页·Zbl 1152.68416号
[26] 皮尔斯，1997-皮尔斯，D.《稳定模型和答案集的新逻辑表征》，载于：《逻辑编程的非单调扩展》，J.Dix，L.M.Pereira和T.Przymusinski主编，计算机科学讲义第1216卷。施普林格，1997年，第57-70页。
[27] 皮尔斯，1999-皮尔斯，D。“从这里到那里：逻辑编程中的稳定否定”，摘自：什么是否定？，编辑：D.Gabbay和H.Wansing。Kluwer，1999年，第161-181页·Zbl 0978.03027号
[28] 皮尔斯，2006年——皮尔斯，D.“平衡逻辑”，《数学与艺术智能年鉴》，2006年，第47卷，第3-41页·Zbl 1117.03039号
[29] Poole，1994年，D.Poole“默认逻辑”，收录于：《人工智能和逻辑编程中的逻辑手册》，由Dov Gabbay、C.J.Hogger和J.A.Robinson编辑，第3卷。牛津，1994年，第189-215页。
[30] Przymusinski和Turner，1997-Przimusinski，T.C.和Turnor，H.“通过推理规则进行更新”，《逻辑程序设计杂志》，1997年，第20卷，第125-143页·兹伯利0884.68026
[31] Reiter，1978年-Reiter R.“关于封闭世界数据库”，见：逻辑和数据库，H.Gallaire和J.Minker编辑。全体会议，1978年，第55-76页。
[32] Reiter，1980-Reiter R.《默认推理的逻辑》，《人工智能》，1980年，第13卷，第81-132页·Zbl 0435.68069号
[33] Sakama和Inoue，1999-Sakama，C.和Inoue-K.“通过诱拐更新扩展逻辑程序”，第五届逻辑编程和非单调推理国际会议论文集（LPNMR-99），LNAI第1730卷，M.Gelfond，N.Leone和G.Pfeifer编辑。柏林：斯普林格出版社，1999年，第147-161页·Zbl 0952.68052号
[34] Shen和Eiter，2019-Shen，Y.-D.和Eiter-T.“确定析取逻辑程序的推理语义”，《人工智能》，2019年，第277卷，第103-165页·Zbl 1483.68061号
[35] 谢泼德森，1998年-谢泼德逊，J.C.“否定是失败、完成和策略”，载于《人工智能和逻辑编程中的逻辑手册》，由D.M.Gabbay、C.J.Hogger和J.A.Robinson编辑，第5卷：逻辑编程。牛津，1998年，第355-419页·Zbl 0900.68138号
[36] Slota等人，2014年——Slota，M.、Bal´a´z，M.和Leite，J.“在答案集程序更新中支持强否定和默认否定”，《人工智能进展》，IBERAMIA 2014年，计算机科学讲稿第8864卷，a.Bazzan和K.Pichara编辑。施普林格，2014年，第41-53页。
[37] Slota和Leite，2010年——Slota，M.和Leite（J.），“关于答案集程序的语义更新算子”，摘自：2010年ECAI会议记录：第19届欧洲人工智能会议。IOS出版社，2010年，第957-962页·Zbl 1211.68426号
[38] Slota和Leite，2014年——Slota，M.和LeiteJ，“基于SE-Models的语义规则更新的兴衰”，逻辑编程理论与实践，2014年，第14卷，第869-907页·Zbl 1302.68254号
[39] 特纳，2003-特纳，H。“强大的等价性使之变得容易：嵌套表达式和权重约束”，《逻辑编程理论与实践》，2003年，第3卷，第609-622页·Zbl 1079.68017号
[40] Zhang和Foo，1998年-Zhang，Y.和Foo（纽约），“更新逻辑程序”，摘自：第13届欧洲人工智能会议记录（ECAI-98），由Henri Prade编辑。奇切斯特：约翰·威利父子出版社，1998年，第403-407页。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。