Agent形式化研究的逻辑工具 |
| |
作者姓名: | 胡山立 石纯一 |
| |
作者单位: | [1]福州大学计算机系 [2]清华大学计算机系 |
| |
基金项目: | 国家自然科学基会 69773026,69733020 |
| |
摘 要: | Agent在AI/DAI和其他计算机学科中正成为一个广泛使用、十分重要的概念,由此产生了一系列新的思想、方法和技术,甚至有人把“基于Agent计算”誉为“软件开发的又一重大突破”。有关Agent的理论、技术的研究和应用引起了人们的高度重视和极大兴趣。近年来,关于Agent的形式化研究已成为人工智能、哲学逻辑和计算语言学共同关心的重要课题,有着广泛的应用。
|
关 键 词: | 人工智能 形式化 逻辑工具 意识属性 |
本文献已被 CNKI 维普 等数据库收录! |
|
点击此处可从《计算机科学》下载全文 |
|