論理推論システム、計算学習装置および論理推論方法

開放特許情報番号
L2013000604
開放特許情報登録日
2013/4/16
最新更新日
2016/6/2

基本情報

出願番号 特願2011-140720
出願日 2011/6/24
出願人 国立研究開発法人情報通信研究機構
公開番号 特開2013-008221
公開日 2013/1/10
登録番号 特許第5904525号
特許権者 国立研究開発法人情報通信研究機構
発明の名称 論理推論システムおよび論理推論方法
技術分野 情報・通信
機能 機械・部品の製造、制御・ソフトウェア
適用製品 論理推論システムおよび論理推論方法、ならびに、論理推論、または算術演算および論理演算を実行する計算学習装置
目的 学習機能を盛り込みつつ演繹推論を実行し、構築された知識の構造がグラフにおいて明示されるような論理推論システムを提供する。
効果 学習機能を盛り込みつつ演繹推論が実行され、構築された知識の構造がグラフにおいて明示される。
また、演繹推論のための論理プログラム、または、算術演算および論理演算を実行するプログラムを学習により、ユーザが所望する演算結果を出力するプログラムが作成される。
技術概要
論理で表わされた知識をもとに推論を実行するための論理推論システムであって、
前記知識を、後ろ向き推論の形式のデータフローグラフであって、複数の演算ノードおよび前記演算ノードの間を各々つなぐ複数のエッジから成るデータフローグラフを用いて表現し、
前記複数の演算ノードは、前記論理の各種演算に対応する演算ノードを含み、
前記演算ノードに対応づけられるシンボルは、前記論理における項に対して予め設定された数値に変換されたものが割り当てられ、
前記データフローグラフ上での各ノードの発火に基づくトークン伝搬により、前記データフローグラフをAND/ORグラフへ展開する展開手段と、

前記AND/ORグラフ上での各前記ノードの発火に基づく前記トークン伝搬により、前記論理に対する導出を実行する推論実行部とを備える、論理推論システム。
実施実績 【無】   
許諾実績 【無】   
特許権譲渡 【否】
特許権実施許諾 【可】

登録者情報

その他の情報

関連特許
国内 【無】
国外 【無】   
Copyright © 2017 INPIT