计算机应用
計算機應用
계산궤응용
COMPUTER APPLICATION
2008年
11期
2874-2876,2886
,共4页
赖贤伟%胡山立%宁正元%王秀丽
賴賢偉%鬍山立%寧正元%王秀麗
뢰현위%호산립%저정원%왕수려
多Agent系统%非单调逻辑%交互时态逻辑%并发博弈结构%目标
多Agent繫統%非單調邏輯%交互時態邏輯%併髮博弈結構%目標
다Agent계통%비단조라집%교호시태라집%병발박혁결구%목표
非单调推理是众多人工智能应用系统都可能面对的问题,多Agent系统也不例外.在前期关于AgentBDI逻辑、多Agent合作逻辑、多Agent合作问题求解过程建模等研究工作的基础上,借鉴Baral等人开发非单调线性时态逻辑N-LTL的技术,利用强弱例外对多Agent合作逻辑的开创性工作交互时态逻辑(ATL)进行拓展,建立非单调交互时态逻辑NATL,给出其语法和语义.是对ATL进行非单调拓展的首次有益尝试.可以考虑以之为理论工具对多Agent思维状态及其动态修正机制进行妥善刻画.
非單調推理是衆多人工智能應用繫統都可能麵對的問題,多Agent繫統也不例外.在前期關于AgentBDI邏輯、多Agent閤作邏輯、多Agent閤作問題求解過程建模等研究工作的基礎上,藉鑒Baral等人開髮非單調線性時態邏輯N-LTL的技術,利用彊弱例外對多Agent閤作邏輯的開創性工作交互時態邏輯(ATL)進行拓展,建立非單調交互時態邏輯NATL,給齣其語法和語義.是對ATL進行非單調拓展的首次有益嘗試.可以攷慮以之為理論工具對多Agent思維狀態及其動態脩正機製進行妥善刻畫.
비단조추리시음다인공지능응용계통도가능면대적문제,다Agent계통야불예외.재전기관우AgentBDI라집、다Agent합작라집、다Agent합작문제구해과정건모등연구공작적기출상,차감Baral등인개발비단조선성시태라집N-LTL적기술,이용강약예외대다Agent합작라집적개창성공작교호시태라집(ATL)진행탁전,건립비단조교호시태라집NATL,급출기어법화어의.시대ATL진행비단조탁전적수차유익상시.가이고필이지위이론공구대다Agent사유상태급기동태수정궤제진행타선각화.
