摘要
智能体在Al/DAl和当前主流计算机学科(如分布式计算)中正成为一个广泛使用、日益重要的键性概念,由此而产生了一系列新的思想、方法、技术和语言用以规范,验证。
Agent has become an important concept in AI/DAI and current mainstream computer disciplines. The aims of the research on agent theory are to make it clear what is agent,analyse, specify and verify the agent's properties. This paper discusses what is agent from the standpoint of theory research.analyses the formal tool used in the agent's theory research,reviews the current status and finally demonstrates the problems existed and the future research directions.
出处
《计算机科学》
CSCD
北大核心
1997年第5期63-67,共5页
Computer Science
关键词
智能体
人工智能
时态逻辑
Agent, Possible world, Intentional stance