一般節理論における解釈からの学習に関する一考察(<特集>自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
スポンサーリンク
概要
- 論文の詳細を見る
帰納論理プログラミングの枠組みにおいて例を解釈とする解釈からの学習が提案されているが,必ずしも完全な解釈が与えられるということはなく,部分的に各基礎原子式への真理値が与えられることもある.そこで本研究では完全な解釈を例だけを例とせず,部分解釈を例とする部分解釈からの学習に焦点をあてアルゴリズムを提案する.提案アルゴリズムによって不完全な情報のもとで帰納学習を行うことが可能となる.
- 2002-05-17
著者
-
井上 克巳
国立情報学研究所
-
羽根田 博正
神戸大学
-
羽根田 博正
神戸大学大学院自然科学研究科
-
山崎 紀昭
神戸大学大学院自然科学研究科
-
井上 克巳
神戸大学大学院自然科学研究科
-
山崎 紀昭
神戸大学大学院自然科学研究科:神戸大学工学部電気電子工学科
関連論文
- アブダクションとインダクション(論理に基づく推論研究の動向)
- 解集合プログラミング(論理に基づく推論研究の動向)
- SATソルバーの基礎(最近のSAT技術の発展)
- 特集「最近のSAT技術の発展」にあたって(最近のSAT技術の発展)
- 特集「最近のSAT技術の発展」にあたって
- 特集「論理に基づく推論研究の動向」にあたって
- 競合状況における投機的計算の導入に関する考察(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
- アブダクションとインダクション
- SOLにおけるタブ口証明反転法とその応用(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
- 極小限定モデルの解集合プログラミングによる計算(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
- 複数のSATソルバを用いたジョブショップスケジューリング問題の解法(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
- SATソルバの並列実行に関する一考察(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
- 優先的解集合の論理プログラミングによる計算(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
- [招待論文]結論発見手続きとその応用(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
- 一般節理論における解釈からの学習に関する一考察(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
- 解集合プログラミング
- 論理プログラミングから解集合プログラミングへ(論理と推論技術の展開)
- CF帰納法の効率的実装とパスウェイ推論への応用 (特集「知識発見の諸科学への応用」および一般)
- PrologからJavaへのトランスレータ処理系とその応用
- CF帰納法の理論的再構築について(「自動化:推論,発見,学習,データマイニング」及び一般)
- 極小限定を用いた帰納推論
- 効率的なSATプランニングとSATスケジューリングのための補題再利用(「自動化:推論,発見,学習,データマイニング」及び一般)
- ペナルティ関数法によるSAWフィルタのロバスト最適設計
- 投機的に計算するマルチエージェントシステムにおける実時間意思決定に関する考察(セッション : 社会システムと知能(エージェントモデルと意思決定), 「社会システムにおける知能」及び一般)
- CF帰納法における一般化に関する考察第2報(セッション : 一般(知識処理), 「社会システムにおける知能」及び一般)
- メッセージ通信を用いた分散型結論発見(セッション : 一般(知識処理), 「社会システムにおける知能」及び一般)
- 投機的に計算するマルチエージェントシステムにおける実時間意思決定に関する考察(社会システムと知能(エージェントモデルと意思決定), 「社会システムにおける知能」及び一般)
- CF 帰納法における一般化に関する考察:第2報(一般(知識処理), 「社会システムにおける知能」及び一般)
- メッセージ通信を用いた分散型結論発見(一般(知識処理), 「社会システムにおける知能」及び一般)
- ダイアグラムに基づく法的論争支援システム
- 複数のロバスト仕様をみたすPID制御器の設計
- ロボットの動的制御における計算の並列化問題に対する最適化および準最適化アルゴリズム
- 非凸多角形区間演算とそのインプリメント
- 最適化コンパイラによるロボット制御プログラムの開発
- ある種のマルチDSPシステムにおける多目的最適化問題に対する分枝限定法の適用
- アフォーダンス理論による人工技能への接近 : 記憶と身体性
- 可変近傍探索法による三電極SAWフィルタの最適化設計
- アフォーダンス理論に基づく知能ロボットの創発 : 身体の形状と環境
- 手先コンプライアンスを考慮した冗長アームの最適姿勢問題とその区間解析による解法
- 今西進化論に基づく遺伝アルゴリズムによるモジュール配置問題の多様な最適解の探索
- 今西進化論に基づく遺伝アルゴリズムによる多様なパレート最適解の抽出法 - 多目的資源分割問題を実例として -
- 高速区間二分法による非線形方程式の全解探索とロボットアームの逆運動学問題への適用
- GKSを用いたマルチスクリーン・マルチウィンドウグラフィックスシステム
- パーソナルコンピュータを利用した電気回路解析用CADグラフィックスシステム
- 大学の国際化とメディア利用の展望 : 大学・機関における国際学術・教育交流活動の実態および関心調査から
- 遺伝的アルゴリズムとアフォーダンスを用いた知能ロボットの創発
- 有限状態機械に対する形式的検証
- 距離に基づく遺伝アルゴリズムの構築法 -表現型の距離と調和交叉法-
- 巡回セールスマン問題に対する遺伝的アルゴリズムの構成法 : 表現型の距離と調和交叉法
- 正則表現論理シミュレ-ション手法に基づく非同期順序回路の検証
- 凸多面体リヤプノフ関数を用いた複合系の安定解析II
- 動的凸包算法の高速化
- CF帰納法における一般化に関する考察
- 凸多面体リヤプノフ関数を用いた複合系の安定解析
- エージェント間通信におけるアブダクションによる投機的計算(マルチエージェント)
- 二分決定グラフの並列構成アルゴリズムについて(理論計算機科学とその周辺)
- ロボットの逆動力学計算に対する最適化システム
- ロボット制御則の並列化問題に対する遺伝アルゴリズムの適用
- ロボット制御則の並列化問題に対する重み付きエッジ交叉法
- 多角形区間演算を用いたゲイン余裕の算出
- ある種のマルチDSPシステムのスケジューリング問題に対する最適化アルゴリズム
- ロボットの動的制御における計算の並列化アルゴリズムとオブジェクト指向による実現
- SA-1-8 多角形区間演算を用いたロバスト制御系の解析・設計(SA-1. 区間演算の工学的応用,シンポジウム)
- 多角形区間演算のロバスト根軌跡法への適用
- リヤプノフ関数の自動生成と安定領域の推定
- ハイブリッドシミュレータを用いたδ差分実現によるEMM制御系の評価
- 多角形区間演算の改良と不確かさを含む伝達関数の値集合の推定 (電気関連学会関西支部連合大会)
- 多角形区間演算を用いた不確かさをもつむだ時間制御系の安定度の解析 (ロバスト制御と適応制御--不確かさをもつ対象の制御)
- 非線形周期解の存在と安定性について
- 遺伝アルゴリズムを枠組としたメタ戦略の構築法-グラフ彩色問題を実例として-
- 操作力を考慮した人工腕の最適姿勢問題と区間解析による大域的最適化
- ロボット制御則の並列処理におけるタスクの自動生成手法 -数式の代数的変換による並列化-
- デフォルト規則を含む拡張論理プログラムの学習
- タブローに基づく論理的帰結発見手続きSOL
- 非共有記憶型並列計算機上での二分決定グラフの並列化とその応用
- SATソルバと後ろ向き推論によるアクション言語Αの実装
- 随伴回路を用いたサイリスタ回路の定常解析と汎用定常解析プログラムANASPについて
- 正則表現論理シミュレータの実現について
- 平成2年産業応用部門全国大会
- アクション言語Aにおける行動規則の学習
- 非決定性アクション言語NA上のプランニング手続き
- 投機的計算を行う協調型マルチエージェントシステムの構築に関する一手法 (小特集 使えるAI基礎技術)
- ユーザの嗜好を取り入れた文書評価を行うWeb上の情報検索 (小特集 使えるAI基礎技術)
- 補題の利用による効率的なSOL導出の実現
- SATソルバによるアクション言語処理系の実装
- SATソルバによるアクション言語処理系の実装
- 有限オートマトンに基づく非決定性アクション言語
- マルチDSPシステムによるスループット時間が最短であるディジタル制御器の実現
- 非線形等価電気回路による直流法潮流計算と潮流最適化
- 論理回路シミュレータの入出力インタフェースについて
- アクション言語Aにおける行動規則の学習
- 拡張した記述関数法によるサイリスタ回路の解析
- タブロ-法によるサイリスタ回路のディジタルシミュレ-ション
- プランニンググラフとSATプランニング(「プランニング技術の進展と新たな応用展開」)
- 「SATソルバー」(私のブックマーク)
- モデル生成を用いた代謝ネットワークにおける極小活性パスウェイの列挙
- O-041 システムズ・レジリエンス(サービス・クラウド,O分野:情報システム)
- 多目的分散制約最適化問題における厳密/非厳密解法の提案(理論,ソフトウェアエージェントとその応用論文)
- 分散制約最適化問題 : 擬似木に基づくハイブリッド型の解法の提案(理論,ソフトウェアエージェントとその応用論文)
- N-016 サイバーセキュリティ問題の分散型多元制約最適化によるモデル化と解法(N分野:教育・人文科学,一般論文)