A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit <a rel="external noopener" href="https://ebooks.iospress.nl/pdf/doi/10.3233/978-1-60750-606-5-695">the original URL</a>. The file type is <code>application/pdf</code>.
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/6s5suezghjf2paeoawbbrszsku" style="color: black;">European Conference on Artificial Intelligence</a>
Interval temporal logics formalize reasoning about interval structures over (usually) linearly ordered domains, where time intervals are the primitive ontological entities and truth of formulae is defined relative to time intervals, rather than time points. In this paper, we introduce and study Metric Propositional Neighborhood Logic (MPNL) over natural numbers. MPNL features two modalities referring, respectively, to an interval that is "met by" the current one and to an interval that "meets"<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3233/978-1-60750-606-5-695">doi:10.3233/978-1-60750-606-5-695</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ecai/BresolinMGMS10.html">dblp:conf/ecai/BresolinMGMS10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hjsfpppxincaxjft6wkull7bhm">fatcat:hjsfpppxincaxjft6wkull7bhm</a> </span>
more »... he current one, plus an infinite set of length constraints, regarded as atomic propositions, to constrain the lengths of intervals. We argue that MPNL can be successfully used in different areas of artificial intelligence to combine qualitative and quantitative interval temporal reasoning, thus providing a viable alternative to well-established logical frameworks such as Duration Calculus. We show that MPNL is decidable in double exponential time and expressively complete with respect to a well-defined subfragment of the two-variable fragment FO 2 [N, =, <, s] of first-order logic for linear orders with successor function, interpreted over natural numbers. Moreover, we show that MPNL can be extended in a natural way to cover full FO 2 [N, =, <, s], but, unexpectedly, the latter (and hence the former) turns out to be undecidable.
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20211203001340/https://ebooks.iospress.nl/pdf/doi/10.3233/978-1-60750-606-5-695" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/00/18/0018e4ac3e9616b1c0b9ff98a3c776f204e7732b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3233/978-1-60750-606-5-695"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>