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

Research on Temporal Spatial Logic on the Verification of Behaviors of Multi-Agents Considering Security

Research Project

Project/Area Number 14580434
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  Kwansei Gakuin University, School of Science & Technology, Associate Professor, 理工学部, 助教授 (30330400)

Project Period (FY) 2002 – 2004
Project Status Completed (Fiscal Year 2004)
Budget Amount *help
¥2,800,000 (Direct Cost: ¥2,800,000)
Fiscal Year 2004: ¥500,000 (Direct Cost: ¥500,000)
Fiscal Year 2003: ¥1,300,000 (Direct Cost: ¥1,300,000)
Fiscal Year 2002: ¥1,000,000 (Direct Cost: ¥1,000,000)
Keywordsmultiagents / security / temporal spatial reasoning / RCC / knowledge representation / verification system / process / 定性空間推論
Research Abstract

This research aims at the development of software high reliability by providing a theoretical model for the multiagents' behaviors in the distributed environment, and developing the software based on this model.
The research results are as follows :
1.We have developed prototypes : multiagent controlling system in ad-hoc networks, access controlling system to distributed resources, and arrangement system for meeting schedules, and evaluated these systems by simulation. We have also discussed the introduction of verifying agents. As the result, we have proposed the mechanism that is applicable to environmental change without loading the heavy burden onto the network even if behaviors or intentions of agents conflict with each other.
2.We have extended RCC(Region Connection Calculus), one of temporal spatial reasoning systems, and proposed the model which can handle the spatial property and semantical property in a corporate manner. We have explored the complete algorithm in that positional relations of regions can be derived from semantical properties that hold on regions and vise versa. We have also implemented the system which transforms the numerical data representing figure or image to the symbolic expression, and the system for checking the equivalence of the expressions. As the result, we have extended the field of applications of temporal spatial reasoning systems.
3.We have modelled a beard game using process algebra, and showed that we can represent formally the interaction between processes and state transitions. We have also verified the termination of one turn and that of the entire game using a model checker. This approach can be applied to such problems as periodicity and termination of the propagation in agent communications.

Report

(4 results)
  • 2004 Annual Research Report   Final Research Report Summary
  • 2003 Annual Research Report
  • 2002 Annual Research Report
  • Research Products

    (42 results)

All 2005 2004 2003 Other

