知识的过程性表示的一种主要形式。知识表示方式有两大基本类型:陈述性表示和过程性表示。陈述性表示方式强调知识的静态,即描述事物的属性及其相互关系;过程性表示方式则强调知识的动态,即表示推理和搜索相关事实等运用知识的过程。过程表示及其特点 以字母顺序的机器处理为例,用陈述性表示方式将“A在B之前、B在C之前…”等顺序关系显式地表示出来是很方便的,但并没有给出究竟怎样排序的方法,因此要另行设置执行程序(如产生式系统、定理证明程序、解释程序等)来完成具体的排序任务。采用陈述性方式表示知识的系统,知识的表示和知识的运用一般是分开的。上例如用过程性表示方式则可对每个字母指定一个正整数,将判定两字母的先后顺序变换为比较两正整数的大小。过程性表示方式与陈述性表示方式的最大区别是知识的表示和运用不分开,表示就寓于运用之中。过程性表示方式便于执行,但可理解性较差。在上例中,人们很难从两个正整数的大小比较中领会其实质上是字母排序。在这种表示方式中,要修改现有知识而又不影响其他知识的完整性也比较困难。用过程性表示的系统,各知识之间交互作用强而模块性差,而用陈述性知识表示的系统则恰好相反。