分类:形式科学

A

• Atlas机器人

D

• Delta机器人
• DENDRAL系统

L

• LISP机
• LISP语言

M

• MYCIN系统

P

• PROLOG语言

R

• RI(XCON)系统

专

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

两

• 两足步行机器人

互

• 互动模式

产

• 产生式系统

人

• 人型机器人
• 人型机器人学
• 人工意识
• 人工智能
• 人工神经网络
• 人工语言
• 人机交互
• 人脸识别
• 人造脑

信

• 信号处理
• 信息论

元

• 元知识

光

• 光学字符识别

公

• 公式推演

军

• 军用机器人

几

• 几何定理机器证明

动

• 动力服

协

• 协作式机器人

可

• 可编程序控制器

史

• 史都华平台

响

• 响应生成

喷

• 喷漆机器人

图

• 图像分析
• 图像检索
• 图形用户界面

基

• 基于内容的图像检索

太

• 太空机器人

工

• 工业机器人

常

• 常识知识库

并

• 并联式机械手

弧

• 弧焊机器人

强

• 强人工智能
• 强化学习

归

• 归结原理

情

• 情感计算

意

• 意识上传

感

• 感知器

手

• 手写识别

扩

• 扩展转移网络

指

• 指纹识别

搜

• 搜索

操

• 操作器

无

• 无人水下载具
• 无人航空载具

智

• 智能代理
• 智能机
• 智能机器人
• 智能网

本

• 本体语言

机

• 机器人
• 机器人三定律
• 机器人学
• 机器人控制
• 机器学习
• 机器定理证明
• 机器翻译
• 机器视觉
• 机械手

极

• 极限作业机器人

格

• 格语法

框

• 框架型表示方式

概

• 概念依存理论

深

• 深度学习

点

• 点焊机器人

生

• 生物信息学
• 生物机器人
• 生物识别技术

用

• 用户界面

监

• 监督学习

知

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

示

• 示教再现机器人

社

• 社交机器人

移

• 移动机器人

程

• 程序控制机器人

符

• 符号人工智能

类

• 类人型机器人
• 类比表示

系

• 系统语法

纳

• 纳米机器人学

网

• 网络本体语言

聊

• 聊天机器人

自

• 自动程序设计
• 自动驾驶汽车
• 自然语言
• 自然语言处理
• 自然语言理解
• 自然语言语法
• 自然语言语法分析

行

• 行动计划

装

• 装配机器人

言

• 言语理解

计

• 计算机视觉
• 计算语言学

认

• 认知模型

语

• 语义型语法分析程序
• 语义网络
• 语音合成
• 语音编码
• 语音识别

赛

• 赛博格

转

• 转换语法

过

• 过程表示

进

• 进化算法

通

• 通用语法分析程序

逻

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

遗

• 遗传算法

遥

• 遥控
• 遥控技术
• 遥控潜水器

问

• 问题求解
• 问题表示

非

• 非归结定理证明
• 非标准逻辑中的自动演绎
• 非监督式学习