面向智能主体的程序设计

来源 :计算机学报 | 被引量 : 0次 | 上传用户:msdlzs
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
面向智能主体的程序设计是一种以计算的社会观为基础的新型程序设计范例。本文介绍我们在AOP方面进行的研究工作。AOP工作以多个智能主体的知识信息处理问题为背景,采用AOP的语法途径,强调将知识本文首先讨论与AOP相关的智能主体的体系结构。然后,以AOP语言ROOT的技术支点(即面向对象程序设计技术、基于条件重写的逻辑程序设计技术和元级推理技术等)为线索介绍ROOT。最后通过一个简单例说明ROOT的A
其他文献
目的探讨硝苯地平缓释片在高血压病治疗中的临床效果。方法回顾性分析我院收治的248例高血压患者,随机分为治疗组和对照组,治疗组124例采用常规与硝苯地平缓释片联合治疗,对
函数式面向对象程序设计语言FOPL是笔者设计并实现的一种合成语言,本文在一个全称的抽象域上描述了FOPL语言的指称语义。
本文给出了模态子句集的标准子句集概念,提出了一种基于标准子句集的模态归结方法的变型,称之为标准模态归结,证明了任意模态子句集恒假当且仅当存在从它的标准子句集出发,使用标
本文基于开放逻辑理论,给出了缺省理论T=<D,W>扩充E的新假设,事实反驳、e-重构、e-认识进程及其极限等概念的意义,讨论了W变化时新扩充的变化规律,并证明了相关的定理,本文还建立了缺省理论的一
目的探讨非典型川崎病临床特征和诊治。方法回顾我科2003年4月至2008年4月收治非典型川崎病40例临床资料进行总结分析。结果36例经治疗症状体征消失,4例冠状动脉扩张者经治疗
在详细讨论了简单数据组访问模式下假共享抖动现象及其消除方法的基础上,本文着重分析了复杂访问模式下的假共享Cache行抖动现象和真假共享抖动并存现象,引入了并行循环访问距概念,提
在采用local cache,write-inval:date cache一致性协议的多级存储并行处理系统中,一个经常出现的现象就是真假共享所引起的Cache行抖动,由于这种数据在不同处理机的Cache间来回移动的现象严重地影响了并行机性能的发挥,它
本文对OSI参考模型进行了全面的分析,并介绍了一种高级Petri网,称为EPr/T网系统,该系统可作为OSI网络协议的形式描述工具,然后,利用EPr/T网系统对(N)层通信协议进行了形式描述,并阐明了OSI网络协议形式描述的一
本文研究了熊猫源枯草芽孢杆菌DXM—01对肉鸡生长性能和经济效益的影响.选用90羽7日龄的肉仔鸡随机分成3个处理组.每个处理设3个重复。对照组饲喂基础日粮.抗生素组饲喂基础日粮
目的探讨会阴Ⅲ度裂伤的防治措施。方法回顾性分析会阴Ⅲ度裂伤13例临床资料。结果13例除1例外均发生于会阴切开者,2例为经产妇。切口12例甲级愈合,1例感染后延期修补,肛门括