IEICE Technical Committee

情報・システム-人工知能と知識処理(開催日：2002/05/17)

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

,

[発表日]2002/5/17
[資料番号]

,

[発表日]2002/5/17
[資料番号]

競合状況における投機的計算の導入に関する考察(<特集>自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)

深井一成, 井上克巳, 羽根田博正,

[発表日]2002/5/17
[資料番号]AI2002-1

動作データからの基本動作の抽出と相関ルールに基づく動作認識(<特集>自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)

森隆規, 上原邦昭,

[発表日]2002/5/17
[資料番号]AI2002-2

事例ベース推論と制約充足に基づく室内レイアウト変更計画(<特集>自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)

小野智司, 浜田佳延, 水谷守, 水野一徳, 福井幸男, 西原清一,

[発表日]2002/5/17
[資料番号]AI2002-3

Dynamic Epistemic Logics, Dynamic Doxastic LogicsのKripke Systemの観点からのサーベイ(<特集>自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)

緒方典裕,

[発表日]2002/5/17
[資料番号]AI2002-4

投機的計算によるSATプランニングの効率改善に関する研究(<特集>自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)

鍋島英知, 岩沼宏治,

[発表日]2002/5/17
[資料番号]AI2002-5

ブール制約解消系によるモデル生成木の刈込み(<特集>自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)

越村三幸, 長谷川隆三,

[発表日]2002/5/17
[資料番号]AI2002-6

線形論理と論理プログラミング(<特集>自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)

田村直之,

[発表日]2002/5/17
[資料番号]AI2002-7

ベイジアンネットと信念伝播の新潮流(<特集>自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)

佐藤泰介,

[発表日]2002/5/17
[資料番号]AI2002-8

線形論理に基づいたセキュリティ・プロトコルの論理的検証法(<特集>自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)

岡田光弘, 長谷部浩二,

[発表日]2002/5/17
[資料番号]AI2002-9

証明支援システムxpe(<特集>自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)

毛利元彦,

[発表日]2002/5/17
[資料番号]AI2002-10

シグナル伝達と仮説推論バイオインフォマティクスでの応用事例(<特集>自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)

福田賢一郎,

[発表日]2002/5/17
[資料番号]AI2002-11

一般節理論における解釈からの学習に関する一考察(<特集>自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)

山崎紀昭, 井上克巳, 羽根田博正,

[発表日]2002/5/17
[資料番号]AI2002-12

,

[発表日]2002/5/17
[資料番号]