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

A study on the construction of a system for a qualitative spatial reasoning and its application

Research Project

Project/Area Number 22500141
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field Intelligent informatics
Research InstitutionKwansei Gakuin University

Principal Investigator

TAKAHASHI Kazuko  関西学院大学, 理工学部, 教授 (30330400)

Co-Investigator(Kenkyū-buntansha) MIWA Hiroyoshi  関西学院大学, 理工学部, 准教授 (40351738)
Project Period (FY) 2010 – 2012
Project Status Completed (Fiscal Year 2012)
Budget Amount *help
¥3,770,000 (Direct Cost: ¥2,900,000、Indirect Cost: ¥870,000)
Fiscal Year 2012: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2011: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2010: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
Keywords時空間推論 / 人工知能 / 定性推論 / ソフトウェア学
Research Abstract

This study proposes a framework of symbolic representation and reasoning on spatial data. We investigated the mechanism on qualitative treatment of spatial data of objects on a two-dimensional plane with foreground/background or those with relative height information. We got the following results. We set a rectangle with a requirement on visibility as a fundamental figure, and for a given set of fundamental figures, we find the superposition that satisfies all these requirements. We constructed the reasoning mechanism and implemented it, as well as showed the correctness of the reasoning. We also proposed a simulation method on spatial data with relative height information. In addition, we showed the method for event extraction from a time sequence of qualitative positional relations between objects in a three-dimensional space.

Report

(4 results)
  • 2012 Annual Research Report   Final Research Report ( PDF )
  • 2011 Annual Research Report
  • 2010 Annual Research Report
  • Research Products

    (34 results)

All 2013 2012 2011 2010 Other

