• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

定性時空間推論の体系の構築とその応用に関する研究

研究課題

研究課題/領域番号 22500141
研究種目

基盤研究(C)

配分区分補助金
応募区分一般
研究分野 知能情報学
研究機関関西学院大学

研究代表者

高橋 和子  関西学院大学, 理工学部, 教授 (30330400)

研究分担者 巳波 弘佳  関西学院大学, 理工学部, 准教授 (40351738)
研究期間 (年度) 2010 – 2012
研究課題ステータス 完了 (2012年度)
配分額 *注記
3,770千円 (直接経費: 2,900千円、間接経費: 870千円)
2012年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2011年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2010年度: 1,820千円 (直接経費: 1,400千円、間接経費: 420千円)
キーワード時空間推論 / 人工知能 / 定性推論 / ソフトウェア学
研究概要

本研究は空間データの記号表現と推論の枠組みを提案するものである.特に,2次元のオブジェクトに前後関係や相対的高さの概念が付随するような空間データを対象としてそれらを定性的に扱う仕組みを考察した.その結果以下の成果を得た.表示に関する要求が付随されている矩形を基本図形とし,与えられた複数の基本図形に対してすべての表示に関する要求を満たすような重ね合わせ方を見つける矩形推論システムを完成させ,実装するとともに推論方法の正当性を示した.また,相対的高さをもつ図形データ上で定性シミュレーションを行う手法を提案した.さらに,3次元オブジェクト同士の相対的位置関係表現の時系列が与えられたとき,そこで生起したイベントを抽出する方法を示した.

報告書

(4件)
  • 2012 実績報告書   研究成果報告書 ( PDF )
  • 2011 実績報告書
  • 2010 実績報告書
  • 研究成果

    (34件)

すべて 2013 2012 2011 2010 その他

