类比推理机系统
文献类型 | 专利 |
发明人 | 赵沁平[1];李波[2];沈旭昆[3];王双全[4];王军玲[5] |
机构 | 北京航空航天大学 ↓ |
申请人 | 北京航空航天大学 |
专利类型 | 发明专利 |
年度 | 1999 |
专利申请日期 | 1999-05-31 |
专利公开日期 | 1999-11-17 |
专利公开号 | CN1235311 |
专利申请号 | CN99107882.9 |
国家或地区 | 北京 |
摘要 | 本发明类比匹配算法的步骤是:建立基和靶间所有命题映射的集合;调用合并过程生成所有极大映射的集合,其算法的复杂度不超过O(n4)。本发明类比推理部件包括数据结构、指令系统、存储模型、硬件系统,数据表示包括类型、结构型数据压缩存储信息和数据值三个字段;指令分为一个操作码字段和三个操作数字段;存储采用多栈式;硬件系统由指令控制单元、指令执行单元、时钟系统与状态机、接口单元、多总线组成。本发明类比推理的效率大幅度提高,增加了计算机系统求解问题和获取知识的能力,适用于类比推理应用领域。 |
影响因子:
中德软件技术联合研究所
新媒体艺术学院
计算机学院
dc:title:类比推理机系统
dc:creator:赵沁平;李波;沈旭昆,等
dc:date: publishDate:1999-05-31
dc:type:专利
dc:format: Media:
dc:identifier: LnterrelatedLiterature:1999.
dc:identifier:DOI:
dc: identifier:ISBN: