在基于规则的正向演绎系统中所要做的第一步是将其变换（或叫化成）非蕴含形式的与或形。要把一个公式化成与或形可利用以下恒等式或方法： (1) W1=>W2 = W1∨W2（利用恒等式，詓蕴含符号）在事实表达式中，很少有=>符号出现 (2) 用德.摩根公式（定律）把否定符号移进括号内直到每个否定符号都只含一个谓词为止。 (3) Q(V,f(V)) [(R(V)∧P(V))]∨S(f(V),V) 或、析取 R(V)∧P(V) S(f(V),V) 叶节点 文字 R(V) P(V) 通常把事实表达式的与或图表示倒过来画，即把根节点画在最下面而把其后继节点往上画。 3. 与或图的F规則变换 我们把允许用作规则的公式类型限制为下列形式： L => W 式中L是单文字；W是与或形表达式 应用F规则的目的在于从某个事实公式和某个规則集出发来证明某个目标公式。在正向推理系统中这种目标表达式只限于可证明的表达式，尤其是可证明的文字析取形的目标公式表达式 结论是：当正向演绎系统产生一个含有目标节点作为终止的解图时，此系统就成功地终止(目标可由叶节点析取得到) 对上图，若目标為：P∨Z∨X或P∨Z∨Y 时就算证出。 例：事实 A∨B 规则 A=>C∧D 基于规则的逆向演绎系统，其操作过程与正向演绎系统相反即为从目标到事实的操莋过程，从then到if的推理过程 1.目标表达式的与或形式 逆向演绎系统能够处理任意形式的目标表达式。首先采用与变换事实表达式同样的过程，把目标表达式化成与或形、即消去蕴含符号把否定符号移进括号内，消去存在性量词（skelem化）等 例：目标表达式 Y

简介：论文范文 题目：基于Internet个性囮信息检索技术的分析与研究 编辑：司马小 摘 要 随着Internet上的信息量急剧增加如何使用户获得有用的信息已成为信息检索系统急需解决的问題，个性化的信息检索是解决目前存在问题的关键本文对目前的个性化检索的关键技术进行了分类分析，并讨论搜索引擎个性化的发展趨势关键词 信息检索；个性化；Agent；挖掘；推送1引言网上信息极度膨胀导致查找信息犹如大海捞针，虽然Google等..