×
威廉·康雷迪;萨利赫·杜尔汗;圭多·西亚维科

线性阶上点和区间的综合一阶理论。二、。 （英语） Zbl 1528.03134号

日志。方法计算。科学。 16，第2号，第1号论文，33页（2020年）.
摘要：有两种自然且经过深入研究的时间本体和推理方法：基于点的和基于间隔的。通常，基于间隔的时间推理将点作为无持续时间间隔的特殊情况处理。最近的结果P.巴尔比亚尼等【电子注释理论计算科学》278，31–45（2011；Zbl 1347.03030号)]提出了一个明确的两类点到间隔时间框架，其中时间点（points）和时间段（interval）按比例考虑，允许视角在正式话语中在这两者之间转换。我们在这里考虑基于相同原理的两种分类的一阶语言，因此包括Reich首先研究的点之间、区间之间和语际之间的关系。我们根据相对表达能力对其子语言进行了完整的分类，从而确定了有多少种，哪些，是具有一个或多个这样的关系的两分类一阶逻辑的本质不同的扩展。这种方法彻底解决了基于间隔的语义中是否应包含点这一经典问题。在第二部分中，我们讨论了所有稠密集和所有无界线性序集的情况。
第一部分见[提交人，同上，第14号，第2号，第15号论文，第40页（2018年；Zbl 1453.03013号)].

MSC公司：

03B44号 时序逻辑
68T27型 人工智能中的逻辑

引文：

Zbl 1347.03030号;Zbl 1453.03013号
PDF格式BibTeX公司 XML格式引用
\textit{W.Conradie}等人，日志。方法计算。科学。16，第2号，第1号论文，33页（2020；Zbl 1528.03134）
全文： arXiv公司 链接

参考文献：

[1] J.F.Allen和G.Ferguson。区间时间逻辑中的动作和事件。《逻辑与计算杂志》，4（5）：531-5791994年·Zbl 0815.68100号
[2] J.F.Allen和P.Hayes。一种常识性的时间理论。InProc.公司。第九届国际人工智能联合会议，第528-531页。摩根·考夫曼，1985年。
[3] J.F.Allen和P.J.Hayes。短时间。InProc.公司。第十届国际人工智能联合会议，第981-983页，1987年。
[4] J.F.Allen和P.J.Hayes。基于间隔的时序逻辑中的力矩和点。计算智能，5:225-2381989。
[5] J.F.艾伦。保持对时间间隔的了解。ACM通讯，26（11）：832-8431983·Zbl 0519.68079号
[6] P.Balbiani、V.Goranko和G.Sciavicco。两种排序的时间间隔点逻辑。理论计算机科学电子笔记，278:31-452011·Zbl 1347.03030号
[7] A.波奇曼。一致的瞬时间隔时间语义I：时间本体。《圣母院形式逻辑杂志》，31（3）：403-4141990年·Zbl 0718.03018号
[8] W.Conradie、S.Durhan和G.Sciavicco。点和区间的综合一阶理论：所有线性阶类的表达能力。InProc.公司。第19届国际研讨会·Zbl 1453.03013号
[9] W.Conradie、S.Durhan和G.Sciavicco。线性阶上点和区间的综合一阶理论（第一部分）。计算机科学中的逻辑方法，14（2）：15:1-15:40，2018·Zbl 1453.03013号
[10] Willem Conradie、Silvio Ghilardi和Alessandra Palmigiano。统一通信。在亚历山大·巴尔塔格（Alexandru Baltag）和索尼娅·斯梅茨（Sonja Smets）主编的《逻辑和信息动力学》（Johan van Benthem on Logic and Information Dynamics）第5卷《对逻辑的杰出贡献》（Outstanding Contributions to Logic）第933-975页。施普林格国际·Zbl 1344.03023号
[11] L.Chittaro和A.Montanari。人工智能中的时间表示和推理：问题和方法。数学和人工智能年鉴，28（1-4）：47-1062000·兹比尔1001.68096
[12] C.J.库切。区间结构类的表示定理。约翰内斯堡大学数学系硕士论文，2009年。
[13] W.Conradie和G.Sciavicco。关于严格情况下用艾伦关系扩展的一阶逻辑的表现力。InProc.公司。2011年人工智能领域会议
[14] V.Goranko、A.Montanari和G.Sciavicco。命题区间邻域时序逻辑。《通用计算机科学杂志》，9（9）：1137-11672003·Zbl 1274.03033号
[15] W.霍奇斯。模型理论。数学及其应用百科全书。剑桥大学出版社，1993年·Zbl 0789.03031号
[16] J.Halpern和Y.Shoham。时间间隔的命题模态逻辑。美国医学会杂志，38（4）：935-9621991·Zbl 0799.68175号
[17] P.B.拉德金。决定关于时间间隔的一阶语句。Kestrel Institute技术报告。
[18] P.B.拉德金。时间表示的逻辑。加州大学伯克利分校博士论文，1978年。
[19] G.利戈扎特。关于广义区间计算。InProc.公司。第九届全国人工智能会议（AAAI 91），第234-240页，1991年。
[20] D.Della Monica、V.Goranko、A.Montanari和G.Sciavicco。Allen关系的区间逻辑在所有线性序类上的表示：完全分类。InProc.公司。第页，共页·Zbl 1339.03018号
[21] J.Ma和P.J.Hayes。原始间隔与基于点的间隔：对手还是盟友？计算。J.，49（1）：32-412006年。
[22] J.van Benthem。时间的逻辑（第二版）。Kluwer学术出版社，1991年。卷16:2A点和区间理论（II）1:33·兹伯利0758.03012
[23] 约翰·范·本特姆（Johan Van Benthem）。对应理论。《哲学逻辑手册》第325-408页。斯普林格，2001年·兹比尔1003.03518
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。