| 演題番号 | 1E1-1 |
|---|---|
| 題目 | 矩形を対象とする定性空間推論について |
| 著者 | 小西 貴子(関西学院大学理工学部情報科学科) 高橋 和子(関西学院大学) |
| 時間 | 06月09日(Wed) 09:00〜09:20 |
| 概要 | 本研究では，表示したい部分(white)と隠したい部分(black)が指定された複数枚の矩形に対して，それらの間の相対的な位置関係や重ね合わせについての定性的な表現方法および推論について述べる． この推論は，black の形で場合分けを行い，矩形を重ね合わせた時の white と black の 位置関係をもとに指定された表示要求を満たすような重ね合わせ方が存在するか判定するものである． |
| 論文 | PDFファイル |