Agent-BDI Logic
DOI:
Author:
Affiliation:

Clc Number:

Fund Project:

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    Abstract:

    In this paper, it is demonstrated that the logic tool used in agent formalized d epiction should be the mixed modal logic which has both normal and non-normal m odal operators. Then a logic system A-BI is built for Agent-BDI logic and its semantics and axiom system are discussed. Especially for non-normal modal opera tors a new semantic interpretation based on Kripke's normal possible worlds is p resented. It is proved that A-BI logic system is sound and complete. A-BI logi c appropriately depicts the essence and relation of belief and intension, and ca n be used as logic tool in formalized research on agent.

    Reference
    Related
    Cited by
Get Citation

胡山立,石纯一. Agent-BDI逻辑.软件学报,2000,11(10):1353-1360

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:October 26,1999
  • Revised:February 17,2000
  • Adopted:
  • Online:
  • Published:
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063