资源论文Searching for Well-Behaved Fragments of Halpern-Shoham Logic?

Searching for Well-Behaved Fragments of Halpern-Shoham Logic?

2019-10-29 | |  47 |   39 |   0
Abstract Temporal reasoning constitutes one of the main topics within the field of Artificial Intelligence. Particularly interesting are interval-based methods, in which time intervals are treated as basic ontological objects, in opposite to point-based methods, where time-points are considered as basic. The former approach is more expressive and seems to be more appropriate for such applications as natural language analysis or real time processes verification. My research concerns the classical intervalbased logic, namely Halpern-Shoham logic (HS). In particular, my investigation continues recently proposed search for well-behaved – i.e., expressive enough for practical applications and of low computational complexity – HS fragments obtained by imposing syntactical restrictions on the usage of propositional connectives in their languages.

上一篇:Search Strategies as Synchronous Processes (Extended Abstract)

下一篇:Securing and Scaling Cryptocurrencies

用户评价
全部评价

热门资源

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...

  • Rating-Boosted La...

    The performance of a recommendation system reli...