只有制约逻辑才能作为人工智能的逻辑工具

对宇宙的显示实机器表示，加到有的知识表示系统中去，行使机器推理，去得出前所未有的新的知识表示的机器运行过程，就称为人工智能。能从已有的知识得出新的知识是人工智能的根本。