講演名 | 2006-05-24 定性空間表現の二次元平面への埋め込みについて 高橋 和子, 住友 孝郎, 竹内 泉, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 本発表では,PLCA表現の二次元平面上への埋め込みについて述べる.我々は定性空間推論の新しい枠組としてPLCAを提案した.PLCA表現は,二次元平面上の図形を点,線,閉路,範囲というオブジェクトを使いそれらの関係で表す定性的な表現方法である.本発表では,与えられたPLCA表現が二次元平面上に埋め込めるための条件として,そこに含まれるオブジェクトの数が満たすべき関係をEulerの公式を利用して導く.また,この条件を満たす場合に対応する図形を描くアルゴリズムを示す. |
抄録(英) | This paper discusses embedding of PLCA expression on a two-dimensional plane. We have proposed PLCA as a new framework for a qualitative spatial reasoning. It provides a symbolic representation for spatial data using the simple objects, points(P), lines(L), circuits(C) and areas(A), and the entire figure is represented in a form in which all the objects are related. In this paper, we investigate the condition for two-dimensional realizability of a PLCA expression, and derive the relation that the numbers of objects in a PLCA expression should satisfy by utilizing Euler's formula. We also give an algorithm for drawing the figure on a two-dimensional plane for a PLCA expression that satisfies this condition. |
キーワード(和) | 定性空間推論 / 知識表現 / 平面的グラフ |
キーワード(英) | qualitative spatial reasoning / knowledge representation / planar graph |
資料番号 | COMP2006-11 |
発行日 |
研究会情報 | |
研究会 | COMP |
---|---|
開催期間 | 2006/5/17(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Theoretical Foundations of Computing (COMP) |
---|---|
本文の言語 | ENG |
タイトル(和) | 定性空間表現の二次元平面への埋め込みについて |
サブタイトル(和) | |
タイトル(英) | Embedding of a Qualitative Representation Language on a Two-Dimensional Plane |
サブタイトル(和) | |
キーワード(1)(和/英) | 定性空間推論 / qualitative spatial reasoning |
キーワード(2)(和/英) | 知識表現 / knowledge representation |
キーワード(3)(和/英) | 平面的グラフ / planar graph |
第 1 著者 氏名(和/英) | 高橋 和子 / Kazuko TAKAHASHI |
第 1 著者 所属(和/英) | 関西学院大学理工学部 Dept. of Science & Technology, Kwansei Gakuin University |
第 2 著者 氏名(和/英) | 住友 孝郎 / Takao SUMITOMO |
第 2 著者 所属(和/英) | 関西学院大学理工学部 Dept. of Science & Technology, Kwansei Gakuin University |
第 3 著者 氏名(和/英) | 竹内 泉 / Izumi TAKEUTI |
第 3 著者 所属(和/英) | 産業総合研究所システム検証研究センター Centre for Verification and Semantics, National Institute of Advanced Industrial Science and Technology |
発表年月日 | 2006-05-24 |
資料番号 | COMP2006-11 |
巻番号(vol) | vol.106 |
号番号(no) | 63 |
ページ範囲 | pp.- |
ページ数 | 7 |
発行日 |