强弱例外下的交互时态逻辑

？非单调推理是众多人工智能应用系统都可能面对的问题，多agent系统也不例外。在前期关于agentbdi逻辑、多agent合作逻辑、多agent合作问题求解过程建模等研究工作的基础上，借鉴baral等人开发非单调线性时态逻辑n-ltl的技术，利用强弱例外对多agent合作逻辑的开创性工作交互时态逻辑(atl)进行拓展，建立非单调交互时态逻辑natl，给出其语法和语义。是对atl进行非单调拓展的首次有益尝试。可以考虑以之为理论工具对多agent思维状态及其动态修正机制进行妥善刻画。