也称基于知识操作系统。是支持计算机特别是新一代计算机的一类新一代操作系统。它负责管理上述计算机的资源,向用户提供友善接口,并有效地控制基于知识处理和并行处理的程序的运行。因此,它是实现上述计算机并付诸应用的关键技术之一。
智能操作系统将通过集成操作系统和人工智能与认知科学而进行研究。其主要研究内容有:操作系统结构;智能化资源调度;智能化人机接口;支持分布并行处理机制;支持知识处理机制;支持多介质处理机制。 为了开展人工智能和认知科学的研究,要求有一种程序设计语言,它允许在存储器中储存并处理一些复杂的、无规则的、经常变化的和无法预测的结构,这种语言即后来被称为的人工智能程序设计语言。人工智能程序设计语言及其相应的编译程序(解释程序)所组成的人工智能程序设计语言系统,将有效地支持智能软件的编写与开发。与传统程序设计支持数据处理采用的固定式算法所具有的明确计算步骤和精确求解知识相比,人工智能程序设计语言的特点是 :支持符号处理 , 采用启发式搜索,包括不确定的计算步骤和不确定的求解知识。实用的人工智能程序设计语言包括函数式语言(如Lisp),逻辑式语言(如Prolog)和知识工程语言(Ops5),其中最广泛采用的是Lisp和Prolog及其变形。
Lisp语言适合于符号处理,它处理的唯一对象是符号表达式(又称S-表达式)。所有的程序与数据均由S-表达式构成,采用的主要控制结构是递归。Prolog语言以一阶谓词演算为其理论基础。它的数据结构是项,所有的程序和数据均由项组成,也采用递归为其主要控制结构。此外,Prolog能自动实现模式匹配和回溯。 指利用人工智能技术或知识工程技术于某个应用领域而开发的应用系统。显然,随着人工智能或知识工程的进展,这类系统也不断增加。智能应用系统是人工智能的主要进展之一。

智能系统的主要特征