特許

J-GLOBAL ID：201603004304764232

状態遷移対応推定装置及び状態遷移対応推定方法

発明者： 今井 健男 ,  酒井 政裕
出願人/特許権者： 株式会社東芝
代理人 (3件)： 勝沼 宏仁 ,  関根 毅 ,  鈴木 順生
公報種別：公開公報
出願番号（国際出願番号）：特願2014-185487
公開番号（公開出願番号）：特開2016-057978
出願日： 2014年09月11日
公開日（公表日）： 2016年04月21日
要約：

【課題】2つのオートマトン間の対応関係を、一致の尤度が高くなるように推定する状態遷移対応推定装置及び状態遷移対応推定方法を提供する。【解決手段】一実施形態に係る状態遷移対応推定装置は、作成部と、求解部と、抽出部とを備える。作成部は、複数の状態と状態間の状態遷移とをそれぞれ含む第1のオートマトン及び第2のオートマトンの対応関係を示す論理式を、第2のオートマトンが第1のオートマトンを模倣するという前提で作成する。求解部は、真になる節が最大となる論理式の解を求める。抽出部は、解に基づいて、対応関係を抽出する。【選択図】図1

請求項（抜粋）：

複数の状態と前記状態間の状態遷移とをそれぞれ含む第1のオートマトン及び第2のオートマトンの対応関係を示す論理式を、前記第2のオートマトンが前記第1のオートマトンを模倣するという前提で作成する作成部と、 真になる節が最大となる前記論理式の解を求める求解部と、 前記解に基づいて、前記対応関係を抽出する抽出部と、 を備える状態遷移対応推定装置。

IPC (1件)：

G06F 11/36

FI (1件)：

G06F9/06 620P

Fターム (3件)：

5B376BB05 ,  5B376BC38 ,  5B376BC69