Pat

J-GLOBAL ID：202103002671342660

オートマトン生成装置、オートマトン生成方法及びプログラム

Inventor： 和賀 正樹
Applicant, Patent owner： 大学共同利用機関法人情報・システム研究機構
Agent (2)： 伊東 忠重 ,  伊東 忠彦
Gazette classification：公開公報
Application number (International application number)：2020072577
Publication number (International publication number)：2021170192
Application date： Apr. 14, 2020
Publication date： Oct. 28, 2021
Summary：

【課題】物理情報システムにより近似したオートマトンを生成するための技術を提供することである。【解決手段】本発明の一態様は、物理情報システムを近似するオートマトンを学習する学習部と、モデル検査に従って、時相論理により記述された仕様に対して前記オートマトンを検証する検証部と、検証結果に応じて、遺伝的アルゴリズムに従って前記物理情報システムの出力と前記オートマトンの出力とが不一致となる入力を探索する探索部と、を有し、前記学習部は、探索結果に応じて前記オートマトンを再学習するオートマトン生成装置に関する。【選択図】図4

Claim (excerpt)：

物理情報システムを近似するオートマトンを学習する学習部と、 モデル検査に従って、時相論理により記述された仕様に対して前記オートマトンを検証する検証部と、 検証結果に応じて、遺伝的アルゴリズムに従って前記物理情報システムの出力と前記オートマトンの出力とが不一致となる入力を探索する探索部と、 を有し、 前記学習部は、探索結果に応じて前記オートマトンを再学習するオートマトン生成装置。

IPC (1)：

G06N 3/12

FI (1)：

G06N3/12 160

Patent cited by the Patent：

Cited by applicant (3)

• GUIベースのアプリケーションのモデルを抽出するクローリング
  Gazette classification：公開公報   Application number：特願2015-034064   Applicant：富士通株式会社
• 状態遷移設計支援装置
  Gazette classification：公開公報   Application number：特願2009-089500   Applicant：株式会社東芝
• 情報処理装置、情報処理回路、情報処理システム及び情報処理方法
  Gazette classification：公開公報   Application number：特願2019-129643   Applicant：大学共同利用機関法人情報・システム研究機構