特許
J-GLOBAL ID:201503003791896803

情報処理方法、プログラム及び装置

発明者:
出願人/特許権者:
代理人 (1件): 原田 一男
公報種別:特許公報
出願番号(国際出願番号):特願2011-185575
公開番号(公開出願番号):特開2013-047869
特許番号:特許第5817341号
出願日: 2011年08月29日
公開日(公表日): 2013年03月07日
請求項(抜粋):
【請求項1】 パラメータセットとコストとの関係を表すコスト関数のデータを格納する第1のデータ格納部に格納されている前記コスト関数のデータから、限定子除去法についての問題を生成する第1の処理と、 項置換による限定子除去法についての処理を実施する第1のモジュールに、生成された前記問題について処理を実施させ、第1の処理結果を取得する第2の処理と、 前記第1の処理結果が、項置換が不可能な部分問題のデータを含む場合には、数値解析処理を実施する第2のモジュールに、当該項置換が不可能な部分問題について前記コストを最小化する処理を実施させ、第2の処理結果を取得する第3の処理と、 前記第1の処理結果が、項置換が行われた部分問題の解である論理式を含む場合には、当該論理式からコスト最小値を特定するための第1のデータを生成する第4の処理と、 前記第2の処理結果と前記第1のデータが生成された場合には当該第1のデータとから、前記問題に対するコスト最小を表すデータを生成する第5の処理と、 を、コンピュータに実行させるためのプログラム。
IPC (1件):
G06N 99/00 ( 201 0.01)
FI (1件):
G06N 99/00 180
引用特許:
出願人引用 (1件)
引用文献:
出願人引用 (3件)

前のページに戻る