%0 Journal Article
%T Agent-BDI Logic<br>Agent-BDI逻辑
%A HU Shan-li
%A SHI Chun-yi
%A <br>胡山立
%A 石纯一
%J 软件学报
%D 2000
%I 
%X 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.
%K Agent
%K Agent-BDI model
%K modal logic
%K belief
%K intention<br>Agent
%K Agent-BDI模型
%K 模态逻辑
%K 信念
%K 意图.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=55F9566C8775404A&yid=9806D0D4EAA9BED3&vid=708DD6B15D2464E8&iid=F3090AE9B60B7ED1&sid=FBB416F02256D8AA&eid=35D8C930A8A0D2C6&journal_id=1000-9825&journal_name=软件学报&referenced_num=18&reference_num=12