すべて 雑誌論文 (6件) (うち査読あり 4件) 学会発表 (26件) 図書 (2件)

  • [雑誌論文] Homesick LevyWalk and Optimal Forwarding Criterion of Utility-based Routing under Sequential Encounters2013

    • 著者名/発表者名
      Miwa,H. and A. Fujihara.
    • 雑誌名

      Internet of things and inter-cooperative computational technologies for collective intelligence

      巻: Vol.460 ページ: 207-231

    • DOI

      10.1007/978-3-642-34952-2_9

    • ISBN
      9783642349515, 9783642349522
    • 関連する報告書
      2012 研究成果報告書
    • 査読あり
  • [雑誌論文] Criterion of Utility-based Routing under Sequential Encounters2013

    • 著者名/発表者名
      Hiroyoshi Miwa, Akihiro Fujihara
    • 雑誌名

      Internet of things and inter-cooperative computational technologies for collective intelligence

      巻: 460 ページ: 207-231

    • 関連する報告書
      2012 実績報告書
  • [雑誌論文] Superposition of Rectangles withVisibility Requirement: A Qualitative Approach2012

    • 著者名/発表者名
      Konishi,T. and K.Takahashi.
    • 雑誌名

      International Journal On Advances in Software

      巻: Vol.4, No.3&4 ページ: 422-433

    • 関連する報告書
      2012 研究成果報告書
    • 査読あり
  • [雑誌論文] Superposition of Rectangles with Visibility Requirement: A Qualitative Approach2012

    • 著者名/発表者名
      Kazuko Takahashi, Takako Konishi
    • 雑誌名

      International Journal On Advances in Software

      巻: 4 ページ: 422-433

    • 関連する報告書
      2012 実績報告書
  • [雑誌論文] Probabilistic Symmetry Reduction for a System with Ring Buffer2011

    • 著者名/発表者名
      Kazuko TAKAHASHI, Toshifumi SEKIZAWA
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E94-D ページ: 967-975

    • NAID

      10029506938

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Links Added to a Network to Alleviate Performance Degradation following a Link Failure2011

    • 著者名/発表者名
      Nozomu KATAYAMA
    • 雑誌名

      IEICE Transactions on Fundamentals

      巻: E94-B ページ: 1630-1639

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [学会発表] Reasoning about RelativeRelationships in 3D Space for Objects Extracted from Dynamic Image Data2012

    • 著者名/発表者名
      Takahashi,K.
    • 学会等名
      ECAI-2012 Workshop on Spatio-Temporal Dynamics (STeDy 2012).
    • 発表場所
      Montpellier, France.
    • 年月日
      2012-08-28
    • 関連する報告書
      2012 研究成果報告書
  • [学会発表] Fujihara. Real-timeDisaster Evacuation Guidance Using Opportunistic Communications2012

    • 著者名/発表者名
      Miwa,H. and A.
    • 学会等名
      Proc. SAINT2012
    • 発表場所
      Izmir,Turkey
    • 年月日
      2012-06-16
    • 関連する報告書
      2012 研究成果報告書
  • [学会発表] 矩形同士の埋め込み型重ね合わせについての定性空間推論2012

    • 著者名/発表者名
      小西貴子,高橋和子
    • 学会等名
      電子情報通信学会技術研究報告:知能ソフトウェア工学研究会,KBSE2011-69
    • 発表場所
      名古屋
    • 年月日
      2012-03-15
    • 関連する報告書
      2012 研究成果報告書
  • [学会発表] 矩形同士の埋め込み型重ね合わせについての定性空間推論2012

    • 著者名/発表者名
      小西貴子
    • 学会等名
      電子情報通信学会知能ソフトウェア工学研究会
    • 発表場所
      名古屋大学
    • 年月日
      2012-03-15
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Optimal Forwarding Criterion ofUtility-based Routing Under SequentialEncounters for Delay Tolerant Networks2011

    • 著者名/発表者名
      Fujihara,A., S. Ono, and H. Miwa.
    • 学会等名
      Proc. IEEE INCoS, 279-286, Fukuoka, Japan
    • 発表場所
      Best Paper Award
    • 年月日
      2011-12-02
    • 関連する報告書
      2012 研究成果報告書
  • [学会発表] A Semantics of Argumentation under Incomplete Information2011

    • 著者名/発表者名
      Ken SATOH
    • 学会等名
      Fifth International Workshop on Juris-informatics (JURISIN 2011)
    • 発表場所
      サンポートホール高松
    • 年月日
      2011-12-02
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Network Design Method by Link Protection for Network Load Alleviation Against Failures2011

    • 著者名/発表者名
      Akira NOGUCHI
    • 学会等名
      International Conference on Intelligent Networking and Collaborative Systems (INCoS2011)
    • 発表場所
      福岡工業大学
    • 年月日
      2011-11-30
    • 関連する報告書
      2011 実績報告書
  • [学会発表] An Argumentation Model with Queries2011

    • 著者名/発表者名
      Yu NAMBU
    • 学会等名
      Ninth European Workshop on Multi-Agent Systems (EUMAS11)
    • 発表場所
      Maarstricht, The Neitherlands
    • 年月日
      2011-11-15
    • 関連する報告書
      2011 実績報告書
  • [学会発表] 矩形同士の重ね合わせについての定性空間推論システムの拡張2011

    • 著者名/発表者名
      小西貴子,高橋和子
    • 学会等名
      日本ソフトウェア科学会第28回大会
    • 発表場所
      沖縄
    • 年月日
      2011-09-27
    • 関連する報告書
      2012 研究成果報告書
  • [学会発表] 矩形同士の重ね合わせについての定性空間推論システムの拡張2011

    • 著者名/発表者名
      小西貴子
    • 学会等名
      日本ソフトウェア科学会第28回大会
    • 発表場所
      沖縄産業支援センター(那覇市)
    • 年月日
      2011-09-27
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Method of Locating Mirror Servers to Alleviate Load on Servers and Links2011

    • 著者名/発表者名
      Ryota NAKAMURA
    • 学会等名
      The 11th Annual International Symposium on Applications and the Internet (SAINT2011)
    • 発表場所
      Munich, Germany
    • 年月日
      2011-07-18
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Symbolic Representation and Reasoning for Rectangles with Superposition2011

    • 著者名/発表者名
      Konishi,T. and K.Takahashi.
    • 学会等名
      The Third International Conference on Advances in Databases, Knowledge, and Data Applications (DBKDA 2011), pp.71-76
    • 発表場所
      St.Maarten, The Neitherlands Antilles (Best Paper Award).
    • 年月日
      2011-06-25
    • 関連する報告書
      2012 研究成果報告書
  • [学会発表] 動的議論システムの意味論的考察2011

    • 著者名/発表者名
      南部優
    • 学会等名
      第163回情報処理学会知能システム研究会
    • 発表場所
      名古屋大学 東山キャンパス
    • 年月日
      2011-03-23
    • 関連する報告書
      2010 実績報告書
  • [学会発表] サーバとネットワークへの負荷集中を回避するサーバ配置2011

    • 著者名/発表者名
      中村亮太
    • 学会等名
      電子情報通信学会ネットワークシステム研究会
    • 発表場所
      沖縄コンベンションセンター
    • 年月日
      2011-03-04
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Symbolic Representation and Reasoning for Rectangles with Superposition2011

    • 著者名/発表者名
      Takako KONISHI
    • 学会等名
      The Third International Conference on Advances in Databases, Knowledge, and Data Applications (DBKDA 2011)
    • 発表場所
      St.Marrten, Neitherlands Antailles
    • 年月日
      2011-01-24
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Critical Links Detection to Maintain Small Diameter against Link Failures2010

    • 著者名/発表者名
      Takeshi FUJIMURA
    • 学会等名
      International Conference on Intelligent Networking and Collaborative Systems (INCoS2010), Third International Workshop on Information Network Design (WIND2010)
    • 発表場所
      Thessaloniki, Greece
    • 年月日
      2010-11-25
    • 関連する報告書
      2010 実績報告書
  • [学会発表] 矩形同士の重ね合わせについての定性空間推論2010

    • 著者名/発表者名
      小西貴子,高橋和子
    • 学会等名
      人工知能学会研究会資料SIG-FPAI-B002
    • 発表場所
      北海道
    • 年月日
      2010-09-24
    • 関連する報告書
      2012 研究成果報告書
  • [学会発表] Rectangle Reasoning: A QualitativeSpatial Reasoning with Superposition2010

    • 著者名/発表者名
      Kumokawa,S. and K.Takahashi.
    • 学会等名
      23rd Florida Artificial IntelligenceResearch Society Conference (FLAIRS-23),pp.150-151
    • 発表場所
      Florida, U.S.A..
    • 年月日
      2010-05-19
    • 関連する報告書
      2012 研究成果報告書
  • [学会発表] Algorithms for base node location problem in the virtual segment in store-carry-forward routing schemes2010

    • 著者名/発表者名
      Dou,R., A. Fujihara, and H. Miwa.
    • 学会等名
      Proc. International Conference on Intelligent Networking and Collaborative Systems, pp.374-379
    • 発表場所
      Thessaloniki, Greece
    • 関連する報告書
      2012 研究成果報告書
  • [学会発表] Detecting Critical Links for Keeping Shortest Distance from Clients to Servers during Failures

    • 著者名/発表者名
      Hiroyoshi Miwa, Nao Maeda
    • 学会等名
      IEEE/IPSJ International Symposium on Applications and the Internet
    • 発表場所
      Izmir, Turkey
    • 関連する報告書
      2012 実績報告書
  • [学会発表] Real-time Disaster Evacuation Guidance Using Opportunistic Communications

    • 著者名/発表者名
      Hiroyoshi Miwa, Akihiro Fujihara
    • 学会等名
      IEEE/IPSJ International Symposium on Applications and the Internet
    • 発表場所
      Izmir, Turkey
    • 関連する報告書
      2012 実績報告書
  • [学会発表] Reasoning about Relative Relationships in 3D Space for Objects Extracted from Dynamic Image Data

    • 著者名/発表者名
      Kazuko Takahashi
    • 学会等名
      ECAI-2012 Workshop on Spatio-Temporal Dynamics
    • 発表場所
      Monpellier, France
    • 関連する報告書
      2012 実績報告書
  • [学会発表] Performance Evaluation of Virtual Segment Method Based on Actual Road Network Topology at the Time of the Great East Japan Earthquake

    • 著者名/発表者名
      Hiroyoshi Miwa, Yuta Kimura
    • 学会等名
      4-th International Conference on Intelligent Networking and Collaborative Systems INCoS-2012
    • 発表場所
      Bucharest, Romania
    • 関連する報告書
      2012 実績報告書
  • [学会発表] Detecting Protected Links to Keep Reachability to Server against Failures

    • 著者名/発表者名
      Hiroyoshi Miwa, Koji Imagawa
    • 学会等名
      27th of the International Conference on Information Networking
    • 発表場所
      Bangkok, Thailand
    • 関連する報告書
      2012 実績報告書
  • [学会発表] An Argumentation System with Indirect Attacks

    • 著者名/発表者名
      Kazuko Takahashi
    • 学会等名
      Fifth International Conference on Agents and Artificial Intelligence
    • 発表場所
      Barcelona, Spain
    • 関連する報告書
      2012 実績報告書
  • [学会発表] Certified Merger for C Programs Using a Theorem Prover:A First Step

    • 著者名/発表者名
      Kazuko Takahashi, Yuki Goto
    • 学会等名
      28th International Conference on Computers and Their Applications
    • 発表場所
      Honolulu, Hawaii
    • 関連する報告書
      2012 実績報告書
  • [図書] PLCA: A Framework for Qualitative SpatialReasoning Based on Connection Patterns of Regions Qualitative Spatio-Temporal Representation and Reasoning Trends andFuture Directions Chapt 22012

    • 著者名/発表者名
      Hazarika,S.(ed.), K.Takahashi
    • 出版者
      IGIPublishers
    • 関連する報告書
      2012 研究成果報告書
  • [図書] Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions2012

    • 著者名/発表者名
      Shyamanta Hazarika(ed), Kazauko Takahashi
    • 出版者
      IGI Publishers
    • 関連する報告書
      2012 実績報告書

URL: 

公開日: 2010-11-30   更新日: 2019-07-29  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi