情報・システム-人工知能と知識処理(開催日：1997/11/13)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]1997/11/13
[資料番号]
目次

,  

[発表日]1997/11/13
[資料番号]
Semantic Model Elimination : Toward Efficient Equality Proving : Extended Abstract

岩沼 宏治,  

[発表日]1997/11/13
[資料番号]AI97-24
画像・音声刺激から柔軟に知識獲得を行う為の表情を用いた対話モデル

亀井 謙一,  小松 潤,  荒井 秀一,  三井田 惇郎,  

[発表日]1997/11/13
[資料番号]AI97-25
数理計画法を用いた制約最適化問題の解法

蔡 東風,  石塚 満,  

[発表日]1997/11/13
[資料番号]AI97-26
AICを用いたデフォルトルールの生成 (&特集>「記号論理とAI」)

松本 一則,  橋本 和夫,  

[発表日]1997/11/13
[資料番号]AI97-27
情報伝播と Arrow論理によるエージェント間コミュニケーションの形式化 (&特集>「記号論理とAI」)

村川 賀彦,  東条 敏,  國藤 進,  

[発表日]1997/11/13
[資料番号]AI97-28
エージェント同士の知識の推定と更新 (&特集>「記号論理とAI」)

磯崎 秀樹,  

[発表日]1997/11/13
[資料番号]AI97-29
述語の型階層と二面性を導入した状況推論システム (&特集>「記号論理とAI」)

兼岩 憲,  東条 敏,  

[発表日]1997/11/13
[資料番号]AI97-30
オブジェクト演算子とインスタンスを導入したフレーム構造論理の拡張体系 (&特集>「記号論理とAI」)

小松 香爾,  西原 典孝,  横山 晶一,  

[発表日]1997/11/13
[資料番号]AI97-31
結合子の適切さによる人間の演繹的な推論の形式化 (&特集>「記号論理とAI」)

吉浦 紀晃,  米崎 直樹,  

[発表日]1997/11/13
[資料番号]AI97-32
記号的統計モデル言語PRISM (&特集>「記号論理とAI」)

亀谷 由隆,  佐藤 泰介,  

[発表日]1997/11/13
[資料番号]AI97-33
[OTHERS]

,  

[発表日]1997/11/13
[資料番号]