×
费利西达·阿瓜多；佩德罗·卡巴拉尔；马丁·迪格斯；吉尔伯托·佩雷斯；康塞普西翁·维达尔

具有过去运算符的时间平衡逻辑。 （英语） Zbl 1398.03077号

J.应用。非类别。日志。 27、第3-4、161-177号（2017）.
摘要：在本文中，我们研究了在时间均衡逻辑（TEL）中引入模态过去时态算子，这是一种混合形式主义，它将线性时间模态和在稳定模型下解释的逻辑程序混合在一起，并根据均衡逻辑对其进行了表征。我们表明，Kamp的翻译也可以用于将带有过去运算符的TEL的新扩展转换为量化平衡逻辑。此外，我们还提供了一种删除过去运算符的方法，即用新的辅助原子替换过去的子公式，从而获得与原始字母表模数相同的等效公式。

引用于2文件

MSC公司：

03B44号 时间逻辑
68N17号 逻辑编程
68立方英尺 知识表示

关键词：

知识表示；非单调推理；答案集编程；平衡逻辑；时间平衡逻辑；时序逻辑

软件：

STeLP公司
PDF格式BibTeX公司 XML格式引用
\textit{F.Aguado}等人，J.Appl。非类别。日志。27、编号3--4、161-177（2017；Zbl 1398.03077）
全文： 内政部

参考文献：

