プログラム合成における対話型知識獲得支援と知識デバッギング
スポンサーリンク
概要
- 論文の詳細を見る
筆者らはユーザとシステムとが共同して問題を解決する「協調的問題解決システム」についての研究を行っている.現在,対象領域として「プログラム合成における対話型知識獲得支援と知識デバッギング」を取り上げ,知識のデバッギングを効率的に支援するシステムの構築を進めている.具体的には,既に開発済みの「自然言語仕様からのプログラム合成システム」を土台として,システムの特徴を生かした知識の獲得とデバッギングを支援する機能を取り入れていくという形で構築を行っている.本稿では,知識のデバッギングに有効な支援機能について報告する.
- 一般社団法人情報処理学会の論文
- 1986-10-01
著者
関連論文
- エネルギー差分胸部X線画像による肺腫瘤陰影の検出 : スケールスペースによるサイズアダプティブフィルタ
- 空欄補充問題を用いたプログラム理解支援
- プログラム理解の促進制御に向けて : 空欄補充問題と認知的負荷
- プログラム理解の促進制御に向けて-空欄補充問題と認知的負荷-
- プログラムにおける因果理解の表現と空欄補充問題への応用
- 配送スケジューリングにおけるジョブのグループ化について
- 群化に基づく図形パターンの階層表現の生成手法
- 感覚的情報を扱うためのPrologとニューラルネットワークの結合
- 決定支援における感覚的情報の処理手法
- ユーザのふるまいに対するメニュー構造の差異の影響分析
- ソフトウエア移行におけるユーザモデルの再構成
- Prologを対象としたソースプログラムからのプログラム仕様自動生成 : 構造と引数操作パターンに基づく変形解析法の提案
- ESP言語上のウィンドウ制御プログラム開発支援システムWINCS
- 現実関係モデルを導入した自然語による検索キーの取り扱い : 再利用プログラムベースの構築を目指して
- ユーザモデルを利用した説明文生成プランニング
- プログラムの類似性定義のためのネットワーク表現
- プログラム合成システムWINCSのための知識獲得サブシステム
- インクリメンタルPROLOGコンパイラの設計と実現
- ESP言語上のウィンドウ制御プログラムの開発を支援するシステムWINCS
- 事象駆動型と予測駆動型を融合した文脈解析手法
- 自然言語理解に基づくプログラム合成 (「知的プログラミングの基礎」)
- Prologと関係データベースとの結合システムDB-Prolog
- 自然言語による仕様からの自動プログラム合成
- マニュアルレスシステムにおける説明文生成(2)
- 仮想機械による述語論理型構文解析プログラムの効率改善について
- 分散制約充足におけるエージェントの非集中的組織化
- 山登り法を用いた分散制約充足における組織化
- 分散制約充足における組織化の負荷分散
- 山登り法を用いた分散制約充足における組織化
- 山登り法を用いた分散制約充足における組織化
- マニュアルレスシステムにおける説明文生成(1)
- 拡張ユニフィケーションを用いたパーザIPの実現手法
- いかにプログラム空欄補充問題を作るか?
- 補助問題の定式化 ( 特集 : 「コンピュータによる学習支援」)
- 力学問題における補助問題の分類・生成
- 力学における誤り修正支援を目的としたフェイクシミュレーションの提案
- Fake Simulationによる誤りの修正支援
- 操作型学習環境における誤りの修正支援
- インタラクション可能な力学のシミュレーション機能
- 適応的パスプレビュー : ハイパー空間における探究学習のためのナビゲーション支援 (先端メディアの教育利用と教材データの格納・再利用/一般
- WWWにおける学習リソースの組織化
- WWWにおける学習リソースのデザインシナリオ見積もり手法
- 筆者の自動照合のための偽筆の分析
- 書写技能に基づく筆跡に現れる個人性の抽出
- 算数の文章題を対象とした問題演習支援機能の実現
- 問題理解モデルに基づく問題解説 : 解説の生成
- 問題理解モデルに基づく問題解説 : モデルと問題分類
- 説明による対象理解支援のための学習環境について
- 認知的負荷の適用を指向した教授モデル : CLATとその実験的評価
- 操作可能なPDGによるプログラミング支援について
- ハイパー空間における主体的学習プロセスのリフレクション支援
- Web における学習者のナビゲーションプラニングを支援する環境について
- ハイパー空間におけるリフレクション支援(メタ認知を促進・支援する学習システム/一般)
- ハイパー空間におけるリフレクション支援 (テーマ:「メタ認知を促進・支援する学習システム」および一般)
- WWWにおける学習リソースのローカルインデクシング支援
- WWW上における学習パスプラニング支援環境の構築とその評価
- ハイパー空間における再考支援のための Interactive History
- WWW 上における学習パスプランニング支援環境の構築とその評価
- ハイパー空間における再考支援のための Interactive History
- WWW上における学習パスプラニング支援環境の構築
- WWWにおける探究学習のためのインタラクティブヒストリー
- WWWにおける学習リソースのローカルインデクシング支援
- LearningBench : Web 空間での主体的学習を支援する環境
- WWWにおける学習リソースの組織化とナビゲーション支援(次世代教育(学習)支援システム論文特集)
- ハイパー空間における内省支援のためのインタラクティブヒストリー
- WWWにおける学習リソースのローカルインデクシング支援とその評価
- WWWにおける学習ソースのインデクシング支援
- 認知負荷を考慮したハイパーメディア教材の評価ガイドライン
- ハイパー空間の地図
- Webブラウジングを対象としたページ分割による情報フィルタリング手法の提案と評価
- 文脈情報に基づくブラウジング支援 : www上での実装
- 文脈情報に基づくブラウジング支援 : Context Sensitive Filtering
- 文脈情報に基づくブラウジング支援 : ブラウンジング履歴の分析
- ブラウジングにおける動的興味の推定手法
- 協調学習インタラクションのモデル化を指向した対話ラベル階層
- 協調学習におけるインタラクション分析支援システムの設計
- 協調学習における設計と分析の支援
- プログラム空欄補充問題の作成とその評価
- 動的学習グループ構成機能を備えた強調学習支援システムの開発 〜協調学習教材オーサリングツールとグループ形成メカニズム〜
- 効果的なコミュニケーションのためのグループ構成
- 協調学習グループの動的形成メカニズム : 学習理論に基づくネゴシエーションの実現
- 協調学習教材のオーサリングツール : 協調学習オントロジーに基づく設計
- 協調学習グループの動的形成メカニズム : 学習理論に基づくネゴシエーションの実現
- 協調学習教材のオーサリングツール : 協調学習オントロジーに基づく設計
- Prologプログラミング教育のための知的CAIシステムの開発
- 論理プログラミングと帰納推論による汎用知的CAIシステム
- ハイパーメディアにおける知識整理支援について : 学習履歴の再構成による効果
- プログラム合成における対話型知識獲得支援と知識デバッギング
- インターネットにおける学習資源の適応的選択による自習支援
- 初等力学を対象とした作図の診断システム
- オントロジーの差異に基づくソフトウェア操作の行き詰まりの検討
- 定性推論技法を用いた誤り可視化シミュレーションの制御
- 誤り修正のための内発的動機付け : Error-Based Simulationによる誤りの可視化
- 手続き型処理のための拡張を施されたPROLOGシステムFLOGSの開発
- ダイアグラムを用いた知識構造の外化支援について
- 多重外化表現を用いた自己説明支援について
- 効果的なコミュニケーションのためのグループ構成
- 協調学習オントロジーに基づく協調学習教材の構成 : 協調学習トリガと協調学習目的の役割
- 学習理論に基づく協調学習グループ構成のための学習目的オントロジー(次世代教育(学習)支援システム論文特集)
- CSCLの背景と研究動向