Basic terminology of "turn" artificial intelligence

Transferred from: http://wenku.baidu.com/link?url= Xv5caxpztlnuw1rigoe9wxg9dbbmxjvp6cn8ckclbqa8u6y6tj7ki4l2vdmlcx1iw19ivzrc1tymtwsfekqhnziuouvsunniwtxiojzvpvo

A comparison of Chinese and English terms in AI introduction

Actions action

Experts system Expert Systems

Artificial Intelligence language AI language

Ancestor filtering strategy ancestry-filtered form strategy

With nodes and node

With or graph and/or graph

With or and/or tree

Answer statement Answer statement

AI Artificial Intelligence,ai

Atomic Formula Atomic formula

Automatic theorem proving automatic theorem proving

B Rule B-rule

Retrograde value backed-up value

Backtracking backtracking

Blind Search, no information blind search

Breadth-first Search for width first

Clause clause

Combined Explosive combinatorial explosion

Conflict Resolution conflict resolution

Hop-on conjunct

Hop conjunction

Combined Paradigm conjunctive Normal form

Conjunctions, Connection words connective

Uniform Solution Diagram consistant Solution graph

Controlling policy control Strategy

Cost

Deductive deduction

Depth-First searching Depth-first search

Derivation table, guide graph derivation graph

Difference Difference

Direction Graph directed graph

Extraction Type disjunct

Extract disjunction

predicate calculus jurisdiction domain in predicate calculus

on domain, text field domain of discourse

Efficiency of the search algorithm efficiency of search algorithm

Empty words clause

Equivalent equivalence

Estimated costs estimated cost

Valuation Functions Evaluation function

Existence quantifier Existential quantifier

Expansion nodes expending node

Node extension expansion of Node

F Rule F-rule

Facts Fact

First ORDER predicate calculus predicate calculus

Games game

Graph graph

Graph representation of graph notation

Figure Searching Graph Search

Figure Search Control Strategy Graph-search controls strategy

Heuristic functions heuristic function

Inspiring information Heuristic information

Inspire Search heuristic

Implication, implication type implication

Reasoning Inference

Smart Intelligence

Interpreter Interpreter

Knowledge knowledge

Knowledge Acquisition Knowledge acquisition

Global database

Knowledge Base Knowledge Base

Knowledge Engineering Knowledge Engineering

Learning Learning

Heuristic searching heuristic Search

Linear input shape strategy linear-input form strategy

Text literal

Logical logic

Logical conjunction Logic connective

Logical Logic Reasoning

Matching match

Pattern matching match pattern

Master Matrix

Most common Oneness unifier

NP Complete Problem np-complete problem

Operators, operator, operator operator

Optimal solution tree Optimal solution trees

Searching ordered search by order

predicate predicate

predicate calculus predicate calculus

predicate logic predicate logic

Prefix prefix

Primitive problem Primitive problem

Problem Attribution Problem-reduction

Problem solving problem Solving

Production Type production

Production rules production rule

Quantifier quantifier

Reasoning Reasoning

Forward reasoning forward Reasoning

Reverse Inference Backward Reasoning

Inference Engine Reasoning Machine

Return to about reduction

Inversion refutation

Inversion Tree refutation Trees

Attributed to resolution

Due to principle resolution principle

Resolution refutation of the inverse inversion

Attributed resolvent

Satisfiability of Satisfaction

Patterns Recognition Pattern Recognition

Quantifier jurisdiction Scope of quantifier

Search searches, searching

Search algorithm searching algorithm

Search Graph Searching graph

Search strategy Searching strategy

Search Trees Searching Tree

Sentence sentence

Solution Graph Solution Graph

Solution Tree

Solvable nodes solvable node

Solvable labeling procedure of the solvable labeling process

Status state

State space

Substitution example Substitution instance

Substitution substitution

Tautology tautology

Term

Theorem Proving Theorem-proving

Uncertainty uncertainty

Oneness unifier

Most common one general unifier

Full-name quantifier Universal quantifier

Unsatisfiable Set Not satisfied

Non-solvable labeling process unsolvable-labeling procedure

Non-solvable nodes unsolvable node

Yong-Real validity

Suitable formula, Formula well-formed formula (WFF)

Predicate calculus formula wffs of predicate calculus

Artificial neural networks artificial neural network

Genetic algorithm Genetic algorithm

Machine Learning Machines Learning

Basic terminology of "turn" artificial intelligence