计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2011年
11期
187-189
,共3页
多智能体系统%知识系统%机会发现%形式化方法%可判定性
多智能體繫統%知識繫統%機會髮現%形式化方法%可判定性
다지능체계통%지식계통%궤회발현%형식화방법%가판정성
针对多智能体系统(MAS)中执行决策的非确定性问题,研究结合时态/模态逻辑及机会发现理论,引入基于Kripke结构的复合逻辑LK,用于Agent的知识系统(全局知识、局部知识)及机会发现的形式化描述,为实现动态并发环境中MAS的系统协作行为建模及自动决策推理提供依据.给出LK的结构及语义,证明了LK的可判定性,且计算可在多项式级时间复杂度内实现.
針對多智能體繫統(MAS)中執行決策的非確定性問題,研究結閤時態/模態邏輯及機會髮現理論,引入基于Kripke結構的複閤邏輯LK,用于Agent的知識繫統(全跼知識、跼部知識)及機會髮現的形式化描述,為實現動態併髮環境中MAS的繫統協作行為建模及自動決策推理提供依據.給齣LK的結構及語義,證明瞭LK的可判定性,且計算可在多項式級時間複雜度內實現.
침대다지능체계통(MAS)중집행결책적비학정성문제,연구결합시태/모태라집급궤회발현이론,인입기우Kripke결구적복합라집LK,용우Agent적지식계통(전국지식、국부지식)급궤회발현적형식화묘술,위실현동태병발배경중MAS적계통협작행위건모급자동결책추리제공의거.급출LK적결구급어의,증명료LK적가판정성,차계산가재다항식급시간복잡도내실현.
