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

摘要

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