资源论文Reasoning about Space and Change with Answer Set Programming Modulo Theories

Reasoning about Space and Change with Answer Set Programming Modulo Theories

2019-11-25 | |  47 |   40 |   0
Abstract The aim of my work is to establish a computational framework for commonsense spatial reasoning about dynamic domains. The work accomplished so far consists of theoretical investigation of a framework based on a paradigm of Answer Set Programming Modulo Theories and its implementation. The developed system enables to integrate geometrical and qualitative spatial information, reason about indirect spatial effects and perform non-monotonic reasoning in a context of spatio-temporal contexts. In future it might be applied to a wide range of dynamic domains such as cognitive robotics, computer-aided architecture design, geographic information systems, etc.

上一篇:Automated Narrative Information Extraction Using Non-Linear Pipelines

下一篇:A Framework for Anomaly Reasoning: Interpretation through Concept Formation for Knowledge Transfer and Lifelong Learning

用户评价
全部评价

热门资源

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