All Journal Article (33 results) Publications (9 results)

  • [Journal Article] 定性空間推論の新しい枠組DLCSとその上での操作2005

    • Author(s)
      住友孝郎, 高橋和子
    • Journal Title

      情報処理学会第52回プログラミング研究会発表資料

    • NAID

      110002769817

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Annual Research Report 2004 Final Research Report Summary
  • [Journal Article] ボードゲームBAOにおける周期的動作の解析2005

    • Author(s)
      稲畑康博, 高橋和子
    • Journal Title

      情報処理学会研究報告2005-MPS-53

      Pages: 29-32

    • NAID

      110002950932

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Annual Research Report 2004 Final Research Report Summary
  • [Journal Article] A Novel Framework DLCS for Qualitative Spatial Reasoning and Its Operations2005

    • Author(s)
      Takao SUMITOMO, Kazuko TAKAHASHI
    • Journal Title

      IPSJ SIG Technical Report PRO-52 January

    • NAID

      110002769817

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] An Analysis of Cyclic Behavior of Board Game BAO2005

    • Author(s)
      Yasuhiro INAHATA, Kazuko TAKAHASHI
    • Journal Title

      IPSJ SIG Notes 2005-MPS-53 March

      Pages: 29-32

    • NAID

      110002950932

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] An Intelligent Access Dispatching Mechanism Using Multiagent Framework2004

    • Author(s)
      高橋和子, 川島千明
    • Journal Title

      IASTED Artificial Intelligence and Applications 2004

      Pages: 166-171

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] Multiagent Planning with Incomplete Information in an Environment with Dense Interactions : A Case Study2004

    • Author(s)
      高橋和子, 川島千明
    • Journal Title

      K.G.Studies in Computer Science, Kwansei Gakuin University 18

      Pages: 3-11

    • NAID

      110002963112

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] Reasoning on Spatial Constraints over Regions2004

    • Author(s)
      高橋和子
    • Journal Title

      Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference

      Pages: 801-806

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Annual Research Report 2004 Final Research Report Summary
  • [Journal Article] ボードゲームBAOのCCSによる記述と解析2004

    • Author(s)
      稲畑康博, 高橋和子
    • Journal Title

      情報処理学会第48回プログラミング研究会発表資料

    • NAID

      110002768486

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] 性質の伝播に関する定性空間推論2004

    • Author(s)
      高橋和子
    • Journal Title

      コンピュータソフトウェア 21,4

      Pages: 37-42

    • NAID

      130004549020

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] DLCS:空間の定性的な表現方法2004

    • Author(s)
      住友孝郎, 高橋和子
    • Journal Title

      日本ソフトウェア科学会第21回大会講演論文集 (CD-R)

    • NAID

      130005006614

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Annual Research Report 2004 Final Research Report Summary
  • [Journal Article] ボードゲームBAOの動作の解析とモデルチェッカによる検証2004

    • Author(s)
      稲畑康博, 高橋和子
    • Journal Title

      第9回ゲームプログラミングワークショップ2004講演論文集

      Pages: 151-158

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Annual Research Report 2004 Final Research Report Summary
  • [Journal Article] An Intelligent Access Dispatching Mechanism Using Multiagent Framework2004

    • Author(s)
      Kazuko TAKAHASHI, Chiaki KAWASHIMA
    • Journal Title

      IASTED Artificial Intelligence and Applications 2004 February

      Pages: 166-171

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] Multiagent Planning with Incomplete Information in an Environment with Dense Interactions : A Case Study2004

    • Author(s)
      Kazuko TAKAHASHI, Chiaki KAWASHIMA
    • Journal Title

      K.G.Studies in Computer Science, Kwansei Gakuin University No.18 March

      Pages: 3-11

    • NAID

      110002963112

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] Reasoning on Spatial Constraints over Regions2004

    • Author(s)
      Kazuko TAKAHASHI
    • Journal Title

      Proceedings of the Seventeenth International Florida Arificial Intelligence Research Society Conference May

      Pages: 801-806

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] Representation and Analysis of Board Game BAO Using CCS2004

    • Author(s)
      Yasuhiro INAHATA, Kazuko TAKAHASHI
    • Journal Title

      IPSJ SIG Technical Report, PRO-48 March

    • NAID

      110002768486

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] Reasoning on Spatial Constraints over Regions2004

    • Author(s)
      Kazuko TAKAHASHI
    • Journal Title

      Computer Software Vol.21,No.4

      Pages: 37-42

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] DLCS : Qualitative Representation for Spatial Data2004

    • Author(s)
      Takao SUMITOMO, Kazuko TAKAHASHI
    • Journal Title

      Proceedings of the 21st Annual Meeting of Japan Society for Software Science and Technology September(CD-R)

    • NAID

      130005006614

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] Analysis of Cyclic Behavior of Board Game BAO and Its Verification Using Model Checker2004

    • Author(s)
      Yasuhiro INAHATA, Kazuko TAKAHASHI
    • Journal Title

      The 9th Game Programming Workshop November

      Pages: 151-158

    • NAID

      170000080233

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] 性質の伝播に関する定性空間推論2004

    • Author(s)
      高橋和子
    • Journal Title

      日本ソフトウェア科学会論文誌 21,4

      Pages: 37-42

    • NAID

      130004549020

    • Related Report
      2004 Annual Research Report
  • [Journal Article] 強相互作用を持つマルチエージェントによる効率的な問題解決方法2003

    • Author(s)
      川島千明, 高橋和子
    • Journal Title

      情報処理学会第64回大会講演論文集

      Pages: 301-302

    • NAID

      170000168476

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] モバイルエージェントを用いた動的ネットワークルーティングシステムの拡張および効率化2003

    • Author(s)
      河原崎兼介, 高橋和子
    • Journal Title

      情報処理学会第64回大会講演論文集

      Pages: 311-312

    • NAID

      170000168481

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] Reasoning about Propagation of Properties over Regions2003

    • Author(s)
      高橋和子
    • Journal Title

      Journal of Universal Computer Science 9,9

      Pages: 1030-1045

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] ボードゲームBAOの対戦戦略の解析と評価2003

    • Author(s)
      稲畑康博, 高橋和子
    • Journal Title

      情報科学技術フォーラム(FIT)2003論文集

      Pages: 271-273

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] マルチエージェント間の交渉による修正の連鎖を用いたスケジュール作成2003

    • Author(s)
      桝村友哉, 高橋和子
    • Journal Title

      情報科学技術フォーラム(FIT)2003論文集

      Pages: 411-412

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] 性質の伝播に関する定性空間推論2003

    • Author(s)
      高橋和子
    • Journal Title

      日本ソフトウェア科学会第20回大会講演論文集 (CD-R)

    • NAID

      130004549020

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] モバイルエージェントを用いた動的ネットワークルーチングシステムの拡張および効率化2003

    • Author(s)
      河原崎兼介, 高橋和子
    • Journal Title

      電子情報通信学会論文誌 J86-B,11

      Pages: 2433-2436

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] A Problem Solving by Multiagent in the Environment with Dense Interaction2003

    • Author(s)
      Chiaki KAWASHIMA, Kazuko TAKAHASHI
    • Journal Title

      Proceedings of the 64th IPSJ Annual Convention March

      Pages: 301-302

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] An Extension of Dynamic Routing Systems Using Mobile Agents2003

    • Author(s)
      Kensuke KAWARAZAKI, Kazuko TAKAHASHI
    • Journal Title

      Proceedings of the 64th IPSJ Annual Convention March

      Pages: 311-312

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] Reasoning about Propagation of Properties over Regions2003

    • Author(s)
      Kazuko TAKAHASHI
    • Journal Title

      Journal of Universal Computer Science Vol.9,No.9

      Pages: 1030-1045

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] Analysis and Evaluation of the Strategies for Board Game BAO2003

    • Author(s)
      Yasuhiro INAHATA, Kazuko TAKAHASHI
    • Journal Title

      IEICE/IPSJ Forum on Information Technology (FIT) 2003 September

      Pages: 271-273

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] Scheduling by Multiagent Negotiation Using a Chain of Changes2003

    • Author(s)
      Tomoya MASUMURA, Kazuko TAKAHASHI
    • Journal Title

      IEICE/IPSJ Forum on Information Technology (FIT) 2003 September

      Pages: 411-412

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] Qualitative Spatial Reasoning about Propagation of Properties2003

    • Author(s)
      Kazuko TAKAHASHI
    • Journal Title

      Proceedings of the 20th Annual Meeting of Japan Society for Software Science and Technology September(CD-R)

    • NAID

      130004549020

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Journal Article] An Extension of the Dynamic Network Routing System Using Mobile Agents2003

    • Author(s)
      Kensuke KAWARAZAKI, Kazuko TAKAHASHI
    • Journal Title

      The IEICE Transactions on Communications Vol.J86-B, No.11

      Pages: 2433-2436

    • NAID

      110003170379

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2004 Final Research Report Summary
  • [Publications] 河原崎兼介, 高橋和子: "モバイルエージェントを用いた動的ネットワークルーチングシステムの拡張および効率化"電子情報通信学会誌. J86-B,11. 2433-2436 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] 高橋 和子: "Reasoning about Propagation of Properties over Regions"Journal of Universal Computer Science. 9,9. 1030-1045 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] 川島千明, 高橋 和子: "An Intelligent Access Dispatching Mechanism using Multiagent Framework"Proc.of IASTED Artificial Intelligence and Applications 2004. 166-171 (2004)

    • Related Report
      2003 Annual Research Report
  • [Publications] 稲畑康博, 高橋 和子: "ボードゲームBAOの対戦戦略の解析と評価"情報科学技術フォーラム論文集. 271-273 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] 桝村友哉, 高橋 和子: "マルチエージェント間の交渉による修正の連鎖を用いたスケジュール作成"情報科学技術フォーラム論文集. 411-412 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] 高橋 和子: "性質の伝播に関する定性空間推論"日本ソフトウェア科学会第20回大会. (CD-ROM). (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] 稲畑泰広, 高橋 和子: "ボードゲームBAOのCCSによる記述と解析"情報処理学会第48回プログラミング研究会発表資料. (2004)

    • Related Report
      2003 Annual Research Report
  • [Publications] 川島千明, 高橋和子: "強相互作用を持つマルチエージェントによる効率的な問題解決方法"情報処理学会第65回全国大会論文集. (印刷中). (2003)

    • Related Report
      2002 Annual Research Report
  • [Publications] 河原崎兼介, 高橋和子: "モバイルエージェントを用いたネットワークルーティングシステムの拡張および効率化"情報処理学会第65回全国大会論文集. (印刷中). (2003)

    • Related Report
      2002 Annual Research Report

URL: 

Published: 2002-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi