Then a logic system A-BI is built for Agent-BDI logic and its semantics and axiom system are discussed.是什么意思_Then a logic system A-BI is built for Agent-BDI logic and its semantics and axiom system are discussed.在線(xiàn)翻譯_英語(yǔ)_讀音_用法_例句