这是介绍人工智能中描述逻辑的经典参考书，简要易懂。-This is to introduce artificial intelligence in the classic descr iption logic reference, a brief and understandable.