A Qualitative Representation of a Figure and Construction of Its Planar Class

Kazuko Takahashi, Mizuki Goto, Hiroyoshi Miwa

Abstract

PLCA is a framework for qualitative spatial reasoning. It provides a symbolic expression of spatial entities and allows reasoning on this expression. A figure is represented using the objects used to construct it, that is, points, lines, circuits and areas, as well as the relationships between them without numerical data. The figure is identified by the patterns of connection between the objects. For a given PLCA expression, the conditions for planarity, that is, an existence of the corresponding figure on a two-dimensional plane, have been shown; however, the construction of such a PLCA expression has not been discussed. In this paper, we describe a method of constructing such expressions inductively, and prove that the resulting class coincides with that of the planar PCLA. The part of the proof is implemented using a proof assistant Coq.

References

  1. de Berg, M., M. van Kreveld, M. Overmars and O. Schwarzkopf (1997). Computational Geometry. Springer-Verlag.
  2. Bertot, Y. and P. Castran (1998). Interactive Theorem Proving and Program Development - Coq'Art: The Calculus of Inductive Constructions. Springer Verlag.
  3. Borgo, S. (2013). RCC and the theory of simple regions R2. Conference On Spatial Information Theory (COSIT13), pp.457-474.
  4. Brun, C., J. -F. Dufourd and N. Magaud (2012). Designing and proving correct a convex hull algorithm with hypermaps in Coq. Computational Geometry : Theory and Applications, 45(8):436-457.
  5. Cohn, A. G. and J. Renz (2007). Qualitative spatial reasoning. in Handbook of Knowledge Representation. F. Harmelen, V. Lifschitz and B. Porter(eds.), Chapt 13, pp.551-596, Elsevier.
  6. Dufourd, J. -F. (2009). An intuitionistic proof of a discrete form of the Jordan curve theorem formalized in Coq with combinatorial hypermaps. Journal of Automated Reasoning, 43(1):19-51.
  7. Dufourd, J. -F. and Y. Bertot (2010). Formal study of plane Delaunay triangulation. Interactive Theorem Proving, pp.211-226, LNCS 6172, Springer-Verlag.
  8. Egenhofer, M. and J. Herring (1995). Categorizing binary topological relations between regions, lines, and points in geographic databases. Department of Surveying Engineering, University of Maine.
  9. Freksa, C. (1991). Conceptual neighborhood and its role in temporal and spatial reasoning. Proceedings of the IMACS Workshop on Decision Support Systems and Qualitative Reasoning, pp.181-187.
  10. Gonthier, G. (2008). Formal proof - The four color theorem. Notices of the AMS, 55(11):1382-1393.
  11. Goto, M. and K. Takahashi (2014). http://ist.ksc.kwansei. ac.jp/~ktaka/IPLCA/
  12. Harary, F. (1969). Graph Theory. Reading, MA, AddisonWesley.
  13. Hazarika, S. (2012). Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions. IGI Publishers.
  14. Kosniowski, C. (1980). A First Course in Algebraic Topology. Cambridge University Press.
  15. Ligozat, G. (2011). Qualitative Spatial and Temporal Reasoning. Wiley.
  16. Randell, D. A., Z. Cui and A. G. Cohn (1992). A spatial logic based on regions and connection. Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning (KR92), pp.165-176.
  17. Renz, J. (2002). Qualitative Spatial Reasoning with Topological Information. LNAI 2293, Springer-Verlag.
  18. Stock, O. (Ed.) (1997). Spatial and Temporal Reasoning, Kluwer Academic Publishers.
  19. Takahashi, K. (2012). PLCA: A framework for qualitative spatial reasoning based on connection patterns of regions. in (Hazarika, 2012), Chapt 2, pp.63-96.
  20. Takahashi, K. and T. Sumitomo (2007). The qualitative treatment of spatial data. International Journal on Artificial Intelligent Tools,16(4):661-682.
  21. Takahashi, K., T. Sumitomo and I. Takeuti (2008). On embedding a qualitative representation in a twodimensional plane. Spatial Cognition and Computation, 8(1-2):4-26.
Download


Paper Citation


in Harvard Style

Takahashi K., Goto M. and Miwa H. (2015). A Qualitative Representation of a Figure and Construction of Its Planar Class . In Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-758-074-1, pages 204-212. DOI: 10.5220/0005263102040212


in Bibtex Style

@conference{icaart15,
author={Kazuko Takahashi and Mizuki Goto and Hiroyoshi Miwa},
title={A Qualitative Representation of a Figure and Construction of Its Planar Class},
booktitle={Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2015},
pages={204-212},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005263102040212},
isbn={978-989-758-074-1},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - A Qualitative Representation of a Figure and Construction of Its Planar Class
SN - 978-989-758-074-1
AU - Takahashi K.
AU - Goto M.
AU - Miwa H.
PY - 2015
SP - 204
EP - 212
DO - 10.5220/0005263102040212