摘要: Computers are often seen as very powerful, but stupid, ‘number crunchers’ — because they work so much more quickly than human beings, will continue diligently with mindless chores, and, given appropriate precautions, less prone to random errors, can do calculations that beyond practical ability. But there other activities which computers well suited, one of them being the application logical reasoning. Reasoning is an aspect intelligence, and this use computing contributes research into creation artificial intelligence.