%0 Journal Article
%T 强弱例外下的交互时态逻辑
%A 赖贤伟
%A 胡山立
%A 宁正元
%A 王秀丽
%J 计算机应用
%D 2008
%X ？非单调推理是众多人工智能应用系统都可能面对的问题，多agent系统也不例外。在前期关于agentbdi逻辑、多agent合作逻辑、多agent合作问题求解过程建模等研究工作的基础上，借鉴baral等人开发非单调线性时态逻辑n-ltl的技术，利用强弱例外对多agent合作逻辑的开创性工作交互时态逻辑(atl)进行拓展，建立非单调交互时态逻辑natl，给出其语法和语义。是对atl进行非单调拓展的首次有益尝试。可以考虑以之为理论工具对多agent思维状态及其动态修正机制进行妥善刻画。
%K 多agent系统
%K 非单调逻辑
%K 交互时态逻辑
%K 并发博弈结构
%K 目标
%U http://www.joca.cn/CN/abstract/abstract10603.shtml