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