loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Kazuko Takahashi ; Mizuki Goto and Hiroyoshi Miwa

Affiliation: Kwansei Gakuin University, Japan

Keyword(s): Qualitative Spatial Reasoning, Formalization, PLCA, Planarity.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Knowledge Representation and Reasoning ; Knowledge-Based Systems ; Symbolic Systems

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.236.139.73

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 1: ICAART; ISBN 978-989-758-074-1; ISSN 2184-433X, SciTePress, pages 204-212. DOI: 10.5220/0005263102040212

@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 1: ICAART},
year={2015},
pages={204-212},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005263102040212},
isbn={978-989-758-074-1},
issn={2184-433X},
}

TY - CONF

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