Warning: Undefined array key "category" in /var/www/02search_html/bin/summary.php on line 35

Warning: Undefined variable $STR_top_url in /var/www/02search_html/bin/__base_html.php on line 883
IEICE Trans - 合理的エージェントの心的状態に関する整合性の実現と応用について

合理的エージェントの心的状態に関する整合性の実現と応用について

新出　尚之
高田　司郎
櫟　粛之

誌名
電子情報通信学会論文誌 D   Vol.J86-D1    No.8    pp.514-523
発行日: 2003/08/01
Online ISSN: 
DOI: 
Print ISSN: 0915-1915
論文種別: 特集論文 (ソフトウェアエージェントとその応用論文特集)
専門分野: モデル/理論
キーワード: 
合理的エージェント,  BDI logic,  sequent calculus,  

本文: PDF(285.9KB)>>
論文を購入


あらまし: 
BDI logicは，合理的エージェントの仕様記述や実装の基礎概念として用いられている様相論理体系で，CTL*に心的状態を表現する様相オペレータを追加し，述語論理に拡張したものである．Raoらは，合理的エージェントに要請される心的状態の整合性を，BDI logicで記述している．合理的エージェントに関する論理ベースでの仕様検証や実装を行うには，これらの整合性を，演繹体系に導入することが必要と考えられる．本論文では，それらの整合性を定理としてもつような，命題論理のCTLベースのBDI logicに対するsequent calculusによる演繹体系と，その応用について述べる．これにより，合理的エージェントの性質に関する記述を，BDI logicを用いて検証や証明することが可能になる．