首页 | 本学科首页   官方微博 | 高级检索  
     检索      

Agent形式化研究的逻辑工具
引用本文:胡山立,石纯一.Agent形式化研究的逻辑工具[J].计算机科学,1999,26(12):1-5.
作者姓名:胡山立  石纯一
作者单位:[1]福州大学计算机系 [2]清华大学计算机系
基金项目:国家自然科学基会 69773026,69733020
摘    要:Agent在AI/DAI和其他计算机学科中正成为一个广泛使用、十分重要的概念,由此产生了一系列新的思想、方法和技术,甚至有人把“基于Agent计算”誉为“软件开发的又一重大突破”。有关Agent的理论、技术的研究和应用引起了人们的高度重视和极大兴趣。近年来,关于Agent的形式化研究已成为人工智能、哲学逻辑和计算语言学共同关心的重要课题,有着广泛的应用。

关 键 词:人工智能  形式化  逻辑工具  意识属性
本文献已被 CNKI 维普 等数据库收录!
点击此处可从《计算机科学》浏览原始摘要信息
点击此处可从《计算机科学》下载免费的PDF全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号