×
奇塔·R·巴拉尔。;苏布拉曼尼亚，V.S。

逻辑程序和缺省逻辑的稳定和可拓类理论。 （英语） Zbl 0763.03017号

J.汽车。推理 第8期，第3期，345-366页（1992年）.
总结：稳定模型语义[参见。M.Gelfond先生和V.利夫希茨，“逻辑编程的稳定模型语义，见：Proc.5th Int.Conf.Symp.logic programming（R.A.Kowalski和K.A.Bowen（eds.）），西雅图，1988年，1070-1080（1988）]因为逻辑程序的问题是程序可能并不总是有稳定的模型。同样，违约理论也存在这样一个问题，即它们并不总是有外延。在这种情况下，非单调推理的这两种形式都没有足够的语义。在本文中，我们提出了一种新的思想——默认逻辑的扩展类和逻辑程序的稳定类。结果表明，扩展类和稳定类语义分别扩展了扩展和稳定模型语义。这使我们能够对不一致的默认理论以及不一致完成的逻辑程序进行推理。我们的工作扩展了W.马雷克和M.Truszczynski先生[“逻辑程序和缺省理论的稳定语义，见：Proc.NACLP 89，243-256（1989）]，与逻辑编程和缺省逻辑相关。

引用于17文件

MSC公司：

03B60号 其他非经典逻辑
03B70号 计算机科学中的逻辑
68N17号 逻辑编程
68问题55 计算理论中的语义学

关键词：

稳定模型语义;非单调推理;默认逻辑的扩展类;逻辑程序的稳定类;不一致的违约理论;完成不一致的逻辑程序
PDF格式BibTeX公司 XML格式引用
\textit{C.R.Baral}和\textit{V.S.Subrahmanian}，J.Autom。推理8，No.3，345--366（1992；Zbl 0763.03017）
全文： 内政部

参考文献：

[1] M.Gelfond和V.Lifschitz，“逻辑编程的稳定模型语义”，R.A.Kowalski和K.A.Bowen（编辑），Proc。第五届逻辑编程国际会议和研讨会，第1070–1080页，华盛顿州西雅图，1988年8月15–19日。
[2] W.Marek和M.Truszczynski，“逻辑程序和默认理论的稳定语义”，《NACLP 89论文集》，第243-256页（1989年）。
[3] W.Marek和V.S.Subrahmanian，“一般逻辑程序的稳定支持语义、默认语义和自认知语义之间的关系”，技术报告182-88，肯塔基大学计算机科学系，肯塔基州列克星敦，1988年。出现在理论计算机科学。初步版本出现在：Proc。第六届逻辑编程国际会议，麻省理工学院出版社·Zbl 0753.68062号
[4] T.Przymusinski，“非单调形式主义和逻辑编程”，InProc第六届逻辑编程国际会议，里斯本，第655-674页（1989年）。
[5] T.Przymusinski，“非单调推理和逻辑编程的三值形式化”，《第一届知识表示与推理国际会议论文集》（1989年）·Zbl 0748.03019号
[6] J.You和L.Li，“支持的限制及其与否定逻辑编程的关系”，《北美逻辑编程会议记录》，克利夫兰，第291–312页（1989）。
[7] N.Bidoit和C.Froidevaux，“通用逻辑数据库和程序：默认逻辑语义和分层”，《信息与计算杂志》（1988年）（印刷版）·Zbl 0800.68292号
[8] C.Elkan，“非单调TMS的理性重建”，人工智能（1989）（印刷版）·Zbl 0755.68133号
[9] M.Gelfond，“关于分层自认知理论”，InProc AAAI-87，第207-211页（1987年）。
[10] J.W.Lloyd，《逻辑编程基础》，施普林格出版社，第二版（1987年）·兹比尔0668.68004
[11] M.Fitting，“逻辑程序的Kripke-Kleene语义”，《逻辑编程杂志》3，93–114（1986）·Zbl 0598.68064号 ·doi:10.1016/0743-1066（86）90017-8
[12] H.Geffner，“默认推理、最小化和一致性”，InProc。第一届知识表示与推理国际会议，第137-147页（1989年）·Zbl 0709.68083号
[13] C.Baral、J.Lobo和J.Minker，“逻辑程序的广义良好语义”，马里兰州大学计算机科学系技术报告，学院部分Md 20742（1989）·Zbl 1034.68506号
[14] C.Baral、J.Lobo和J.Minker，“逻辑程序的广义析取完备语义”，马里兰州大学计算机科学系技术报告，马里兰州帕克学院20742（1989）·Zbl 1034.68506号
[15] W.Marek，“自认知逻辑中的稳定理论”，《信息学基础》12，243-254（1989）·Zbl 0673.03016号
[16] T.Przymusinski，“逻辑程序的三值稳定模型和良好模型”，德克萨斯大学埃尔帕索分校计算机科学系技术报告（1990年）·Zbl 0706.68029号
[17] A.Van Gelder、K.Ross和J.S.Schlipf，“通用逻辑程序的无基础集和良好语义”，InProc。第七届数据库系统原理研讨会，第221-230页（1988年）。
[18] R.Reiter，“默认推理的逻辑”，《人工智能》13，81–132（1980）·兹伯利0435.68069 ·doi:10.1016/0004-3702（80）90014-4
[19] KurtKonolige，“关于默认逻辑和自认知逻辑之间的关系”，《人工智能》35，343–382（1988）·Zbl 0647.68088号 ·doi:10.1016/0004-3702（88）90021-5
[20] W.Marek和M.Truszczynski，“关联自认知和默认逻辑”，技术报告，肯塔基大学列克星敦分校计算机科学系（1989年）·Zbl 0706.03024号
[21] W.Marek和M.Truszczynski，“自认知逻辑”，出现在JACM中·Zbl 0799.68176号
[22] K.R.Apt、H.A.Blair和A.Walker，“走向陈述性知识理论”，J.Minker（编辑），演绎数据库和逻辑编程基础，第89-148页。摩根考夫曼出版社。，华盛顿特区（1988年）。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。