[1] Abadi，M.和Manna，Z.（1989年）。时序逻辑编程。符号计算杂志,8, 277-295. ·Zbl 0691.03015号
[2] Aguado，F.、Cabalar，P.、Diéguez，M.、Pérez，G.和Vidal，C.（2013）。时间均衡逻辑：一项调查。应用非经典逻辑杂志,23(1–2), 2-24. ·兹比尔1400.68199
[3] Aguado，F.、Cabalar，P.、Pérez，G.和Vidal，C.（2011年）。可分割时序逻辑程序的循环公式。第十一届逻辑编程与非单调推理国际会议论文集（LPNMR 2011）计算机科学课堂讲稿（第6645卷，第80-92页）。加拿大温哥华：斯普林格·Zbl 1327.68058号
[4] Balbiani，P.和Diéguez，M.（2016）。这里和那里都是暂时的。第十五届欧洲人工智能逻辑会议记录（JELIA 2016）计算机科学课堂讲稿（第10021卷，第81-96页）。塞浦路斯拉纳卡：斯普林格·Zbl 1483.68365号
[5] Baudinet，M.（1992年）。时序逻辑编程完备性的简单证明。在L.Fariñas del Cerro和M.Penttonen（编辑）中，编程的内涵逻辑（第51-83页）。牛津：克拉伦登出版社。
[6] Bozzelli，L.和Pearce，D.（2016）。论时间均衡逻辑的表现性。第十五届欧洲人工智能逻辑会议记录（JELIA 2016）（第159-173页）。牛津：塞浦路斯拉纳卡·Zbl 1483.68372号
[7] Cabalar，P.（2015）。时间理论的稳定模型——邀请演讲。第十三届逻辑编程与非单调推理国际会议论文集（LPNMR 2015）人工智能课堂讲稿（第9345卷，第1-13页）。肯塔基州列克星敦：施普林格·Zbl 1467.68084号
[8] Cabalar，P.和Diéguez，M.（2011年）。STeLP-一种用于临时答案集编程的工具。第十一届逻辑编程与非单调推理国际会议论文集（LPNMR 2011）计算机科学课堂讲稿（第6645卷，第370-375页）。加拿大温哥华：斯普林格。
[9] Cabalar，P.和Diéguez，M.（2014）。非单调时间理论的强等价性。第十四届知识表示与推理原则国际会议记录（KR 2014）（第598-601页）。奥地利维也纳：AAAI出版社。
[10] Cabalar，P.&Pérez，G.（2007年）。时间均衡逻辑：第一种方法。第十一届国际计算机会议记录计算机课堂讲稿（第4739卷，第241-248页）。西班牙大加那利拉斯帕尔马斯：斯普林格·兹比尔1394.03032
[11] Fariñas del Cerro，L.（1986）。MOLOG：用模式逻辑扩展PROLOG的系统。新一代计算,4, 35-50. ·Zbl 0598.68063号
[12] Fariñas del Cerro，L.&Raggio，A.R.（1983）。直觉模态逻辑的一些结果。逻辑与分析,26, 219-224. ·Zbl 0544.03001号
[13] Ferraris，P.、Lee，J.和Lifschitz，V.（2007）。关于稳定模型的新观点。第20届国际人工智能联合会议记录（IJCAI 2007）（第372-379页）。印度海得拉巴：摩根·考夫曼出版社。
[14] Fischer Servi，G.（1977年）。基于直觉的模态逻辑。Studia Logica公司,36, 141-149. ·Zbl 0364.02015
[15] Gabbay，D.M.（1987）。陈述性过去和命令性未来：交互式系统的可执行时态逻辑。规范中的时间逻辑第一次会议记录（TLS’1987）计算机科学讲义第398卷（第409-448页）。英国奥尔特林查姆：斯普林格·弗拉格。
[16] Gabbay，D.M.（1987年）。模态和时序逻辑编程。在A.Galton（编辑）中，时态逻辑及其应用（第197-237页）。加州圣地亚哥：学术出版社专业版，第6章·Zbl 0662.03016号
[17] Gabbay，D.M.、Pnueli，A.、Shelah，S.和Stavi，J.（1980）。关于公平的时间分析。第七届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录（POPL'80）（第163-173页）。纽约：ACM。
[18] Gebser，M.，Grote，T.，Kaminski，R.，Obermeier，P.，Sabuncu，O.&Schaub，T.答案集编程流推理：初步报告。第十三届知识表示与推理原理国际会议记录（KR 2012）（第613-617页）。意大利罗马：AAAI出版社。
[19] Gebser，M.、Sabuncu，O.和Schaub，T.（2011年）。基于增量答案集编程的有限模型计算系统。人工智能通信,24, 195-212. ·Zbl 1215.68209号
[20] Gelfond，M.和Lifschitz，V.（1988年）。逻辑编程的稳定模型语义。R.A.Kowalski和K.A.Bowen（编辑），逻辑程序设计：第五届国际会议和研讨会论文集（第2卷，第1070-1080页）。马萨诸塞州剑桥：麻省理工学院出版社。
[21] Heyting，A.（1930年）。直觉主义逻辑规范。Sitzungsberichte der Preussischen Akademie der Wissenschaften，Physikalisch-mathematische Klasse,42-56. ·JFM 56.0823.01号机组
[22] Kamp，J.A.（1968年）。时态逻辑与线性序理论（博士论文）。加州大学洛杉矶分校。
[23] Marek，V.和Truszczynski，M.（1999）。稳定模型和替代逻辑编程范式（第169-181页）。柏林，海德堡：斯普林格·弗拉格出版社。
[24] Markey，N.（2003）。过去的时间逻辑以指数形式更加简洁。EATCS公告,79, 122-128. ·Zbl 1169.03332号
[25] Morgenstern，L.（2014）。描述和推理时间旅行叙事：基本概念。第十四届知识表示与推理原则国际会议记录（KR 2014）（第642-645页）。奥地利维也纳：AAAI出版社。
[26] Niemelä，I.（1999）。具有稳定模型语义的逻辑程序作为约束编程范式。数学与人工智能年鉴,25，第241-273页·Zbl 0940.68018号
[27] Nonnengart，A.和Weidenbach，C.（2001）。计算小句范式。在A.Robinson和A.Voronkov（编辑）中，自动推理手册（第2卷，第335-367页）。阿姆斯特丹和剑桥：爱思唯尔和麻省理工学院出版社·兹伯利0992.03018
[28] Orgun，M.A.和Ma，W.（1994年）。时序和模态逻辑编程概述。在D.M.Gabbay和H.J.Ohlbach（编辑）中，时间逻辑计算机科学课堂讲稿（第827卷，第445-479页）。柏林，海德堡：施普林格·Zbl 0949.68513号
[29] Orgun，M.A.和Wadge，W.W.（1992）。时序逻辑编程的理论与实践。在L.Fariñas del Cerro和M.Penttonen（编辑）中，编程的内涵逻辑（第21-50页）。牛津：克拉伦登出版社。
[30] Pearce，D.（1997）。稳定模型和答案集的新逻辑特征。逻辑程序设计非单调扩展（NMELP'96）论文选集人工智能课堂讲稿（第1216卷，第57-70页）。德国巴德·洪内夫：斯普林格·弗拉格。
[31] Pearce，D.和Valverde，A.（2008年）。量化平衡逻辑和答案集程序的基础。第24届逻辑程序设计国际会议记录（ICLP 2008）计算机科学课堂讲稿（第5366卷，第546-560页）。意大利乌迪内：施普林格·Zbl 1185.68175号
[32] Pnueli，A.（1977年）。程序的时序逻辑。第18届计算机科学基础年度研讨会论文集（SFCS'77）（第46-57页）。华盛顿特区：IEEE计算机学会出版社。
[33] Tseitin，G.S.（1968年）。关于命题演算中推导的复杂性。Zapiski nauchnykh种子选手LOMI,8, 234-259. ·Zbl 0197.00102号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。