×
佩德罗·卡巴拉尔;谢尔盖·奥丁佐夫;大卫·皮尔斯;阿古斯汀·瓦尔弗德

部分平衡逻辑。 （英语） Zbl 1125.68113号

安。数学。Artif公司。智力。 50，编号3-4，305-331（2007）.
摘要：部分平衡逻辑（PEL）是一种新的非单调推理形式主义，它与逻辑编程紧密结合，具有良好的基础和部分稳定的模型语义。特别是，它为这些语义提供了逻辑基础，并扩展了逻辑程序的基本语法。本文描述了PEL，研究了它的一些逻辑性质，并研究了它在析取和嵌套逻辑程序上的行为。此外，我们考虑了PEL的计算特点，并研究了不同的计算方法。

引用于1审查
引用于4文件

MSC公司：

68T27型 人工智能中的逻辑
03B60号 其他非经典逻辑
68N17号 逻辑编程

关键词：

部分平衡逻辑;良好的语义;非经典逻辑;逻辑编程
PDF格式BibTeX公司 XML格式引用
\textit{P.Cabalar}等人，《数学年鉴》。Artif公司。智力。50，编号3--4，305-331（2007；Zbl 1125.68113）
全文： 内政部

参考文献：

[1] Brass，S.，Dix，J.：一种基于展开和自下而上评估的析取语义。在：IFIP 1994大会论文集，FG2研讨会：虚拟逻辑编程和虚拟数据库，第83–91页。斯普林格（1994）
[2] Brass，S.，Dix，J.：通过部分求值表征析取稳定语义。J.日志。程序。30, 207–228 (1997) ·Zbl 0883.68082号 ·doi:10.1016/S0743-1066（96）00115-X
[3] Brass，S.，Dix，J.：析取式基础良好语义的特征：汇合计算和迭代GCWA。J.汽车。原因。20, 143–165 (1998) ·Zbl 0893.68026号 ·doi:10.1023/A:1005952908693
[4] Brass，S.，Dix，J.：基于部分评估的（析取）逻辑程序语义。J.日志。程序。40, 1–46 (1999) ·Zbl 0946.68088号 ·doi:10.1016/S0743-1066（98）10030-4
[5] Brass，S.，Dix，J.，Niemelä，I.，Przymusinski，T.：关于静态和析取良好语义及其计算的等价性。西奥。压缩机。科学。258(1–2), 523–553 (2001) ·Zbl 0973.68132号 ·doi:10.1016/S0304-3975（00）00045-1
[6] Cabalar，P.，Odintsov，S.，Pearce，D.：建立良好语义的逻辑基础。收录于：KR 2006年会议记录，第25-35页。AAAI出版社（2006）
[7] Cabalar，P.，Odintsov，S.，Pearce，D.，Valverde，A.：使用部分平衡逻辑分析和扩展基础良好且部分稳定的语义。收录于：Etalle，S.、Truszczynski，M.（编辑）《2006年ICLP会议录》，LNCS 4079，第346–360页。斯普林格（2006）·Zbl 1131.68369号
[8] Cabalar，P.，Odintsov，S.，Pearce，D.：逻辑程序的有充分基础和部分稳定语义中的强否定。摘自：Simáo Sichman，J.、Coelho，H.、Oliveira Rezende，S.（编辑）《2006年IBERAMIA-SBIA会议记录》，LNCS 4140，第592-601页。斯普林格（2006）
[9] Dix，J.：正常逻辑程序语义的分类理论：I.强属性。芬丹。通知。22(3), 227–255 (1995) ·Zbl 0829.68021号
[10] Dix，J.：正常逻辑程序语义的分类理论：II。弱属性。芬丹。通知。22(3), 257–288 (1995) ·Zbl 0829.68022号
[11] Eiter，T.，Fink，M.，Tompits，H.，Woltran，S.：在统一和强等价下简化逻辑程序。收录于：Lifschitz，V.，Niemelä，I.（编辑）《LPNMR 2004会议录》，LNAI 2923，第87–99页。斯普林格（2004）·兹比尔1122.68369
[12] Eiter，T.，Leone，N.，Saccà，D.：关于析取演绎数据库的部分语义。安。数学。Artif公司。智力。17, 59–96 (1997) ·Zbl 0880.68029号 ·doi:10.1023/A:1018947420290
[13] Eiter，T.，Leone，N.，Saccá，D.：析取演绎数据库部分模型的表达能力和复杂性。西奥。压缩机。科学。206, 181–218 (1998) ·Zbl 0913.68053号 ·doi:10.1016/S0304-3975（97）00129-1
[14] Erdogan，S.T.，Lifschitz，V.：答案集编程中的定义。收录于：Lifschitz，V.，Niemelä，I.（编辑）ICLP 04会议记录，LNAI 2923，第114-126页。斯普林格（2004）·Zbl 1121.68330号
[15] Hähnle，R.：多值逻辑中的自动演绎。计算机科学国际专题丛书第10卷。牛津大学出版社（1994）
[16] Janhunen，T.、Niemelä，I.、Seipel，D.、Simons，P.、You，J.-H.：展开稳定模型语义中的偏爱和析取。ACM事务处理。计算。日志。7(1), 1–37 (2006) ·doi:10.1145/1119439.1119440
[17] Kraus，S.、Lehmann，D.、Magidor，M.：非单调推理、优先模型和累积逻辑。Artif公司。智力。44, 167–207 (1990) ·Zbl 0782.03012号 ·doi:10.1016/0004-3702（90）90101-5
[18] Lifschitz，V.，Turner，H.：分割逻辑程序。摘自：van Hentenryck，P.（编辑）《1994年ICLP会议录》，第23-37页。麻省理工学院出版社（1994）
[19] Lifschitz，V.，Pearce，D.，Valverde，A.：强等价逻辑程序。ACM事务处理。计算。日志。2(4), 526–541 (2001) ·Zbl 1365.68149号 ·数字对象标识代码：10.1145/383779.383783
[20] Lifschitz，V.，Tang，L.R.，Turner，H.：逻辑程序中的嵌套表达式。安。数学。Artif公司。智力。25(3–4), 369–389 (1999) ·Zbl 0940.68075号 ·doi:10.1023/A:1018978005636
[21] 梅金森：累积推理的一般理论。摘自：Reinfrank，M.等人（编辑）《非单调推理》，LNAI 346，第1-18页。斯普林格（1989）·Zbl 0675.03007号
[22] Makinson，D.：非单调推理的一般模式。摘自：Gabbay，D.，Hogger，C.J.，Robinson，J.A.（编辑）《人工智能逻辑手册》。克拉伦登出版社（1994）
[23] Osorio，M.、Navarro，J.、Arrazola，J.：答案集编程中的等效性。摘自：Pettorossi，A.（编辑）《2001年LOPSTR会议录》，LNCS 2372，第57-75页。斯普林格（2001）·Zbl 1073.68586号
[24] 皮尔斯·D·：平衡逻辑。安。数学。Artif公司。智力。47, 3–41 (2006) ·Zbl 1117.03039号 ·doi:10.1007/s10472-006-9028-z
[25] Pearce，D.，de Guzmán，I.P.，Valverde，A.：平衡蕴涵的表格演算。摘自：Dyckhoff，R.（编辑）《TABLEAUX 2000会议录》，LNAI 1847，第352-367页。斯普林格（2000）·Zbl 0963.03045号
[26] Pearce，D.，de Guzmán，I.P.，Valverde，A.：使用符号公式计算平衡模型。摘自：《CL2000会议录》，LNCS 1861，第688–703页。斯普林格（2000）·Zbl 0983.03023号
[27] Pearce，D.，Valverde，A.：平衡逻辑和逻辑程序的统一等价。收录于：Lifschitz，V.，Niemelä，I.（编辑）《LPNMR 2004会议录》，LNAI 2923，第194-206页。斯普林格（2004）·Zbl 1122.68384号
[28] Pereira，L.M.，Alferes，J.J.：明确否定逻辑程序的有根据的语义。摘自：Neumann，B.（编辑）《欧洲人工智能会议》，第102-106页。约翰·威利父子（1992）
[29] Przymusinski，T.：析取程序的稳定语义。新一代。计算。9, 401–424 (1991) ·Zbl 0796.68053号 ·doi:10.1007/BF03037171
[30] Przymusinski，T.：逻辑程序的良好和稳定模型。安。数学。Artif公司。智力。12, 141–187 (1994) ·Zbl 0858.68014号 ·doi:10.1007/BF01530784
[31] 罗特利，R.，罗特利（Routey，V.）：一级蕴涵的语义。Noös 6335-359（1972）·Zbl 0255.02017号
[32] Ruiz，C.，Minker，J.：计算扩展析取逻辑程序的稳定和部分稳定模型。在：逻辑编程的非单调扩展，LNCS 927，第205-229页。斯普林格（1995）
[33] Seipel，D.，Minker，J.，Ruiz，C.：析取演绎数据库的部分稳定模型的表征。在：Int.Logic Programming Symp.中。，第245-259页。麻省理工学院出版社（1997）·Zbl 0944.68049号
[34] Vakarelov，D.：关于带有强否定的构造逻辑的注释。螺柱日志。36, 89–107 (1977) ·Zbl 0387.03026号 ·doi:10.1007/BF02121117
[35] van Gelder，A.，Ross，K.A.，Schlipf，J.S.：通用逻辑程序的无基础集和良好语义。《美国医学会杂志》38（3），620-650（1991）·Zbl 0799.68045号
[36] Wang，K.，Zhou，L.：选言逻辑程序基础良好语义的比较和计算。ACM事务处理。计算。日志。6(2), 295–327 (2005) ·数字对象标识代码：10.1145/1055686.1055690
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。