文献

J-GLOBAL ID：200902193315944168   整理番号：99A0412397

マルチエージェント環境のための自動推論システム

An Automated Reasoning System for Multi-Agent Environmentst.

著者 (5件)： HE L (Aichi Prefectural Univ., Aichi, JPN) ,  CHAO Y (Nagoya Univ., Nagoya, JPN) ,  NAKAMURA T (Nagoya Inst. Technol., Nagoya, JPN) ,  SEKI H (Nagoya Inst. Technol., Nagoya, JPN) ,  ITOH H (Nagoya Inst. Technol., Nagoya, JPN)
資料名： 人工知能学会誌  (Journal of the Japanese Society for Artificial Intelligence)
巻： 14  号： 3  ページ： 529-537  発行年： 1999年05月01日 
JST資料番号： X0330A  ISSN： 0912-8085  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 英語 (EN)

抄録/ポイント： マルチエージェント環境における推論問題を研究するために,マル...

シソーラス用語： *マルチエージェントシステム ,...
準シソーラス用語： 可能世界

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=99A0412397&from=J-GLOBAL&jstjournalNo=X0330A") }}

分類 (2件)： 人工知能  (JE08000Z) ,  計算理論  (JB02000A)

引用文献 (21件)：

• ANDERSON, R. A Linear format for resolution with merging and a new technique for establishing completeness. J. of ACM. 1970, 28, 193-214
• CATACH, L. TABLEAUX : A General Theorem Prover for Modal Logic. J. of Automated Reasoning. 1991, 7, 489-510
• CHANG, C. L. Symbolic Logic and Mechanical Theorem Proving. 1973
• CARMEL, D. Exploration and Adaptation in Multiagent Systems : A Model-based Approach. Proc. of IJCAI. 1997, 606-611
• ELGOT-DRAPKIN, J. Step-Logic and the Threewise-men Problem. Proc. of AAAI. 1991, 412-417

タイトルに関連する用語 (3件)： マルチエージェント ,  環境 ,  自動推論