期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
用逆向演绎系统解决画面问题FP
1
作者
王士同
吴翰声
《计算机工程与设计》
CSCD
北大核心
1993年第3期9-14,共6页
本文叙述了在设计基于对象模型的机器人规划生成系统时因状态描述中含有常识性推理规则而引起的画面问题FP(Frame—Problem),提出了一个应用基于规则的逆向演绎系统解决此类画面问题的方法。
关键词
人工智能
画面问题
逆向演绎系统
在线阅读
下载PDF
职称材料
初等不等式的可读证明的自动生成
被引量：
6
2
作者
陈世平
张景中
《四川大学学报（工程科学版）》
EI
CAS
CSCD
2003年第4期86-93,共8页
结合不等式的证明及可读证明的自动生成这两个问题,以初等不等式及部分三角形不等式为研究对象,运用人工智能的技术,对目标不等式、条件及证明方法分类模型化的方法,实现了一个基于规则的逆向演绎系统,它能证明大部分初等不等式及部分...
结合不等式的证明及可读证明的自动生成这两个问题,以初等不等式及部分三角形不等式为研究对象,运用人工智能的技术,对目标不等式、条件及证明方法分类模型化的方法,实现了一个基于规则的逆向演绎系统,它能证明大部分初等不等式及部分三角形不等式的真伪并可自动产生符合人类思维习惯的可读的证明过程,该系统可以移植到智能教育软件中。
展开更多
关键词
规则
逆向演绎系统
模型
初等可读证叫
深度约束
在线阅读
下载PDF
职称材料
题名
用逆向演绎系统解决画面问题FP
1
作者
王士同
吴翰声
机构
镇江船舶学院
出处
《计算机工程与设计》
CSCD
北大核心
1993年第3期9-14,共6页
基金
国家自然科学基金项目(项目号69185010)
文摘
本文叙述了在设计基于对象模型的机器人规划生成系统时因状态描述中含有常识性推理规则而引起的画面问题FP(Frame—Problem),提出了一个应用基于规则的逆向演绎系统解决此类画面问题的方法。
关键词
人工智能
画面问题
逆向演绎系统
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
初等不等式的可读证明的自动生成
被引量：
6
2
作者
陈世平
张景中
机构
四川大学信息管理系
中国科学院成都计算机应用研究所
出处
《四川大学学报（工程科学版）》
EI
CAS
CSCD
2003年第4期86-93,共8页
文摘
结合不等式的证明及可读证明的自动生成这两个问题,以初等不等式及部分三角形不等式为研究对象,运用人工智能的技术,对目标不等式、条件及证明方法分类模型化的方法,实现了一个基于规则的逆向演绎系统,它能证明大部分初等不等式及部分三角形不等式的真伪并可自动产生符合人类思维习惯的可读的证明过程,该系统可以移植到智能教育软件中。
关键词
规则
逆向演绎系统
模型
初等可读证叫
深度约束
Keywords
rules
rule-based backward system
model
elementary and readable proof
depth bound
分类号
TP181 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
用逆向演绎系统解决画面问题FP
王士同
吴翰声
《计算机工程与设计》
CSCD
北大核心
1993
0
在线阅读
下载PDF
职称材料
2
初等不等式的可读证明的自动生成
陈世平
张景中
《四川大学学报（工程科学版）》
EI
CAS
CSCD
2003
6
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
