Then a logic system A-BI is built for Agent-BDI logic and its semantics and axiom system are discussed.

• 建立了 Agent- BDI逻辑的代表系统 A- BI；讨论了它的语法和语义 .