首页> 中文期刊> 《计算机应用与软件》 >基于用户自添加规则的自动推理程序

基于用户自添加规则的自动推理程序

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

基于前推搜索算法的自动推理软件近年来相继出现,该类软件利用几何定理可读证明的特性,和用户进行交互解题.但这类软件都是将推理的规则作为内置函数处理,用户只能选择软件提供的规则进行推理.设计了用户可添加规则的算法,即用户可以将自己的知识作为规则添加到软件中来进行推理.该算法已被编制成程序.

著录项

来源
《计算机应用与软件》 |2007年第9期|48-50|共3页
作者
郭四稳;
展开▼
作者单位

广州大学计算机教育软件研究所;

广东;

广州;

510006;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
谓词; 语句; 规则; 前推法; 几何信息; 特征串;

相似文献

中文文献
外文文献
专利

1. VC++应用程序添加不规则位图方法及实现 [J] . 刘好杰 ,裴宇 ,王刚 . 知识经济 . 2011,第005期
2. 用好安全规则,限制用户运行程序 [J] . B for boy . 音响改装技术 . 2004,第010期
3. 基于聚类和关联规则建立用户行为规则的数据库审计研究 [J] . 张昊迪 ,沈军 ,王帅 . 广东通信技术 . 2017,第012期
4. 基于FANUC用户宏程序的刀长测量程序设计 [J] . 朱宏伟 . 机床与液压 . 2012,第002期
5. 基于延迟期权的数字保存项目投资规则建立——基于对用户数量的离散变化分析 [J] . 臧国全 ,安明 ,杨敏 . 图书馆理论与实践 . 2013,第007期
6. 基于用户网评体验数据挖掘的旅游目的地城市评价与分类规则模型——以中国342个旅游目的地城市为例 [C] . 魏维轩 ,王南 . 中国风景园林学会2018年会 . 2018
7. 基于并行技术的几何自动推理中推理规则库建立的研究 [A] . 战扬 . 2006

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号