首页    期刊浏览 2024年11月24日 星期日
登录注册

文章基本信息

  • 标题:Towards a Qualitative Reasoning on Shape Change and Object Division
  • 本地全文:下载
  • 作者:Momo Tosue ; Kazuko Takahashi
  • 期刊名称:LIPIcs : Leibniz International Proceedings in Informatics
  • 电子版ISSN:1868-8969
  • 出版年度:2019
  • 卷号:142
  • 页码:1-15
  • DOI:10.4230/LIPIcs.COSIT.2019.7
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要:We propose a qualitative representation for handling shape change and object division. We model the shape of a smooth curve in a two-dimensional plane together with its temporal change, using curvature extrema. The representation is based on Process-Grammar, which gives a causal account for each shape change. We introduce several rewriting rules to handle object division, that consist of making a tangent point, reconstruction, and separation. On the treatment of the division process, the expression can clarify the relative locations of multiple objects. We show formalization and application to represent a sequence of shape changes frequently observed in an organogenesis process.
  • 关键词:qualitative spatial representation; symbolic shape representation; Process-Grammar
国家哲学社会科学文献中心版权所有