个有待证明的问题，然后采用消解谓词逻辑法定理和消解反演来证明一个新语句是从已知的正确语句导出的，从而证明这个新语句也是正确的。谓词逻辑是一种形式语言，能够把数学中的逻辑论证符号化。谓词逻辑法常与其它表示方法混合使用，灵活方便，可
f以表示比较复杂的问题。在表示和求解比较复杂的问题时，采用单一的知识表示方法是远远不够的。往往必须采用多种方法混合表示。例如，综合采用框架、语义网络、谓词逻辑的过程表示方法两种以上，可使所研究的问题获得更有效的解决。此外，在选择知识表示方法时，还要考虑所使用的程序设计语言所提供的功能和特点，以便能够更好地描述这些表示方法。
3、进行搜索技术一般需要某些有关具体问题领域的特性的信息，把此种信息叫做启发信息。利用启发信息的搜索方法叫做启发式搜索方法。例：八数码难题采用了简单的估价函数f
d
W
其中：d
是搜索树中节点
的深度；W
用来计算对应于节点
的数据库中错放的棋子个数。因此，起始节点棋局28314765的f值等于044。
4、接口接口是人与系统进行信息交流的媒介，它为用户提供了直观方便的交互作用手段。接口黑板是用来记录系统推理过程中用到的控制信息、中间假设和中间结果的数据库。它包括计划、议程和中间解3部分。知识库包括两部分内容。一部分是已知的同当前问题有关的数据信息；另一部分是进行推理时要用到的知识库一般知识和领域知识。调度器按照系统建造者所给的控制知识，从议程中选择一个项作为系统下一步要执行的动作。执行器应调度器用知识库中的及黑板中记录的信息，执行调度器所选定的动作。协调器的主要作用就是当得到新数据或新假设时，对已得到的结果进行修正，以保持结果前后的一致性。解释器的功能是向用户解释系统的行为，包括解释结论的正确性及系统输出其它候选解的原因。解释器
5、为了体现染色体的适应能力，引入了对问题中的每一个染色体都能进行度量的函数，叫适应度函数（fit
essfu
ctio
）。TSP的目标是路径总长度为最短，自然地，路径总长度就可作为TSP问题的适应度函数。适应度函数要有效反映每一个染色体与问题的最优解染色体之间的差距。适应度函数的取值大小与求解问题对象的意义有很大的关系。适应度函数必须有能力计算搜索空间中每个确定长度的特征字符串的适应值。
f四、请用相应的谓词公式表示下述语句：请用相应的谓词公式表示下述语句：1、xlikexzq∧xlikexpq∧xlikexzq∧likexpr