×

带变量的时态逻辑程序。 (英语) Zbl 1379.68288号

摘要:在本文中,我们考虑了在时序逻辑程序中引入变量的问题时间均衡逻辑是应答集编程的一个扩展,用于处理线性时间模式运算符。为此,我们提供了时间均衡逻辑的一阶版本的定义,该版本共享一阶线性时间时序逻辑的语法,但具有不同的语义,选择了一些我们称为线性时间逻辑的模型时间稳定模型然后,我们考虑一个子类理论(称为可拆分时态逻辑程序)其接近于通常的逻辑程序,但允许限制使用时间运算符。在这种情况下,我们提供了安全变量足以显示领域独立性也就是说,在宇宙中添加任意元素不会改变时间稳定模型集。最后,我们提出了一种计算可导出事实的方法,方法是通过构造一个带有变量的非临时逻辑程序,并将其输入到标准的答案集编程基础中。接地者提供的信息用于生成地面时间规则子集,该子集相当于(通常小于)完整程序实例化。

MSC公司:

68T27型 人工智能中的逻辑
03B44号 时间逻辑
68N17号 逻辑编程
68立方英尺 知识表示
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 阿瓜多夫。,卡巴拉省。,佩雷兹。和VidalC.2008。强等价时序逻辑程序。在JELIA'08中,S.Hölldobler、C.Lutz和H.Wansing,编辑《人工智能讲义》,第5293卷。施普林格,8-20。
[2] 阿瓜多夫。,卡巴拉省。,佩雷兹。和VidalC.2011。可分割时序逻辑程序的循环公式。在LPNMR’11中,J.P.Delgrand和W.Faber,Eds.计算机科学讲义,第6645卷。施普林格,80-92·Zbl 1327.68058号
[3] 博泽利。和PearceD.2015。时间均衡逻辑的复杂性。程序中。第30届ACM/IEEE计算机科学逻辑研讨会(LICS’15)。IEEE计算机学会,645-656。
[4] 布里亚。,FaberW公司。和LeoneN.2008。标准形式的嵌套程序。程序中。第11届欧洲人工智能逻辑会议(JELIA’08),S.H.等人,《人工智能讲义》编辑。施普林格,76-88。
[5] CabalarP公司。和DiéguezM.2011。STELP-一种用于临时答案集编程的工具。在LPNMR’11中,J.Delgrand和W.Faber主编,《人工智能讲义》,第6645卷。施普林格,370-375。
[6] 卡巴拉省。,皮尔斯D。和Valverde2009。修订了通用答案集程序的安全概念。程序中。第十届逻辑程序设计和非单调推理国际会议(LPNMR’09)。计算机科学讲义,第5753卷。施普林格,58-70·Zbl 1258.68026号
[7] CalimeriF.、FaberW.、。,GebserM.、IanniG.、。,卡明斯基。,KrennwallnerT公司。,利昂内。,里卡夫。和SchaubT.2015。ASP-core-2输入语言格式。2016年10月12日查阅。网址:https://www.mat.unical.it/aspcomp2013/files/ASP-CORE-2.03c.pdf。
[8] GebserM.、KaminskiR.、。,科尼加。和SchaubT.2011。外国佬系列3的进展。程序中。第11届逻辑程序设计和非单调推理国际会议(LPNMR’11),J.P.Delgrand和W.Faber,Eds.计算机科学讲义,第6645卷。施普林格,345-351.10.1007/978-3-642-20895-9·Zbl 1214.68009号 ·doi:10.1007/978-3-642-20895-9
[9] GelfondM公司。和LifschitzV.1988。逻辑编程的稳定模型语义。逻辑编程:程序。第七届国际会议和研讨会,R.A.Kowalski和K.A.Bowen,第2卷。麻省理工学院出版社,马萨诸塞州剑桥,1070-1080。
[10] 利昂内。,PfeiferG。,FaberW.、。,爱尔兰。,哥特洛布。,PerriS.和ScarcelloF.2006年。用于知识表示和推理的dlv系统。美国计算机学会计算逻辑学报7,499-562.10.1145/1149114.1149117·Zbl 1367.68308号 ·数字对象标识代码:10.1145/1149114.1149117
[11] 马雷克V。和Truszczyn skiM.1999。稳定模型和替代逻辑编程范式。施普林格出版社,169-181年。
[12] 尼梅尔一世,1999年。具有稳定模型语义的逻辑程序作为约束编程范式。数学与人工智能年鉴25,241-273.10.1023/A:1018930122475·Zbl 0940.68018号 ·doi:10.1023/A:1018930122475
[13] 皮尔斯D.1996。稳定模型和答案集的新逻辑特征。程序中。第二届逻辑程序设计非单调扩展国际研讨会(NMELP'96),J.Dix,L.M.Pereira和T.C.Przymusinski编辑,《人工智能讲义》,第1216卷。Springer-Verlag,1997,57-60。
[14] 皮尔斯D.2006。均衡逻辑。《数学与人工智能年鉴》47(1-2),3-41.10.1007/s10472-006-9028-z·Zbl 1117.03039号 ·doi:10.1007/s10472-006-9028-z
[15] 普努埃利A.1977。程序的时序逻辑。程序中。第十八届计算机科学基础年会。IEEE计算机学会出版社,46-57。
[16] 范·埃姆登。H.和KowalskiR。A.1976年。作为编程语言的谓词逻辑的语义。ACM23杂志,733-742.10.1145/321978.321991·Zbl 0339.68004号 ·数字对象标识代码:10.1145/321978.321991
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。