%0 Journal Article
%T Agent形式化研究的逻辑工具
%A 胡山立
%A 石纯一
%J 计算机科学
%D 1999
%I 
%X Agent在AI/DAI和其他计算机学科中正成为一个广泛使用、十分重要的概念,由此产生了一系列新的思想、方法和技术,甚至有人把“基于Agent计算”誉为“软件开发的又一重大突破”。有关Agent的理论、技术的研究和应用引起了人们的高度重视和极大兴趣。近年来,关于Agent的形式化研究已成为人工智能、哲学逻辑和计算语言学共同关心的重要课题,有着广泛的应用。
%K 人工智能
%K 形式化
%K 逻辑工具
%K 意识属性
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=18FB5FF5C9EAB0BE96E12382593D6185&yid=B914830F5B1D1078&vid=96C778EE049EE47D&iid=59906B3B2830C2C5&sid=CA4FD0336C81A37A&eid=94C357A881DFC066&journal_id=1002-137X&journal_name=计算机科学&referenced_num=8&reference_num=1