All Journal Article (6 results) (of which Peer Reviewed: 4 results) Presentation (26 results) Book (2 results)

  • [Journal Article] Homesick LevyWalk and Optimal Forwarding Criterion of Utility-based Routing under Sequential Encounters2013

    • Author(s)
      Miwa,H. and A. Fujihara.
    • Journal Title

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

      Volume: Vol.460 Pages: 207-231

    • DOI

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

    • ISBN
      9783642349515, 9783642349522
    • Related Report
      2012 Final Research Report
    • Peer Reviewed
  • [Journal Article] Criterion of Utility-based Routing under Sequential Encounters2013

    • Author(s)
      Hiroyoshi Miwa, Akihiro Fujihara
    • Journal Title

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

      Volume: 460 Pages: 207-231

    • Related Report
      2012 Annual Research Report
  • [Journal Article] Superposition of Rectangles withVisibility Requirement: A Qualitative Approach2012

    • Author(s)
      Konishi,T. and K.Takahashi.
    • Journal Title

      International Journal On Advances in Software

      Volume: Vol.4, No.3&4 Pages: 422-433

    • Related Report
      2012 Final Research Report
    • Peer Reviewed
  • [Journal Article] Superposition of Rectangles with Visibility Requirement: A Qualitative Approach2012

    • Author(s)
      Kazuko Takahashi, Takako Konishi
    • Journal Title

      International Journal On Advances in Software

      Volume: 4 Pages: 422-433

    • Related Report
      2012 Annual Research Report
  • [Journal Article] Probabilistic Symmetry Reduction for a System with Ring Buffer2011

    • Author(s)
      Kazuko TAKAHASHI, Toshifumi SEKIZAWA
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E94-D Pages: 967-975

    • NAID

      10029506938

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Links Added to a Network to Alleviate Performance Degradation following a Link Failure2011

    • Author(s)
      Nozomu KATAYAMA
    • Journal Title

      IEICE Transactions on Fundamentals

      Volume: E94-B Pages: 1630-1639

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Presentation] Reasoning about RelativeRelationships in 3D Space for Objects Extracted from Dynamic Image Data2012

    • Author(s)
      Takahashi,K.
    • Organizer
      ECAI-2012 Workshop on Spatio-Temporal Dynamics (STeDy 2012).
    • Place of Presentation
      Montpellier, France.
    • Year and Date
      2012-08-28
    • Related Report
      2012 Final Research Report
  • [Presentation] Fujihara. Real-timeDisaster Evacuation Guidance Using Opportunistic Communications2012

    • Author(s)
      Miwa,H. and A.
    • Organizer
      Proc. SAINT2012
    • Place of Presentation
      Izmir,Turkey
    • Year and Date
      2012-06-16
    • Related Report
      2012 Final Research Report
  • [Presentation] 矩形同士の埋め込み型重ね合わせについての定性空間推論2012

    • Author(s)
      小西貴子,高橋和子
    • Organizer
      電子情報通信学会技術研究報告:知能ソフトウェア工学研究会,KBSE2011-69
    • Place of Presentation
      名古屋
    • Year and Date
      2012-03-15
    • Related Report
      2012 Final Research Report
  • [Presentation] 矩形同士の埋め込み型重ね合わせについての定性空間推論2012

    • Author(s)
      小西貴子
    • Organizer
      電子情報通信学会知能ソフトウェア工学研究会
    • Place of Presentation
      名古屋大学
    • Year and Date
      2012-03-15
    • Related Report
      2011 Annual Research Report
  • [Presentation] Optimal Forwarding Criterion ofUtility-based Routing Under SequentialEncounters for Delay Tolerant Networks2011

    • Author(s)
      Fujihara,A., S. Ono, and H. Miwa.
    • Organizer
      Proc. IEEE INCoS, 279-286, Fukuoka, Japan
    • Place of Presentation
      Best Paper Award
    • Year and Date
      2011-12-02
    • Related Report
      2012 Final Research Report
  • [Presentation] A Semantics of Argumentation under Incomplete Information2011

    • Author(s)
      Ken SATOH
    • Organizer
      Fifth International Workshop on Juris-informatics (JURISIN 2011)
    • Place of Presentation
      サンポートホール高松
    • Year and Date
      2011-12-02
    • Related Report
      2011 Annual Research Report
  • [Presentation] Network Design Method by Link Protection for Network Load Alleviation Against Failures2011

    • Author(s)
      Akira NOGUCHI
    • Organizer
      International Conference on Intelligent Networking and Collaborative Systems (INCoS2011)
    • Place of Presentation
      福岡工業大学
    • Year and Date
      2011-11-30
    • Related Report
      2011 Annual Research Report
  • [Presentation] An Argumentation Model with Queries2011

    • Author(s)
      Yu NAMBU
    • Organizer
      Ninth European Workshop on Multi-Agent Systems (EUMAS11)
    • Place of Presentation
      Maarstricht, The Neitherlands
    • Year and Date
      2011-11-15
    • Related Report
      2011 Annual Research Report
  • [Presentation] 矩形同士の重ね合わせについての定性空間推論システムの拡張2011

    • Author(s)
      小西貴子,高橋和子
    • Organizer
      日本ソフトウェア科学会第28回大会
    • Place of Presentation
      沖縄
    • Year and Date
      2011-09-27
    • Related Report
      2012 Final Research Report
  • [Presentation] 矩形同士の重ね合わせについての定性空間推論システムの拡張2011

    • Author(s)
      小西貴子
    • Organizer
      日本ソフトウェア科学会第28回大会
    • Place of Presentation
      沖縄産業支援センター(那覇市)
    • Year and Date
      2011-09-27
    • Related Report
      2011 Annual Research Report
  • [Presentation] Method of Locating Mirror Servers to Alleviate Load on Servers and Links2011

    • Author(s)
      Ryota NAKAMURA
    • Organizer
      The 11th Annual International Symposium on Applications and the Internet (SAINT2011)
    • Place of Presentation
      Munich, Germany
    • Year and Date
      2011-07-18
    • Related Report
      2011 Annual Research Report
  • [Presentation] Symbolic Representation and Reasoning for Rectangles with Superposition2011

    • Author(s)
      Konishi,T. and K.Takahashi.
    • Organizer
      The Third International Conference on Advances in Databases, Knowledge, and Data Applications (DBKDA 2011), pp.71-76
    • Place of Presentation
      St.Maarten, The Neitherlands Antilles (Best Paper Award).
    • Year and Date
      2011-06-25
    • Related Report
      2012 Final Research Report
  • [Presentation] 動的議論システムの意味論的考察2011

    • Author(s)
      南部優
    • Organizer
      第163回情報処理学会知能システム研究会
    • Place of Presentation
      名古屋大学 東山キャンパス
    • Year and Date
      2011-03-23
    • Related Report
      2010 Annual Research Report
  • [Presentation] サーバとネットワークへの負荷集中を回避するサーバ配置2011

    • Author(s)
      中村亮太
    • Organizer
      電子情報通信学会ネットワークシステム研究会
    • Place of Presentation
      沖縄コンベンションセンター
    • Year and Date
      2011-03-04
    • Related Report
      2010 Annual Research Report
  • [Presentation] Symbolic Representation and Reasoning for Rectangles with Superposition2011

    • Author(s)
      Takako KONISHI
    • Organizer
      The Third International Conference on Advances in Databases, Knowledge, and Data Applications (DBKDA 2011)
    • Place of Presentation
      St.Marrten, Neitherlands Antailles
    • Year and Date
      2011-01-24
    • Related Report
      2010 Annual Research Report
  • [Presentation] Critical Links Detection to Maintain Small Diameter against Link Failures2010

    • Author(s)
      Takeshi FUJIMURA
    • Organizer
      International Conference on Intelligent Networking and Collaborative Systems (INCoS2010), Third International Workshop on Information Network Design (WIND2010)
    • Place of Presentation
      Thessaloniki, Greece
    • Year and Date
      2010-11-25
    • Related Report
      2010 Annual Research Report
  • [Presentation] 矩形同士の重ね合わせについての定性空間推論2010

    • Author(s)
      小西貴子,高橋和子
    • Organizer
      人工知能学会研究会資料SIG-FPAI-B002
    • Place of Presentation
      北海道
    • Year and Date
      2010-09-24
    • Related Report
      2012 Final Research Report
  • [Presentation] Rectangle Reasoning: A QualitativeSpatial Reasoning with Superposition2010

    • Author(s)
      Kumokawa,S. and K.Takahashi.
    • Organizer
      23rd Florida Artificial IntelligenceResearch Society Conference (FLAIRS-23),pp.150-151
    • Place of Presentation
      Florida, U.S.A..
    • Year and Date
      2010-05-19
    • Related Report
      2012 Final Research Report
  • [Presentation] Algorithms for base node location problem in the virtual segment in store-carry-forward routing schemes2010

    • Author(s)
      Dou,R., A. Fujihara, and H. Miwa.
    • Organizer
      Proc. International Conference on Intelligent Networking and Collaborative Systems, pp.374-379
    • Place of Presentation
      Thessaloniki, Greece
    • Related Report
      2012 Final Research Report
  • [Presentation] Detecting Critical Links for Keeping Shortest Distance from Clients to Servers during Failures

    • Author(s)
      Hiroyoshi Miwa, Nao Maeda
    • Organizer
      IEEE/IPSJ International Symposium on Applications and the Internet
    • Place of Presentation
      Izmir, Turkey
    • Related Report
      2012 Annual Research Report
  • [Presentation] Real-time Disaster Evacuation Guidance Using Opportunistic Communications

    • Author(s)
      Hiroyoshi Miwa, Akihiro Fujihara
    • Organizer
      IEEE/IPSJ International Symposium on Applications and the Internet
    • Place of Presentation
      Izmir, Turkey
    • Related Report
      2012 Annual Research Report
  • [Presentation] Reasoning about Relative Relationships in 3D Space for Objects Extracted from Dynamic Image Data

    • Author(s)
      Kazuko Takahashi
    • Organizer
      ECAI-2012 Workshop on Spatio-Temporal Dynamics
    • Place of Presentation
      Monpellier, France
    • Related Report
      2012 Annual Research Report
  • [Presentation] Performance Evaluation of Virtual Segment Method Based on Actual Road Network Topology at the Time of the Great East Japan Earthquake

    • Author(s)
      Hiroyoshi Miwa, Yuta Kimura
    • Organizer
      4-th International Conference on Intelligent Networking and Collaborative Systems INCoS-2012
    • Place of Presentation
      Bucharest, Romania
    • Related Report
      2012 Annual Research Report
  • [Presentation] Detecting Protected Links to Keep Reachability to Server against Failures

    • Author(s)
      Hiroyoshi Miwa, Koji Imagawa
    • Organizer
      27th of the International Conference on Information Networking
    • Place of Presentation
      Bangkok, Thailand
    • Related Report
      2012 Annual Research Report
  • [Presentation] An Argumentation System with Indirect Attacks

    • Author(s)
      Kazuko Takahashi
    • Organizer
      Fifth International Conference on Agents and Artificial Intelligence
    • Place of Presentation
      Barcelona, Spain
    • Related Report
      2012 Annual Research Report
  • [Presentation] Certified Merger for C Programs Using a Theorem Prover:A First Step

    • Author(s)
      Kazuko Takahashi, Yuki Goto
    • Organizer
      28th International Conference on Computers and Their Applications
    • Place of Presentation
      Honolulu, Hawaii
    • Related Report
      2012 Annual Research Report
  • [Book] PLCA: A Framework for Qualitative SpatialReasoning Based on Connection Patterns of Regions Qualitative Spatio-Temporal Representation and Reasoning Trends andFuture Directions Chapt 22012

    • Author(s)
      Hazarika,S.(ed.), K.Takahashi
    • Publisher
      IGIPublishers
    • Related Report
      2012 Final Research Report
  • [Book] Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions2012

    • Author(s)
      Shyamanta Hazarika(ed), Kazauko Takahashi
    • Publisher
      IGI Publishers
    • Related Report
      2012 Annual Research Report

URL: 

Published: 2010-11-30   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi