威廉·康拉迪;Salih Durhan;Guido Sciavicco公司-线性上点和区间的一阶积分理论订单(第二部分)

lmcs:4832个-计算机科学中的逻辑方法,2020年4月1日,第16卷第2期-https://doi.org/10.23638/LMCS-16(2:1)2020
线性上点和区间的一阶积分理论订单(第二部分)第条

作者:Willem Conradie;Salih Durhan;Guido Sciavicco公司

    时间本体有两种自然且经过深入研究的方法推理:基于点和基于间隔。通常,基于时间间隔推理将点作为无持续时间间隔的特殊情况进行处理。A类Balbiani、Goranko和Sciavicco最近的研究结果表明时间瞬间(点)的两分类点间时态框架时间段(间隔)被视为一个标准在正式话语中在这些之间转换。我们认为这里分为两类基于相同原理的一阶语言,因此包括Reich首先研究了点之间、点与点之间的关系区间和inter-sort。我们给出了它的完整分类子语言的相对表达能力,从而决定了有多少,哪些是两类一阶的本质不同的扩张具有一个或多个此类关系的逻辑。这种方法根植于经典基于间隔的点是否应包括在其中的问题语义。在第二部分中,我们讨论了所有稠密情况和所有无界线性序集。


    资料来源:arXiv.org:1809.04468
    第16卷第2期
    第节:知识表示的逻辑
    发布日期:2020年4月1日
    验收日期:2019年9月22日
    提交日期:2018年9月17日
    关键词:计算机科学-计算机科学中的逻辑,03B44,F.4.1,I.2.4

    咨询统计

    这个页面已经被浏览了1101次。
    本文的PDF已下载188次。