论文部分内容阅读
'隐式愿望'的刻画是Agent理论研究中的一个重要课题.首先分析现有工作存在的问题,然后用逻辑语义学方法严格定义一种新的隐式愿望--pm-愿望后承,研究其主要性质并与相关工作进行比较,进而论证其合理性,包括符合直觉、有利于提高智能主体的自主性等等.
隐式愿望及其形式化
【摘 要】
：
'隐式愿望'的刻画是Agent理论研究中的一个重要课题.首先分析现有工作存在的问题,然后用逻辑语义学方法严格定义一种新的隐式愿望--pm-愿望后承,研究其主要性质并与
【机 构】
：
中国科学技术大学计算机科学与技术系
【出 处】
：
软件学报
【发表日期】
：
2005年5期
其他文献
20世纪80年代，西方国家如美国、法国和德国等提出了物流一体化的现代理论，应用和指导其物流发展取得了明显的效果。所谓物流一体化就是以物流系统为核心，由生产企业、经由以流企
《CS》、《魔兽争霸3》、《三角洲4》……相信这些游戏大家已经耳熟能详,小编也是想起那些在网吧里和朋友一起通宵大战的日子就非常怀念,但是现在网吧越来越少,家里上网条件
现有的串空间模型由于没有抽象更多的密码学原语,因此不能分析较复杂的安全协议.希望通过对串空间理论的扩展使其充分地表达较多的密码学原语,以满足分析复杂安全协议的需要.
近日,国内主流笔记本电脑厂商京东方推出了一款时尚魅力笔记本电脑——T1600系列,为追求时尚生活方式的人群提供了更多的选择。该系列产品除了具有京东方外观设计个性化和高
【正】 在上两期里,我们介绍了“网络猪”的基本功能,这些功能大都是软件初始化便有的。而“网络猪”还有许多功能,其实还得用户自己根据喜好来选择定制,让我们来看一看如何