著者

井上 克巳 坂間 千秋

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.25, no.3, pp.3_20-3_32, 2008-07-25 (Released:2008-09-30)

被引用文献数

1

---

Prologがベースとしているホーン節論理に基づく論理プログラミングでは,構文的制約があって確定的知識しか表現できないことが,現実的な知識表現のためには限界であるとされていた.この問題点を克服するために,論理プログラミングにおいて不完全・不確定な情報を扱うための拡張理論が1980年代後半から数多く提案された.1999年にはこれらに加えて制約プログラミングの概念を融合した解集合プログラミングの概念が確立され,現在では論理プログラミングの中心的な研究テーマの1つになっている.本稿では過去からのこうした研究の流れと新しい論理プログラミングの可能性について探る.

著者

山本 匡 坂間 千秋

雑誌

研究報告グループウェアとネットワークサービス(GN)

巻号頁・発行日

vol.2011-GN-81, no.10, pp.1-7, 2011-09-08

---

本研究では近年 Web 上に見られるようになった 「物当てゲーム」 の知識循環性と概念の事例収集特性に着目し,このゲームを概念学習における事例収集のために用いる方法を提案する.本システムの特徴は,過去のゲーム結果から概念を学習し,その結果を新たな概念の学習に利用できることである.また,多くの人にプレイされることにより,獲得される概念が平均化される 「集合知特性」 を持つ.実験の結果,本システムではゲームを繰り返すことにより概念学習が行われ,ゲーム効率が向上することが確かめられた.

著者

井上 克巳 坂間 千秋

出版者

国立情報学研究所

雑誌

挑戦的萌芽研究

巻号頁・発行日

2014-04-01

---

時間的に変化する離散系を標準論理プログラムで記述し、その上での帰納推論方式を新たに考案し、状態遷移規則を学習するための方法論を提案する。基本方式として状態間の変位からブーリアンネットワークの状態遷移規則を自動的に学習するLFITを提案し、これをベースに様々な効率化や拡張方式を開発した。効率化にはBDDによる簡約化やトップダウン・アルゴリズムが、拡張には遅延効果・多値ドメイン・確率遷移を有するネットワークと非同期式更新が含まれる。LFITの応用では、遺伝子制御ネットワークやセルオートマトン学習、ロボットの行動規則学習、論理を自動的に学習する論理発見に適用した。

著者

佐藤 健 井上 克巳 岩沼 宏治 坂間 千秋

出版者

一般社団法人日本ソフトウェア科学会

雑誌

コンピュータソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.20, no.1, pp.27-35, 2003-01-24

被引用文献数

1

---

現在のマルチエージェントシステムでは,エージェントが他エージェントに質問を与えた場合に, 質問を受けたエージェントが答を返すまでは, 質問したエージェントの処理は中断されることが普通である. インターネットのような通信が必ずしも保証されていないような環境下においては, このような中断がデッドロックを引き起こすことがありうる.また, たとえ通信が完全であっても, 他エージェントの処理に時間がかかっていれば、通信が不完全な状態と同じような状態になることがありうる. 本論文は、このような通信が必ずしも保証されていないマルチエージェントシステムにおける分散問題解決の手法を与える. 本手法は, 質問に対するデフォルトの回答を用意しておき, 回答が戻らなくても, デフォルトを用いて計算を進め, その後, 送られてきた真の回答がデフォルトと異なるときのみ, 計算をやり直すというものである. 本論文では, マスタースレーブマルチエージェントシステムにおいて,副作用が存在しない処理での投機的計算手法を仮説論理プログラミングの枠組みで実現し, 手法の健全性を示す.

著者

井上 克巳 坂間 千秋

出版者

一般社団法人日本ソフトウェア科学会

雑誌

コンピュータソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.25, no.3, pp.20-32, 2008-07-25

被引用文献数

7

---

Prologがベースとしているホーン節論理に基づく論理プログラミングでは,構文的制約があって確定的知識しか表現できないことが,現実的な知識表現のためには限界であるとされていた.この問題点を克服するために,論理プログラミングにおいて不完全・不確定な情報を扱うための拡張理論が1980年代後半から数多く提案された. 1999年にはこれらに加えて制約プログラミングの概念を融合した解集合プログラミングの概念が確立され,現在では論理プログラミングの中心的な研究テーマの1つになっている.本稿では過去からのこうした研究の流れと新しい論理プログラミングの可能性について探る.