计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
1998年
8期
682-693
,共12页
樊晓聪%徐殿祥%候建民%郑国梁
樊曉聰%徐殿祥%候建民%鄭國樑
번효총%서전상%후건민%정국량
AOP%意念%规划%KQML
AOP%意唸%規劃%KQML
AOP%의념%규화%KQML
本文描述了Agent规范与编程语言SPLAW的语法,为SPLAW中的各种语言成分提供了操作语义,并基于标记转换系统给出Agent性质的证明规则.由于SPLAW的通信部分采用不依赖于具体应用的Agent交互语言KQML,使遵循同一标准的Agent之间能进行协作问题求解.SPLAW首次为Agent提供继承支持,使其可以实现具有面向对象特征的多线程系统.SPLAW屏弃了为语言引入内部模态词的缺陷,试图从外部为Agent赋予信念、愿望、意念等心智状态,有助于统一Agent的理论研究和实际系统设计.
本文描述瞭Agent規範與編程語言SPLAW的語法,為SPLAW中的各種語言成分提供瞭操作語義,併基于標記轉換繫統給齣Agent性質的證明規則.由于SPLAW的通信部分採用不依賴于具體應用的Agent交互語言KQML,使遵循同一標準的Agent之間能進行協作問題求解.SPLAW首次為Agent提供繼承支持,使其可以實現具有麵嚮對象特徵的多線程繫統.SPLAW屏棄瞭為語言引入內部模態詞的缺陷,試圖從外部為Agent賦予信唸、願望、意唸等心智狀態,有助于統一Agent的理論研究和實際繫統設計.
본문묘술료Agent규범여편정어언SPLAW적어법,위SPLAW중적각충어언성분제공료조작어의,병기우표기전환계통급출Agent성질적증명규칙.유우SPLAW적통신부분채용불의뢰우구체응용적Agent교호어언KQML,사준순동일표준적Agent지간능진행협작문제구해.SPLAW수차위Agent제공계승지지,사기가이실현구유면향대상특정적다선정계통.SPLAW병기료위어언인입내부모태사적결함,시도종외부위Agent부여신념、원망、의념등심지상태,유조우통일Agent적이론연구화실제계통설계.
