• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2009 Fiscal Year Annual Research Report

定性推論の枠組みによる時空間データの表現および推論に関する研究

Research Project

Project/Area Number 19500134
Research InstitutionKwansei Gakuin University

Principal Investigator

高橋 和子  Kwansei Gakuin University, 理工学部, 教授 (30330400)

Co-Investigator(Kenkyū-buntansha) 巳波 弘佳  関西学院大学, 理工学部, 准教授 (40351738)
Keywords時空間推論 / 人工知能 / 定性推論 / ソフトウェア学
Research Abstract

定性空間推論の枠組みであるPLCAでは,点,線,閉路,範囲という簡単なオブジェクトを基礎とし,それらにいくつかの束縛条件を付加することで空間データを記号的に表現する.本研究はこれを発展させ,時間的変化を伴う空間データに対する扱いが可能な枠組みを構築するとともに,いくつかの拡張を行いより現実的な問題に対応できるようなシステムの実現をめざすものである.本年度は,前年度の検討や作成したプロトタイプをもとにシステムの拡張をはかった.
研究成果は以下の通りである.
1.拡張PLCAの設計と実装
前年度までに実装した基本的PLCAの枠組みをもとに,領域の形状を矩形に制限した新しい枠組を確立した.この枠組みでは,記述言語による表現と対応する図形の平面性の判定方法や表現上の推論機構を考案した.特に,各矩形が表示・非表示の属性をもつ部分に分割されるとき,それらの属性を満たすような最適配置を求めるアルゴリズムを提案し,実験システムとして実装した.
2.時空間推論への拡張
PLCA表現を空間データの時間的な変化も表すことができるように拡張し,時空間推論が行なえるようなシステムについて検討した.また,ネットワーク上で環境の変化を扱う諸問題とのかかわりについても検討した.
3.実用的問題への応用検討
1の矩形を対象とするシステムをマルチウィンドウへの自動配置へ応用するため,Windows APIを使ってインタフェース部分のプロトタイプを作成し,事前評価を行って必要な機能を洗い出した.

  • Research Products

    (7 results)

All 2009

All Journal Article (3 results) (of which Peer Reviewed: 3 results) Presentation (4 results)

  • [Journal Article] Algorithm for Controlling Multi-Car Elevator Systems Based on Procedures Estimating Efficiency of Passenger Transport and Call Assignability2009

    • Author(s)
      Takeshi FUJIMURA
    • Journal Title

      IEICE Trans. Fundamentals E92-A

      Pages: 2790-2793

    • Peer Reviewed
  • [Journal Article] Limit Theorems for the Average Distance and the Degree Distribution of the Threshold Network Model2009

    • Author(s)
      Akihiro FUJIHARA
    • Journal Title

      Journal of Interdisciplinary Information Sciences 15

      Pages: 361-366

    • Peer Reviewed
  • [Journal Article] 車車間通信を用いた車線変更にともなう交通流の円滑化を図るモデルの提案と実装2009

    • Author(s)
      高砂智紀
    • Journal Title

      情報処理学会論文誌:数理モデル化と応用 2

      Pages: 110-127

    • Peer Reviewed
  • [Presentation] Design Method of Robust Networks against Performance Deterioration during Failures2009

    • Author(s)
      Nozomu KATAYAMA
    • Organizer
      Proc.Globecom2009
    • Place of Presentation
      Honolulu, U.S.A.
    • Year and Date
      2009-12-01
  • [Presentation] Traffic Engineering by Polynomially Solvable Link Metric Optimization2009

    • Author(s)
      Akira NOGUCHI
    • Organizer
      Proc.International Conference on Intelligent Networking and Collaborative Systems(INCoS2009)
    • Place of Presentation
      Barcelona, Spain
    • Year and Date
      2009-11-05
  • [Presentation] Formalization of Data Conversion for Inductive Proof2009

    • Author(s)
      Kazuko TAKAHASHI
    • Organizer
      Tunisia-Japan Workshop on Symbolic Computation in Software Science(SCSS2009)
    • Place of Presentation
      Gammarth, Tunisia
    • Year and Date
      2009-09-22
  • [Presentation] Argumentation System with Changes of an Agent's Knowledge Base2009

    • Author(s)
      Kenichi OKUNO
    • Organizer
      21st International Joint Conference on Artificial Intelligence(IJCAI09)
    • Place of Presentation
      Pasadena, U.S.A.
    • Year and Date
      2009-07-15

URL: 

Published: 2011-06-16   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi