Agent形式化研究的逻辑工具

被引：20

作者：

胡山立

石纯一

机构：

[1] 福州大学计算机系,清华大学计算机系福州,北京

来源：

计算机科学 | 1999年 / 12期

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

080201 [机械制造及其自动化];

摘要：

<正> Agent在AI/DAI和其他计算机学科中正成为一个广泛使用、十分重要的概念,由此产生了一系列新的思想、方法和技术,甚至有人把“基于Agent计算”誉为“软件开发的又一重大突破”。有关Agent的理论、技术的研究和应用引起了人们的高度重视和极大兴趣。近年来,关于Agent的形式化研究已成为人工智能、哲学逻辑和计算语言学共同关心的重要课题,有着广泛的应用。

引用

页码：1 / 5

页数：5