Prolog语言—搜索策略的归结反演推理机

Prolog Language:The Resolution Refutation Machine with Searching Strategy

Prolog语言采用一种特殊的合取范式形式来描述人工智能中所要求解的问题,这样一种知识表示方法所要求的知识推理技术必须具有机械化的可行性。要使归结过程的机械化步骤在计算机上具有可行性,还要告诉计算机一种搜索策略,即指导计算机进行归结的方法。这种方法显然是一种归纳逻辑方法。计算机中的逻辑推导既不是单纯的演绎过程,也不是单纯的归纳过程。计算机语言既是演绎的又是归纳的,是二者的融合。

Prolog language adopts a special type of conjunctive normal form to depict the problems in artificial intelligence. The technology of knowledge inference required by this kind of knowledge mechanized feasibility. In order to make the mechanized process of resolution a representation must possess a realized in the computer, it is better to give the computer a searching technique - the method guiding the computer to resolute. This method obviously is a method of inductive logic. Logical derivation in a computer is neither a simple deductive process nor is a simple inductive process. Computer language is deductive as well as inductive, and is what of they blend together.