基于有限状态自动机的产生式推理.pdfVIP

第29卷第8期增刊 仪 器 仪 表 学 报 V01．29No．8 2008年8月 Chinese Joumal of Scientific Instrument Aug．2008 基于有限状态自动机的产生式推理 王书振 李雷 王保保 (西安电子科技大学计算机学院，西安710071) 摘要：本文提出一种用有限状态自动机的代数理论，为产生式推理的正向推理与或树建立数学模型的方法，并将产生式推 理过程中的概念和结构映射到有限状态自动机的概念和结构上，同时给出了产生式推理的语义形式化描述。 关键词：产生式推理 推理树 有限状态自动机 代数模型 Production rule based on finite state automaton Wang Shuzhen Li Lei Wang Baobao (SchoolofComputerScienceTechnologyXidian UniversityXian710071) Abstract：This paper presents a mathematic model construction method for forward inference and·or tree of production rule using the algebraic model of finite state automaton，maps the concept and structure of production inference to the concept and structure of finite state automaton，and gives the semantic and formally description of the inference of production rules． Key words：production inference inference tree finite state automaton algebraic model 1 引言 产生式专家系统是一种应用广泛的专家系统。 其推理方式主要分为正向和反向推理的基本方式。 有限状态自动机是图形的，数学化的计算模型。因 此，用有限状态自动机的理论去解释，分析产生式 推理有着重要的意义。本文就自．限状态自动机的理 论，由产生式推理的状态转换观点，构造了产生式 推理的有限自动机形式，并用事实进行了验证。 2 产生式推理的状态转换 足。用另一种观点来看，此推理过程可以作为一个 状态转换的过程。由开始状态接受事实／数据的输 入，不停地转换状态，直到满足某种终止条件到达 终态。该状态就是得出的结论。自动机用来作为语 言识别器，建立形式语言与自动机的对应关系，通 过自动机得出相应文法的识别程序。用自动机的观 点来看，产生式推理过程的状态转换可以看成自动 机的状态迁移，产生式推理的条件可以看成自动机 识别的形式语言。 3 产生式推理的有限自动机模型 ，骼：专慧黧黧I竺慧篙黧登詈有初嘉鬟雩主萎丢篙言票萎黔旨篡蕃霎蓁 筌芝!黧竺坚竺塞竺。薹凳掣雾曩主；磊秉晶票蕃：。釜釜菜磊磊巢磊苫朵：；茎； 实数据库，进行推理并不断检测目标条件是否满 ～～”～～”～””?～”～?”“。“”?’一一 第8期增刊 王书振等： 基于有限状态自动机的产生式推理 系统启动以后，推理机就开始推理， 进行问题求解。 按所给的目标 理对象的各个性状的集合，即事实数据库。 3．1 产生式推理到有限状态自动机的映射 产生式推理的推理过程，可以构造一个有限状 态自动机。推理机是一定的条件在一定的规则下， 由相应的策略得到一定的结论。用状态转移的观点 来研究推理机的推理过程，把他的一次推理看成一 个系统，该系统有以下特点： 1系统具有穷个状态，不同的状态代表不同的 意义。 2可以将输入字符串中出现的字符汇集在一 起构成一个字母表。系统处理的所有字符串都是这 个字母表上的字符串。 3系统在任何一个状态(当前状态)下，从输 入字符串中读入一个字符，根据当前的状态和读入 的这个字符转到新的状态。当前状态和新的状态可 以是同一个状态，也可以是不同的状态。当系统从 输入字符串中读入一个字符后，它下一次再读时 候，会读入下一个字符。这就是说，系统相当于维 持一个读写指针，该指针在系统读入一个字符后指 向输入串的下一个字符。 4系统有一个开始状态，它是系统的开始状 态，系统在这个状态下开始进行某个给定句子的处 理。 5系统中还有一个状态表示它到目前为止所 读入的字符构成的字符串是语言的一个句子，将系 统由开始状态引导到这种状态的所有字符串所构 成的语言就是系统所识别的语言。 根据上述推理过程中的特点，用自动机的理论 去描述可构造一个产生式推理的自动机表示．下面 给出该推