论文部分内容阅读
<正>近年来,关于意图的形式化研究已成为哲学逻辑、人工智能和计算语言学共同关心的重要课题,
意图逻辑
【摘 要】
：
<正>近年来,关于意图的形式化研究已成为哲学逻辑、人工智能和计算语言学共同关心的重要课题,
【机 构】
：
中国科学技术大学计算机系,中国科学技术大学计算机系,合肥
【出 处】
：
计算机科学
【发表日期】
：
1997年3期
【基金项目】
：
国家自然科学基金,,863计划,,国家教委博士点基金
其他文献
<正>随着社会的进步和科学技术的发展,人们已不满足于仅仅从体力劳动中解放出来,还希望进一步从脑力劳动中解放出来,于是让机器(计算机)具备一定的智能、去完那地些需人的智
<正>解释就是人工智能系统对用户提问给出一个清晰的、完全的和易干理解的回答,即对其行为作出合理说明、使系统具有透明性。解释的类型虽然很有,但对于用户是否接受一个推理
<正>近几年,国外对模糊数据库进行了研究,在能源决策及信息检索方面己有所应用。如日本和美国己把模糊数据库用于能源决策、医疗会诊等许多领域,显示了其重要的实用价值。在
<正>计算智能(Cl)是当前智能科学研究的新热点,其积极意义在于推出新的、功能更强大的、具有更普遍意义的计算智能模型或方法。神经网络的学习能力及并行计算结构,成为其中一
<正>1引言 交易员是ODP系统中的一个重要组件,用于分布计算环境中对象服务的发布与获[l],实现对象服务的分布透明与互操作,即一个对象可将其所提供的服务通过交易员进行发
<正>诊断推理技术起源于美国,虽然沿用了医学领域中的名称,但其研究内容已远远超出了医学诊断。它在工程、社会和经济等领域有着广泛的应用前景。由于60年代初期航天和军工等
<正>一、引言 高速网络技术和多媒体工作站技术的进步为分布式多媒体系统的发展奠定了基。人们已经成功地开发出了很多新型的分布式多媒体应用,如远程学习,计算机会议、远
本文根据文（３）已有的一个理论成果（定理１），给出了判定一个图是否含有ｋ－因子的一个算法，同时对算法的复杂性作了分析，并示出了一些简单情况的结果。
<正>“计算机支持的协同工作(Computer supported cooperative work,简称CSCW)”这个词是rief和Cashman在1986年提出来的,代表那些支持用户群(User Groups,在不引起歧义的情