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

2008 Fiscal Year Annual Research Report

形式言語に対する例からの学習を行う効率的アルゴリズムの開発・応用

Research Project

Project/Area Number 20500007
Research InstitutionThe University of Electro-Communications

Principal Investigator

若月 光夫  The University of Electro-Communications, 電気通信学部, 助教 (30251705)

Co-Investigator(Kenkyū-buntansha) 富田 悦次  電気通信大学, 名誉教授 (40016598)
Keywords計算論的学習理論 / 正例からの学習 / 極限同定 / 等価性判定 / アルゴリズム / 決定性文脈自由言語 / プッシュダウンオートマトン / 変換器
Research Abstract

計算論的学習理論は,人工知能の実現において最も重要な研究分野の一つである機械学習の可能性を,数理的で厳密に解析を行う破究パラダイムである.このような研究の対象として形式言語を選択し,その部分クラスの中で実用上重要な決定性文脈自由言語を受理する決定性プッシュダウンオートマトン(DPDA)またはそれに対応した文法等について,その構造に妥当な制約を課した部分クラスを幾つか対象として選び,計算論的な手法によって学習アルゴリズムを開発し,その応用を図ることを目的として研究を行った.本年度は以下の研究成果を得た.
1. 学習アルゴリズム開発の基礎構築DPDAに出力機構を付与した決定性プッシュダウン変換器(DPDT)の等価性問題について,実時間空スタック受理式限定ワンカウンタ変換器と呼ぶDPDTの部分クラスに対して,その等価性判定が多項式時間で行えることを証明した.等価性判定は形式言語の学習において重要な意味を持っており,上記成果は対象とするDPDTに対する質問による学習に利用できる.
2. 学習アルゴリズムの開発Szilard strict DROCAと呼ぶDPDAの部分クラスに対する,正例からの極限同定アルゴリズムを開発し,ある意味において多項式時間極限同定可能なことを明らかにした.また,準同型写像による変換によって言語を拡張したクラスについて,正例から極限同定可能な新たな真部分クラスを示し,その極限同定アルゴリズムを提案した.
3. 学習アルゴリズムの応用ある制約を課した順序機械でさえ,与えられた入出力例から最小状態数のものを多項式時間で極限同定するのがNP困難であることを示し,それを基盤とした基本的な暗号システムを提案した.

  • Research Products

    (5 results)

All 2009 2008 Other

All Journal Article (2 results) (of which Peer Reviewed: 2 results) Presentation (2 results) Remarks (1 results)

  • [Journal Article] 実時間空スタツク受理式決定性限定ワンカウンタ変換器の多項式時間等価性判定2008

    • Author(s)
      清野和司, 富田悦次, 若月光夫
    • Journal Title

      電子情報通信学会論文誌D分冊 J91-D

      Pages: 1188-1201

    • Peer Reviewed
  • [Journal Article] Polynomial time identification of strict deterministic restricted one-counter automata in some class from positive data2008

    • Author(s)
      Mitsuo Wakatsuki, Etsuji Tomita
    • Journal Title

      IEICE Transactions on Information and Systems E91-D

      Pages: 1704-1718

    • Peer Reviewed
  • [Presentation] 準同型写像によって拡張されたある言語クラスに対する正例からの極限同定2009

    • Author(s)
      若月光夫, 富田悦次
    • Organizer
      情報処理学会第73回数理モデル化と問題解決研究会
    • Place of Presentation
      沖縄科学技術研究基盤機構OIST Seaside House
    • Year and Date
      2009-03-05
  • [Presentation] オートマトンの学習困難性を安全性の基盤とする暗号システムについて2009

    • Author(s)
      大久保誠也, 西野哲朗, 若月光夫
    • Organizer
      2008年度冬のLAシンポジウム
    • Place of Presentation
      京都大学数理解析研究所420号室
    • Year and Date
      2009-02-04
  • [Remarks]

    • URL

      http://kjk.office,uec.ac.jp/Profiles/OOO1/0000405/profile.html

URL: 

Published: 2010-06-11   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi