2004, Volume 6, Issue 6
Strategic Study of CAE >> 2004, Volume 6, Issue 6
PASS - BDI Model for Software Agent
1. Software Base, Civil Aviation University Of China, Tianjin 300300, China
2. College of Information Technology and Science, Nankai University, Tianjin 300071, China
Next Previous
Abstract
Recent research on software agent is mainly based on rational agent theories that have been presented by Bratman and its core is to build BDI models for agent. But the models can not present the active cognitive processes of agent, and it is hard to richly present the relations between agent problem solving and agent mental states. Because it is not easy to build the explicit corresponding relations between the theory model and the model structure, agent rational models are difficult to realize. This paper introduces a psychologically recognized model-PASS (planning, attention, simultaneous processing and successive processing) into the study about intelligent agent, builds a new agent model named as PASS-BDI, describes the mental states, cognitive processes and whole behaviors with pi-calculus at length and strengthens the active cognitive attributes of agent. Because having built the explicit corresponding relations between this theory model and the model structure, it is easy to program in AOP practice. An application of the model in MAS is presented at last.
Keywords
Figures
图1
References
[ 1 ] Bratman M E. Intentions,Plants,and Practical Reason[M]. Cambridge MA. Harvard Univ Press, 1987
[ 2 ] Moor R. A Formal Theory of Knowledge and Action [M].Formalizing Common Sense,Ablex Publishing Corporation,1990.319~358
[ 3 ] Cohen P R,Levesque H J.Intention is choice with commitment [J]. Artificial Intelligence,1990,42: 213~261
[ 4 ] Rao A S,Georgeff M P. BDI agents:from theory to practice[A].First International Conference on Multi-agent Systems(ICMAS-95)[C].San Francisco,CA, 1995
[ 5 ] 刘贵全，陈小平，范 焱，等.多主体协作系统的一种形式模型［J］．计算机学报，2001,24（5）：529~535
[ 6 ] 史忠植.智能主体及其应用［M］.北京：科学出版社，2000
[ 7 ] Das J P.Assessment of Cognitive Processes [M].New York:Plenum,1999
[ 8 ] Luria A. Higher Cortical Functions in Man(2nd ed) [M].New York:Basic Books,1980
[ 9 ] 焦文品，史忠植.构造MAS的动态体系结构的模型［J］．计算机学报．2000,23（7）：732～737
[10] Jiao Wenpin, Shi Zhongzhi. Formalizing agent's attitudes with the polyadic π-calculus[A].Proceeding of 4th Workshop on Practical Reason and Rationality [C].Stockholm,Sweden,1999,21~27
[11] Engelfriet J. Multiset and structural congruence of the pi-calculus with replication[J].Theoretical Computer Science,1999,211:311~337
[12] 焦文品，史忠植.多主体间的协作过程研究［J］.计算机研究与发展．2000,37（8）：904～911
京公网安备 11010502051620号
