盲目搜索的方法有深度优先搜索、宽度优先搜索和有界深度优先搜索等。（)

人工智能的主要应用领域有：自然语言理解、数据库的智能检索、专家咨询系统、定理证明、博弈、机器人学、自动程序设计、组合调度问题、感知问题等。()

搜索算法，根据其是否使用与问题有关的知识，分为盲目搜索和启发式搜索。()

MYCIN系统中使用不确定推理，规则A→B由专家指定其可信度CF(B，A)，若A真支持B真，则指定CF(B，A)(与零比较)应≥0;若A真不支持B真，则指定CF(B，A)应<0。()

合一算法：求非空有限具有相同谓词名的原子公式集的最一般合一。()