キーワード : 論理


信念と状態遷移を確率的に扱う合理的エージェント向け論理
新出 尚之 高田 司郎 
誌名:   電子情報通信学会論文誌 D
発行日: 2015/06/01
Vol. J98-D  No. 6 ; pp. 936-947
論文種別:  特集論文 (ソフトウェアエージェントとその応用論文特集)
専門分野: 理論
キーワード: 
合理的エージェントBDI確率論理
 あらまし | 本文:PDF(694.1KB)

連体修飾構造を取り扱える名辞論理体系LVPMの完全性
西原 典孝 森田 憲一 
誌名:   電子情報通信学会論文誌 D
発行日: 1992/04/25
Vol. J75-D2  No. 4 ; pp. 780-790
論文種別:  論文
専門分野: 人工知能,認知科学
キーワード: 
論理完全性知識表現
 あらまし | 本文:PDF(603.4KB)

Syllogismを土台とした連体修飾構造を取り扱える名辞論理の公理的体系LVPM
西原 典孝 森田 憲一 
誌名:   電子情報通信学会論文誌 D
発行日: 1992/03/25
Vol. J75-D2  No. 3 ; pp. 581-588
論文種別:  論文
専門分野: 人工知能,認知科学
キーワード: 
論理推論知識表現
 あらまし | 本文:PDF(510.8KB)

CMOSセルパターン生成のためのトランジスタ島成長アルゴリズム
白石 洋一 轡田 誠 酒見 淳也 築添 明 
誌名:   電子情報通信学会論文誌 A
発行日: 1992/01/25
Vol. J75-A  No. 1 ; pp. 65-75
論文種別:  論文
専門分野: VLSI設計技術
キーワード: 
CMOSセルパターン回路図配置アルゴリズム論理構造
 あらまし | 本文:PDF(693.2KB)