×
尼古拉·利昂；帕斯奎尔·鲁洛；弗朗西斯科·斯卡切罗

析取稳定模型：无基础集、不动点语义和计算。 （英语） Zbl 0879.68019号

Inf.计算。 135，No.2，69-112（1997）.
摘要：选言逻辑程序已经成为知识表示和常识推理的有力工具。本文的重点是稳定模型语义，这是目前公认的析取逻辑程序的最广泛语义。在提出析取逻辑程序的无基集的新概念后，我们用无基集给出了稳定模型的两个声明性特征。其中一个表明，稳定模型集与无基础模型族一致（即，如果模型不包含无基础原子，则该模型是稳定的）。另一个证明了稳定模型可以通过其伪文字的一个性质等价地定义，因为模型是稳定的，只要其伪文字集与其最大无根据集重合。然后，我们将建立良好的（{mathcal W}{mathcal-P}）算子推广到析取逻辑程序，给出了析取稳定模型的不动点语义，并给出了计算无函数程序稳定模型的算法。证明了算法的正确性和完备性，并讨论了一些复杂性问题。

引用于43文件

MSC公司：

68N17号 逻辑编程
68立方英尺 知识表示

关键词：

知识表示；常识推理

软件：

萨奇莫；数据日志
PDF格式BibTeX公司 XML格式引用
\textit{N.Leone}等人，Inf.Comput。135，No.2，69--112（1997；Zbl 0879.68019）
全文： 内政部 链接

参考文献：

[1] Apt，K.R。；Bol，R.N.，《逻辑编程与否定：逻辑编程研究》，19/20，9-71（1994）·Zbl 0942.68518号
[2] Baral，C.，《作为正常析取逻辑程序的失败和语义的广义否定》，《计算机科学讲义》，624309-319（1991）
[3] Baral，C。；Gelfond，M.，《逻辑编程和知识表示》，J.Logic programming，19/20，73-148（1994）·Zbl 0820.68028号
[6] 贝尔，C。；Nerode，A。；Ng、R。；Subrahmanian，V.S.，计算非单调演绎数据库的混合整数编程方法，J.Assoc.Compute。机器。，41, 1178-1215 (1994) ·Zbl 0830.68039号
[7] Ben-Eliyahu，R。；Dechter，R.，选言逻辑程序的命题语义，数学年鉴。Artif公司。智能。，12, 53-87 (1994) ·Zbl 0858.68012号
[11] Buccafurri，F。；塞拉利昂，北卡罗来纳州。；Rullo，P.，《继承与真否定逻辑编程的稳定模型及其计算》，《逻辑编程杂志》，27，5-43（1996）·Zbl 0874.68048号
[14] Davis，M.博士。；Putnam，H.，《量化理论的计算程序》，J.Assoc.Compute。马赫数，7201-215（1960）·Zbl 0212.34203号
[17] 艾特，T。；Gottlob，G.，《析取逻辑编程的计算成本：命题案例》，《数学年鉴》。Artif公司。智力。，15, 289-323 (1995) ·Zbl 0858.68016号
[18] 艾特，T。；Gottlob，G。；Mannila，H.，《向数据日志添加析取》，美国计算机学会PODS-94267-278（1994）
[19] 艾特，T。；Gottlob，G。；Mannila，H.，分离数据日志，ACM Trans。数据库系统（1997）
[21] 艾特，T。；塞拉利昂，北卡罗来纳州。；Saccá，D.，关于析取演绎数据库的部分语义，Ann.Math。Artif公司。智力。(1997) ·Zbl 0880.68029号
[22] Elkan，C.，《非单调真理维护系统的理性重建》，Artif。智力。，43, 219-234 (1990) ·Zbl 0717.68081号
[23] Fernández，J.A。；Lobo，J。；Minker，J。；Subrahmanian，V.S.，析取LP+完整性约束=稳定模型语义，数学年鉴。和Artif。智力。，8, 449-474 (1993) ·Zbl 1034.68507号
[26] Fernández，J.A。；Minker，J.，选言理论完美模型的自下而上计算，《逻辑编程》，25，33-51（1995）·Zbl 0871.68045号
[27] Fitting，M.，稳定模型族，《逻辑编程》，17，197-225（1993）·Zbl 0798.68096号
[30] Gelfond，M。；Lifschitz，V.，逻辑程序和析取数据库中的经典否定，新一代计算。，9, 365-385 (1991) ·Zbl 0735.68012号
[34] 井上，K。；Sakama，C.，诱因逻辑程序的不动点特征，《逻辑编程》，27，107-136（1996）·Zbl 0874.68051号
[35] 塞拉利昂，北卡罗来纳州。；Rullo，P.，《DATALOG查询的可靠语义的安全计算》，Inform。系统，17，17-31（1992）·Zbl 0752.68027号
[37] Lobo，J。；Minker，J。；Rajasekar，A.，《析取逻辑程序设计基础》（1992），麻省理工学院出版社：麻省理学院出版社剑桥·兹比尔0900.68140
[38] Loveland，D.W。；Reed，D.W.，《技术报告》，CS-1989-14（1989）
[39] Loveland，D.W。；里德·D·W。；Wilson，D.S.，SATCHMORE:SATCHMO with RElevancy，J.自动化推理，14325-351（1995）·Zbl 0939.68824号
[42] 马雷克·W。；Subrahmanian，V.S.，《通用逻辑程序的稳定语义、支持语义、默认语义和自认知语义之间的关系》，Theoret。计算。科学。，103, 365-386 (1992) ·Zbl 0753.68062号
[43] 马雷克·W。；Truszczyñski，M.，自认知逻辑，J.协会计算。机器。，38, 588-619 (1991) ·Zbl 0799.68176号
[45] Minker，J。；Rajasekar，A.，析取逻辑程序的不动点语义，逻辑编程，9，45-74（1990）·Zbl 0713.68016号
[49] Przymusinski，T.，《关于演绎数据库和逻辑编程的声明语义》，（Minker，J.，《演绎数据库与逻辑编程的基础》（1988），Morgan Kaufman:Morgan Koufman Washington），193-216·Zbl 0726.68067号
[50] Przymusinski，T.，析取程序的稳定语义，新一代计算机。，9, 401-424 (1991) ·Zbl 0796.68053号
[51] Przymusinski，T.，《正常逻辑程序和析取逻辑程序的静态语义》，《数学年鉴》。Artif公司。智力。，第15页（1994年）
[54] Reiter，R.，《关于封闭世界数据库》（Gallaire，H.；Minker，J.，《逻辑和数据库》（1978年），Plenum:Plenum New York），第55-76页
[56] Ross，K.A.，《析取逻辑程序的良好语义》（Kim，W.；Nicolas，J.-M.；Nishio，S.，《演绎和面向对象数据库》（1990），Elsevier:Elsevier Amsterdam），385-402
[60] 塞佩尔，D。；Minker，J。；Ruiz，C.，析取逻辑程序的模型生成和状态生成，《逻辑编程杂志》（1997）·Zbl 0882.68033号
[61] 鲁伊斯，C。；Minker，J.，《计算扩展析取逻辑程序的稳定和部分稳定模型》，《计算机科学讲义》，927205-229（1995）
[63] Subrahmanian，V.S。；Nau，D。；Vago，C.，WFS+分支和绑定=稳定模型，IEEE Trans。知识数据工程，7362-377（1995）
[64] Van Gelder，A。；Ross，K.A。；Schlipf，J.S.，《通用逻辑程序的良好语义》，J.Assoc.Compute。机器。，38, 620-650 (1991) ·兹比尔0799.68045
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。