副作用を考慮した幅優先導出による論理プログラムの実行
スポンサーリンク
概要
- 論文の詳細を見る
近年,論理型言語の研究が盛んであり,その一つであるPrologも年々進歩しつつある.現行のPrologの弱点として,計算規則が均等(fair)でないことが挙げられる.このため,Prologプログラムは解探索の手順をも考慮しなければ,定理証明システムとして機能しない.しかし,Prologプログラムを均等な計算規則(Prologの計算規則でない規則)で実行させる場合,副作用の影響が問題となる.それはプログラムの副作用により現われる実行結果が,副作用発生の順序に依存するためである.本論文は,Prologプログラムに均等な計算規則を適用することを目的とする.内容は,まず,論理プログラムでの副作用について述べ,ゴールから複数のリテラルを選択する導出での副作用について論じる.また,任意の順序での発生が可能な副作用の関係を定義する.さらに,均等な計算規則として幅優先な導出方法であるBFNF導出を取り上げ,PrologプログラムをBFNF導出で実行する方法と,その実験について報告する.
- 一般社団法人情報処理学会の論文
- 1990-03-14
著者
関連論文
- D-4-8 ソーシャルブックマークにおけるイノベータ、アーリーアダプタによる目的URL 網羅率の調査(D-4. データ工学,一般セッション)
- D-5-1 ソーシャルブックマークにおけるタグの構造化手法(D-5. 言語理解とコミュニケーション,一般セッション)
- D-5-2 ソーシャルブックマークの情報を利用したGoogle検索のリランキング(D-5. 言語理解とコミュニケーション,一般セッション)
- 共有トリーにおける全受信者までの合計ホップ数を最小にするランデブーポイント選択法(インターネットルーチング,セキュアでサステイナブルなインターネットアーキテクチャ論文)
- D-9-27 遅延評価による迷惑メール検出とメール閲覧サイクルの関係調査(D-9. オフィスインフォメーションシステム,一般セッション)
- L-030 ユーザのメール閲覧サイクルを考慮した遅延評価による迷惑メール検出率の調査(ネットワーク・セキュリティ,一般論文)
- コード進行を利用した音楽データベース
- D-1-1 SNSの特徴を考慮に入れたネットワークモデルの比較(D-1.コンピュテーション,一般セッション)
- リフレクティブなグラフ書換え言語REGREL
- D_050 分散WikiによるWebページ間自律的関係創出システム(D分野:データベース)
- D-1-2 片方向リンクをエッジとみなしたTwitterのネットワーク分析(D-1.コンピュテーション,一般セッション)
- D-4-1 評価日及び評価信頼率に基づく意外性のある推薦手法の提案(D-4.データ工学,一般セッション)
- B-7-90 マルチキャストにおけるセッション情報配信プロトコルの改良とその評価(B-7.情報ネットワーク,一般セッション)
- B-7-70 PIM-SMにおけるJoin Attributeを用いた木構造把握(B-7.情報ネットワーク,一般セッション)
- B-7-69 PIM-SMにおけるエッジ情報を用いた配信ツリーの作成(B-7.情報ネットワーク,一般セッション)
- B-7-57 マルチキャスト通信による鍵の無効化を考慮したトレイタトレーシングの実装と評価(B-7.情報ネットワーク,一般セッション)
- 属性付きグラフ書き換え系による計算モデルの表現とその応用
- B-6-8 リンク強度による到達性の変化予測(B-6.ネットワークシステム,一般セッション)
- B-6-90 PIM-SMのスケーラビリティ改善のための調査(B-6.ネットワークシステム,一般セッション)
- B-7-89 PIM-SMパケットモニタリング(B-7.情報ネットワーク,一般セッション)
- B-7-91 XCASTによるIPマルチキャストネットワーク間の接続手法の提案(B-7.情報ネットワーク,一般セッション)
- B-7-92 マルチキャストにおけるセッション情報配信の効率化とその評価(B-7.情報ネットワーク,一般セッション)
- B-7-90 PIM-SMにおける動的RP決定法(B-7.情報ネットワーク,一般セッション)
- D-5-3 日付情報によるWebページリランキング(D-5. 言語理解とコミュニケーション,一般セッション)
- L_013 スモールワールドネットワークにおける最適な検索手法の考案に向けたIRCネットワークの調査(L分野:ネットワークコンピューティング)
- 状態遷移秘匿プロトコルの提案とその応用
- L-087 IRCにおける新たな識別子の提案(L分野:ネットワークコンピューティング)
- B-7-1 動的RP決定法に向けてのRPの位置による負荷の調査(B-7. 情報ネットワーク,一般セッション)
- D-5-11 クラスタリングを用いたブログからのキーワード抽出(D-5.言語理解とコミュニケーション,一般講演)
- RO-004 ユーザのメール取得間隔と遅延評価を用いたIPアドレスフィルタの効果との関連調査(情報システム,査読付き論文)
- 一般支配関係の効率的な検査法
- リフレクションを導入した並列論理型言語 RKL1 の実装と評価
- 意味再解析を考慮したGHCによるLanguage-orientedEditorの研究
- F-001 ソーシャルブックマーク分析のユーザへの影響と先行性による解決(F分野:人工知能・ゲーム,一般論文)
- M_035 Distributed Privacy Oblivious Polynomial Evaluation
- M_034 Multi-Variable Oblivious Polynomial Evaluation
- M_033 Distributed Function Oblivious Polynomial Evaluation
- L-036 プライバシー重視の分散協調型グループコミュニケーションモデルの提案とその評価(L分野:ネットワークコンピューティング)
- リフレクションを導入した並行オブジェクト指向言語ABCL/c+によるOSの記述
- 5M-3 An Implementation of Reflective Concurrent Component Architecture
- 5F-4 リフレクションを導入した並行オブジェクト指向言語ABCL/c+によるオペレーティングシステムの記述と実装
- 並行オブジェクト指向言語による分散システムの記述
- I-007 仮想彫刻における6軸モーションセンサを用いた切削手法(I分野:グラフィクス・画像,一般論文)
- F-057 SNSの特徴を考慮に入れたネットワークモデルの評価(F分野:人工知能・ゲーム,一般論文)
- E-031 DPマッチングを用いた演奏の現在位置解析手法の提案(E分野:自然言語・音声・音楽,一般論文)
- A-021 グラフ書換え言語REGRELにおける並行グラフ操作クエリの表現(A分野:モデル・アルゴリズム・プログラミング,一般論文)
- 表示的意味記述からのプログラミング環境の生成
- ユーザ認証付きDHCPの提案と実装
- カードを用いた発想法の形式的定義
- 付箋を利用したカードに基づく発想法
- 上昇型チャート法に基づく適切な構文誤り解析手法
- 副作用を考慮した幅優先導出による論理プログラムの実行
- 複数条件のためのデータベース検索環境
- GHCによる学習機能をもつLanguage-oriented Editorの実現
- Prolog言語教育支援システムにおけるアルゴリズム認識のための知識ベース作成支援
- 文書構造の帰納学習に基づく構造化記述の自動生成
- LJ-008 中心性の相関によるIRCユーザネットワークの分析(ヒューマンコミュニケーション&インタラクション)
- DHCP環境におけるネットワーク情報更新手法
- B-7-45 迷惑メール対策の評価と実装(B-7. 情報ネットワーク,一般セッション)
- B-19-13 ソーシャルナビゲーションによるWebページ推薦(B-19. ネットワークソフトウェア,一般セッション)
- B-7-113 IPマルチキャストにおけるグループ管理に関する考察(B-7. 情報ネットワーク,一般セッション)
- B-7-111 SSMにおける送信者発見手法の提案(B-7. 情報ネットワーク,一般セッション)
- B-7-46 ドメイン名解決を利用したspamメール送信元の収集(B-7. 情報ネットワーク,一般セッション)
- D-1-1 HITSアルゴリズムを改良した複数コミュニティ抽出法の提案(D-1.コンピュテーション,一般講演)
- A-14-8 特許ネットワークを用いた研究者推薦手法の一提案(A-14.ヒューマンコミュニケーション基礎,一般講演)
- Weblogにおけるユーザのつながりと閲覧行動の分析(ネットワークオペレーションと資源管理論文)
- 個人情報の分散協調保護機構の提案とWebサービス上のInstant Messageへの適用(情報融合)
- リフレクション機構を持ったKL1による動的負荷分散
- リフレクションを導入した並列論理型言語RKL1における動的負荷分散の記述と評価
- B-6-158 PIM-SMにおけるトラヒックを考慮したRPの動的再配置(B-6.ネットワークシステム,一般セッション)
- B-6-159 PIM-SMネットワーク管理ツールの実装とその評価(B-6.ネットワークシステム,一般セッション)
- B-6-160 ルータの容量を考慮した木の移行管理に関する研究(B-6.ネットワークシステム,一般セッション)
- 中立説に基づく遺伝的アルゴリズムの提案
- D-9-23 ソーシャルブックマークの時系列的特徴に着目した適切ユーザによるWebページ推薦(D-9.ライフインテリジェンスとオフィス情報システム,一般セッション)
- D-9-20 ユーザの興味推移と採択行為の関係性調査(D-9.ライフインテリジェンスとオフィス情報システム,一般セッション)
- L-088 IRCにおけるユーザ関係の分析(L分野:ネットワークコンピューティング)
- M-036 IRCにおけるグループコミュニケーションの規模調査とその傾向の分析(M.ネットワーク・モバイルコンピューティング)
- B-6-163 マルチキャスト通信における誤り訂正符号の提案(B-6.ネットワークシステム,一般セッション)
- B-6-162 配送木分割および再送方法選択式マルチキャスト(B-6.ネットワークシステム,一般セッション)
- B-6-100 部分一致検索に対応したDHTの通信量削減方法の提案(B-6.ネットワークシステム,一般セッション)
- グラフ書き換え言語REGRELによるメタプログラミングの表現
- N-gramによる旋律の音楽的適否判定に基づいた即興演奏支援システム(音楽情報, インタラクション: 技術と展開)
- 振動機能付鍵盤楽器「ぶるぶるくん」を用いた即興演奏支援システム
- N-gramによる即興演奏の旋律補正(音楽情報科学)
- ism : 即興演奏支援のためのリアルタイム旋律補正システム
- 仮想オフィスによるインフォーマルコミュニケーションの支援
- A-7-17 研究室の情報セキュリティ評価手法の提案(A-7.情報セキュリティ,一般講演)
- リフレクションを導入した並列論理型言語RKL1の実装と評価 (新しいシステムソフトウェア)
- 4G-9 不完全/動的/分散CSPの枠組みにもとづいた会議スケジューリングシステム
- 3N-1 分散オブジェクト環境におけるリフレクション機構の一提案
- SPEED暗号の高階差分攻撃による強度評価
- オントロジーを用いた検索支援システム : オンラインマニュアルへの適用
- RT-Mach における Java Virtual Machine の実装と評価
- UAPIに基づく柔軟な通信プロトコルの提案
- 色の世界への変換による音楽視覚化の一手法
- 知識べースに基づく Language-oriented Editor
- D-5-2 著者推定における顔文字の出現パターン考慮(D-5.言語理解とコミュニケーション,一般セッション)
- B-7-23 輻輳を考慮した複数の木の情報に基づく負荷分散ルーティングアルゴリズム(B-7.情報ネットワーク,一般セッション)
- B-7-18 PIM-SMにおける受信者の位置を考慮したRP決定法の提案(B-7.情報ネットワーク,一般セッション)
- B-7-4 MPIにおける通信遅延を考慮したタスクの動的配置法(B-7.情報ネットワーク,一般セッション)