首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   3篇
  完全免费   2篇
  自动化技术   5篇
  1998年   2篇
  1997年   1篇
  1995年   1篇
  1994年   1篇
排序方式: 共有5条查询结果,搜索用时 46 毫秒
1
1.
本文定义了一个多context逻辑结构。MCO在几个方面推广了传统的一阶逻辑:每个context相关一个理论;Context间存在outer关系;  相似文献
2.
文中为多理论系统建立了一个层次的理论框架-MT.MT在几个方面推广了传统的二型一阶谓词演算;允许表示多个理论,每个理论都在一个context内声明;每个context可以有关于其下层context的元理论,而context自身又作为其上层context的一个个体常元。  相似文献
3.
本文提出一种支持PROLOG程序并行执行的智能回溯机制,它是基于数据相关性分析的动静结合的智能回溯策略,在静态编译时通过相关性分析产生各子目标带条件的智能回溯点集合,动态执行时通过对变量的简单测试及对当前运行结果的简单测试来确定当前失败目标的最佳回溯点。  相似文献
4.
Internet的发展要求能同时使用来自不同知识源的信息.本文定义了一个两层的多con-text逻辑结构DBCL.第1层的每个context都是一个传统的多类逻辑理论,对应于一个数据库;第2层的context是个特殊的多类逻辑理论,可以声明第1层中各context间的各种联系,DBCL为异构的数据库的集成提供了一个形式化描述.本文还为DBCL定义了一类可靠且完备的语义解释.  相似文献
5.
姚莉  刘凤歧  汪浩 《软件学报》1994,5(2):48-56
本文主要讨论特性表机制与复合对象的概念、功能及实现.在基于知识的面向对象系统中引入特性表机制与复合对象概念的目的在于增强系统的知识表达能力.文中提出的特性表机制包括了三种类型的特性说明表:类说明特性表、继承关系特性表和变量特性说明表.复合对象在系统中是通过引入一个称为“影子类”的新概念来构造和实现的.  相似文献
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号