切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
信息语义学:一个新计算语义学的构想
信息语义学:一个新计算语义学的构想
来源 :计算机科学 | 被引量 : 0次 | 上传用户:gin901122
【摘 要】
:
<正>我们的目的是探索一个新的计算语义学理论——信息语义学,本文大体勾勒出它的总体构,论述其基础,即基本概念,基本假设,基本原理.
【作 者】
:
陈祖舜
【机 构】
:
清华大学计算机系智能技术与系统国家重点实验室北京100084
【出 处】
:
计算机科学
【发表日期】
:
1995年6期
【关键词】
:
信息语义学
计算语义学
形式语义
Semantics
Meaning
Information
Interpretation
Conceptural s
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
<正>我们的目的是探索一个新的计算语义学理论——信息语义学,本文大体勾勒出它的总体构,论述其基础,即基本概念,基本假设,基本原理.
其他文献
Petri网系统活性的研究
<正> 随着Petri网在平行计算、通讯系统、计算机集成制造系统等领域的广泛应用,在以Petri网为实际系统建立模型之后,人们很关心模型系统各种性质与行为,其中,活性是最关心的
期刊
PETRI网系统
活性
可达图
动态系统
Petri Net
Liveness
Subclass
Liveness conjecture
Algorit
流动agent:一种未来的分布计算模式
流行agent技术对于未来分布式系统的设计、实现和维护技术具有重要意义。它可有效地降低网络拥塞、克服网络隐患,其异步与自主运行特性提高了分布式系统的健壮性和容错能力。本文作
期刊
流动agent
分布式计算
计算模式
人工智能
2009年7月主要建筑材料国内市场价格
<正>~~
期刊
从“大国”正迈向“强国”的我国DSD酸工业——纪念我国DSD酸工业50周年
回顾我国DSD酸工业发展历程。目前我国已发展成为世界上生产和出口DSD酸的大国,但还不是强国。全行业必须要深入贯彻科学发展观,把创新作为发展的核心动力,努力探索和实践用循环
期刊
染料中间体
DSD酸
制备
工业规模
评论
DSD acid
period of development
technological innovation
分布式多媒体系统的主要研究领域与发展现状
<正> 分布式多媒体系统集多媒体信息的综合性、计算机的交互性、通信的分布性、电视的真实性等于同一个系统,按全新方式在众多领域为用户提供新型分布式多媒体信息服务。由于
期刊
分布式多媒体
多媒体系统
信息处理
CPU
Distributed multimedia
Compression
Decompression
Networ
多协议标签交换进展
<正> 1.引言 Internet自90年代以来发展迅速,到目前已有超过3000万台主机,上网人数超过1亿人。这主要是因为WWW应用的出现,使Internet从一个面向研究团体的网络发展为大众化
期刊
多协议标签交换
INTERNET网
ATM
路由器
IP
ATM
MPLS
Label switching
按自然法则计算的一个新分支:确定性退火技术
<正> 1.引言按自然法则计算就是将大量的自然科学领域的思想与方法应用于其传统领域之外的其它领域,将原思想、方法的本质提取出来,用于解决新领域中的问题。按自然法则计算
期刊
确定性退火
自然法则
模拟退火算法
Physical computation
Deterministic annealing
Equilibrium state
命题逻辑可满足性问题的算法分析
<正> 1 引言可满足性问题(以下简称SAT)是问:对于一个命题逻辑公式,是否存在对其变元的一个真值赋值使之成立?这个问题在许多领域都有非常重要的意义,其快速求解算法的研究成
期刊
命题逻辑
可满足性问题
算法分析
计算机
Satisfiability problem
Algorithms
Design
Analysis
Preposi
面向对象软件测试的关键问题及对策
<正> 1 引言目前,面向对象软件开发方法占主导地位,但是,面向对象软件测试的研究却远远滞后于软件工程实践的需要。软件规模和复杂程度不断增加,应用软件及其运行环境,如操作
期刊
面向对象
软件测试
软件开发
软件工程
Object-oriented software testing
Test modeling. Test adequa
面向Agent软件工具(I):Agent计算,编程风范与语言设计
<正>Agent技术源于人工智能,现已融入主流计算机的各个领域。面向agent的风范自提出以来一
期刊
软件工程
人工智能
AGENT
计算
编程风范
Agent-oriented software engineering. Agent-oriented comp
与本文相关的学术论文