资源论文Transition Constraints: A Study on the Computational Complexity of Qualitative Change

Transition Constraints: A Study on the Computational Complexity of Qualitative Change

2019-11-11 | |  99 |   44 |   0
Abstract Many formalisms discussed in the literature on qualitative spatial reasoning are designed for expressing static spatial constraints only. However, dynamic situations arise in virtually all applications of these formalisms, which makes it necessary to study variants and extensions dealing with change. This paper presents a study on the computational complexity of qualitative change. More precisely, we discuss the reasoning task of finding a solution to a temporal sequence of static reasoning problems where this sequence is subject to additional transition constraints. Our focus is primarily on smoothness and continuity constraints: we show how such transitions can be defined as relations and expressed within qualitative constraint formalisms. Our results demonstrate that for pointbased constraint formalisms the interesting fragments are NP-complete in the presence of continuity constraints, even if the satisfiability problem of its static descriptions is tractable.

上一篇:Multi-Agent Subset Space Logic

下一篇:Supremal Realizability of Behaviors with Uncontrollable Exogenous Events? Nitin Yadav Paolo Felli Giuseppe De Giacomo Sebastian Sardina

用户评价
全部评价

热门资源

  • 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...