×
路易斯·法利尼亚斯·德尔·塞罗；安德烈亚斯·赫齐格；苏·埃兹吉·伊拉兹

获取模态逻辑中的平衡模型。 （英语） Zbl 1328.03018号

J.应用。日志。 192-207年第2期第12页（2014年）.
摘要：Pearce、Valverde、Cabalar、Lifschitz、Ferraris等人将随处可见的模型和均衡模型作为回答编程的语义框架进行了研究。平衡逻辑的语义是以间接的方式给出的：平衡模型的概念是根据随处可见的模型的量化来定义的。我们在这里给出了平衡逻辑的直接语义，表示为嵌入平衡逻辑语言的模态语言。

引用于三文件

MSC公司：

03B45号 模态逻辑（包括规范逻辑）
68N17号 逻辑编程

关键词：

平衡逻辑；随处可见的模型；双模逻辑；答案集编程

软件：

LoTREC公司；MSPASS公司
PDF格式BibTeX公司 XML格式引用
\textit{L.Fariñas del Cerro}等人，J.Appl。日志。12，第2号，192--207（2014；Zbl 1328.03018）
全文： 内政部

参考文献：

[1] 阿瓜多，F。；卡巴拉，P。；佩雷斯，G。；Vidal，C.，《强等价时序逻辑程序》，（Hölldobler，S.；Lutz，C.；Wansing，H.，JELIA.JELIA，Lect.Notes Compute.Sci.，第5293卷（2008），Springer），8-20·Zbl 1178.68551号
[2] 巴尔比亚尼，P。；Herzig，A。；Troquard，N.，《命题赋值的动态逻辑：PDL的良好变体》（Kupferman，O.，《计算机科学中的逻辑》（LICS））。计算机科学中的逻辑（LICS），新奥尔良，2013年6月25-28日（2013），IEEE）·Zbl 1366.03208号
[3] 布莱克本，P。；de Rijke，M。；Venema，Y.，模态逻辑，Camb。拖拉机Theor。计算。科学。（2001），大学出版社·Zbl 0988.03006号
[4] Cabalar，P。；Demri，S.，《基于时间平衡模型的自动计算》，（Vidal，G.，LOPSTR.LOPSTR，Lect.Notes Compute.Sci.，第7225卷（2011年），Springer），第57-72页·Zbl 1377.68060号
[5] Cabalar，P。；Ferraris，P.，命题理论与逻辑程序，理论实践有着很强的等价性。日志。程序。（TPLP），7745-759（2007）·Zbl 1132.68321号
[6] Cabalar，P。；皮尔斯，D。；Valverde，A.，最小逻辑程序，（Dahl，V.；Niemelä，I.，Proc.ICLP.Proc.ICLP，Lect.Notes Compute.Sci.，第4670卷（2007年），Springer-Verlag），104-118·Zbl 1213.68171号
[7] 卡尼埃利，W.A。；皮兹，C。；Bueno-Soler，J.，《模态与多模态、逻辑、认识论与科学的统一》（2009），斯普林格·弗拉格
[8] Enjalbert，P。；Fariñas del Cerro，L.，子句形式的模态分解，Theor。计算。科学。，65，1-33（1989年）·Zbl 0669.03009号
[9] Fariñas del Cerro，L。；Fauthoux，D。；Gasquet，O。；Herzig，A。；Longin，D。；Massacci，F.，Lotrec：模态和描述逻辑的通用表证明器，（Goré，R.；Leitsch，A.；Nipkow，T.，《第一届国际自动推理联合会议论文集》（IJCAR 2001）。2001年6月18日至23日在意大利锡耶纳举行的第一届国际自动推理联合会议记录（IJCAR 2001）。第一届国际自动推理联合会议记录（IJCAR 2001）。2001年6月18日至23日，意大利锡耶纳，第一届国际自动推理联合会议记录（IJCAR 2001），Lect。注释计算。科学。，第2083卷（2001），斯普林格·弗拉格），453-458·Zbl 0988.68592号
[10] Fariñas del Cerro，L。；Herzig，A.，模态演绎及其在认知和时间逻辑中的应用，（Gabbay，D.；Chris，J.；Robinson，J.A.，《逻辑和人工智能手册》，《逻辑与人工智能、认知和时间推理手册》，第4卷（1995），牛津大学出版社），499-594·Zbl 0819.03010号
[11] Fariñas del Cerro，L。；Herzig，A.，基于偶然性的平衡逻辑，（逻辑编程和非单调推理（2011），Springer-Verlag），223-228·Zbl 1327.03015号
[12] Fariñas del Cerro，L。；Herzig，A.，平衡模型的模态逻辑，（组合系统前沿（FroCoS）（2011），Springer Verlag），135-146·Zbl 1347.68041号
[13] Fariñas del Cerro，L。；Herzig，A。；Su，E.I.，《平衡逻辑与动态逻辑的结合》，（Cabalar，P.；Son，T.C.，《逻辑编程与非单调推理》（LPNMR）。逻辑程序设计与非单调推理（LPNMR），Lect。注释计算。科学。，第8148卷（2013），施普林格），304-316·Zbl 1405.68352号
[14] 费拉里斯，P。；Lee，J。；Lifschitz，V.，《关于稳定模型的新观点》（Veloso，M.M.，IJCAI（2007）），372-379
[15] Hustadt，U。；Schmidt，R.A.，MSPASS:通过翻译和一阶分辨率进行模态推理，（Dyckhoff，R.，分析表和相关方法的自动推理，国际会议（TABLEUX 2000）。使用分析表和相关方法的自动推理，国际会议（Tableaux 2000），人工智能讲义，第1847卷（2000），Springer），67-71·Zbl 0963.68522号
[16] Lakemeyer，G。；Levesque，H.J.，《只有知道才能满足非单调模态逻辑》（Brewka，G.；Eiter，T.；McIlraith，S.A.，KR（2012），AAAI出版社）
[17] Levesque，H.J.，《我所知道的一切：自认知逻辑研究》，Artif。智力。J.，42，263-309（1990）·Zbl 0724.03019号
[18] Lifschitz，V.，《稳定模型的十三种定义》（Blass，a.；Dershowitz，N.；Reisig，W.，《逻辑和计算领域》，Lect.Notes Compute.Sci.，第6300卷（2010），Springer-Verlag），488-503·Zbl 1287.68021号
[19] Lifschitz，V。；皮尔斯，D。；Valverde，A.，《强等效逻辑程序》，ACM Trans。计算。日志。，2, 526-541 (2001) ·Zbl 1365.68149号
[20] Pearce，D.，稳定模型和答案集的新逻辑表征，（Dix，J.；Pereira，L.M.；Przymusinski，T.C.，NMELP.NMELP，Lect.Notes Comput.Sci.，第1216卷（1996年），Springer Verlag），57-70
[21] 皮尔斯，D。；Uridia，L.，《通过客观信念实现最小信念的方法》（Walsh，T.，IJCAI（2011），AAAI出版社），1045-1050
[22] 皮尔斯，D。；德古兹曼，I.P。；Valverde，A.，平衡蕴涵的表格演算，（Dyckhoff，R.，TABLEAUX.tableau，Lect.Notes Compute Sci.，第1847卷（2000），Springer-Verlag），352-367·Zbl 0963.03045号
[23] 施密特，R.A。；Tishkovsky，D.，《决定描述逻辑、模态逻辑和相关一阶片段的通用表格法》（Armando，A.；Baumgartner，P.；Dowek，G.，《自动推理》（IJCAR，2008）。自动推理（IJCAR，2008），Lect。注释计算。科学。，第5195卷（2008年），施普林格出版社，194-209年·Zbl 1165.03319号
[24] 塞巴斯蒂亚尼，R。；Taccella，A.，《模态和描述逻辑的Sat技术》（Biere，A.；Heule，M.；van Maaren，H.；Walsh，T.，《可满足性手册》，《人工智能和应用前沿》，第185卷（2009），IOS出版社），781-824·Zbl 1183.68568号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。