论文部分内容阅读
<正>我们的目的是探索一个新的计算语义学理论——信息语义学,本文大体勾勒出它的总体构,论述其基础,即基本概念,基本假设,基本原理.
信息语义学：一个新计算语义学的构想
【摘 要】
：
<正>我们的目的是探索一个新的计算语义学理论——信息语义学,本文大体勾勒出它的总体构,论述其基础,即基本概念,基本假设,基本原理.
【机 构】
：
清华大学计算机系智能技术与系统国家重点实验室北京100084
【出 处】
：
计算机科学
【发表日期】
：
1995年6期
其他文献
<正> 随着Petri网在平行计算、通讯系统、计算机集成制造系统等领域的广泛应用,在以Petri网为实际系统建立模型之后,人们很关心模型系统各种性质与行为,其中,活性是最关心的
流行ａｇｅｎｔ技术对于未来分布式系统的设计、实现和维护技术具有重要意义。它可有效地降低网络拥塞、克服网络隐患，其异步与自主运行特性提高了分布式系统的健壮性和容错能力。本文作
回顾我国DSD酸工业发展历程。目前我国已发展成为世界上生产和出口DSD酸的大国，但还不是强国。全行业必须要深入贯彻科学发展观，把创新作为发展的核心动力，努力探索和实践用循环
<正> 分布式多媒体系统集多媒体信息的综合性、计算机的交互性、通信的分布性、电视的真实性等于同一个系统,按全新方式在众多领域为用户提供新型分布式多媒体信息服务。由于
<正> 1.引言 Internet自90年代以来发展迅速,到目前已有超过3000万台主机,上网人数超过1亿人。这主要是因为WWW应用的出现,使Internet从一个面向研究团体的网络发展为大众化
<正> 1.引言按自然法则计算就是将大量的自然科学领域的思想与方法应用于其传统领域之外的其它领域,将原思想、方法的本质提取出来,用于解决新领域中的问题。按自然法则计算
<正> 1 引言可满足性问题(以下简称SAT)是问:对于一个命题逻辑公式,是否存在对其变元的一个真值赋值使之成立?这个问题在许多领域都有非常重要的意义,其快速求解算法的研究成
<正> 1 引言目前,面向对象软件开发方法占主导地位,但是,面向对象软件测试的研究却远远滞后于软件工程实践的需要。软件规模和复杂程度不断增加,应用软件及其运行环境,如操作
<正>Agent技术源于人工智能,现已融入主流计算机的各个领域。面向agent的风范自提出以来一