分类:自动控制

D

• DENDRAL系统

L

• LISP机
• LISP语言

M

• MYCIN系统

P

• PROLOG语言

R

• RI(XCON)系统

专

• 专家控制
• 专家系统
• 专家系统开发工具

两

• 两足步行机器人

产

• 产生式系统

元

• 元知识

公

• 公式推演

几

• 几何定理机器证明

医

• 医学图像分析

可

• 可编程序控制器

响

• 响应生成

喷

• 喷漆机器人

图

• 图像分割
• 图像分析
• 图像变换
• 图像处理
• 图像编码
• 图像表示
• 图像预处理

太

• 太空机器人

工

• 工业机器人

弧

• 弧焊机器人

归

• 归结原理

形

• 形状分析

扩

• 扩展转移网络

搜

• 搜索

操

• 操作器

数

• 数字图像处理

文

• 文字识别

智

• 智能机
• 智能机器人
• 智能网

最

• 最小距离分类

机

• 机器人控制
• 机器定理证明
• 机械手

极

• 极限作业机器人

格

• 格语法

框

• 框架型表示方式

概

• 概念依存理论

模

• 模式分析

点

• 点焊机器人

知

• 知识工程
• 知识获取
• 知识表示

示

• 示教再现机器人

移

• 移动机器人

程

• 程序控制机器人

类

• 类比表示

系

• 系统语法

纹

• 纹理分析

结

• 结构模式识别

统

• 统计模式识别

聚

• 聚类分析

自

• 自动程序设计
• 自然语言理解
• 自然语言语法
• 自然语言语法分析

行

• 行动计划

装

• 装配机器人

言

• 言语理解

认

• 认知模型

语

• 语义型语法分析程序
• 语音识别

贝

• 贝叶斯分类器

转

• 转换语法

过

• 过程表示

近

• 近邻法分类

通

• 通用语法分析程序

逻

• 逻辑程序设计
• 逻辑表示

遥

• 遥感图像分析
• 遥控

问

• 问题求解
• 问题表示

集

• 集成电路

非

• 非归结定理证明
• 非标准逻辑中的自动演绎