2、Can computer reason? Reasoning requires the individual to take a given set of facts and draw correct conclusions. Unfortunately, errors frequently occur. Now, or at least soon, computers will be able to do logical reasoning in a variety of areas without making errors. The key to avoiding errors is to use a computer program that relies on the recent research in this field. AURA(Automated Reasoning Assistant) is the program that is the best example of this use of the computer.

AURA solves a program by drawing conclusions from a given set of facts about the problem. The program reaches logical conclusions perfectly as it uses various types of reasoning and solves almost all problems by using advanced techniques to find a contradiction（矛盾）.

One generally starts with a set of assumptions and adds a statement that the goal is unreachable. For example, if the problem is to test a safety system that automatically（自动地） shuts down a nuclear reactor when instruments indicate a problem, AURA is told that the system will not shut the reactor down under those circumstances. If AURA finds a contradiction between the statement and the system’s design assumptions, then this aspect of the reactor’s design has been proved satisfactory. This strategy lets AURA concentrate on the problem at hand and avoid many fruitless steps.

The chief use for AURA at this time is for electronic circuit（电路）design check, but a number of other uses will arise. For example, there already exist “expert systems” that are special purpose programs designed to automate reasoning in a specific area such as medical diagnosis. These expert systems continue to improve and have an endless life. Moreover, they can be reproduced just for pennies. A human who can expertly predict where to drill for oil is in great demand. A program that can predict equally well would be invaluable and could be reproduced any number of times.

Will the computer replace the human being? It seems likely that computer programs will reproduce more clever programs, such programs will assist, rather than replace, humans. Reasoning assistants will enable human minds to turn to deeper and far more complex ideas, which will be partially prepared and then checked for reasoning flaws by a reasoning program. Many errors will be avoided.

1．The way AURA works is to            .

A．explore the faults in designing.              B．discover the viruses in a program.

C．find out what is against the set programs                               D．predict by reasoning.

2．All of the following are mentioned as areas for the use of AURA EXCEPT            .

A．electronic engineering.                          B．search for oil

C．identification of diseases.                      D．mental logic

3．All of the following are advantages of expert programs EXCEPT           .

A．they can be reproduced endlessly          B．they are featured by self analysis.

C．they may be enriched in contents.          D．they are reproduced almost free.

4．What’s the best title for the passage?

A．Practical Uses of computers.                B．Suggested applications for AURA.

C．The technical perfection of AURA.        D． Computer aid to human reasoning.

1、假设你叫李华，是一名高三学生。你的英国朋友Tom因为工作忙没有看奥运比赛，所以发e-mail向你了解刘翔因脚伤退赛的相关信息。请根据下列要点，用英文给Tom回一封电子邮件。

要点：

1．2008年8月18日刘翔因脚伤退赛；

2．你深感惋惜；

3．表示将继续支持刘翔；

4．祝愿刘翔早日伤愈，重返赛场。

注意：

1．词数100左右；

2．电子邮件的开头和结尾已为你写好（不计你所写词数）。

Dear Tom,

You said in your e-mail that you didn’t watch the Olympic Games because of your busy work and wanted to know something about Liu Xiang’s quitting the men’s 110-meter hurdles…

Sincerely yours,

Li Hua

27、A good idea occurred to Mr Baker ______to his invention recently.

A．while applying                                         B．while applied

C．while he was applying himself            D．while applying himself

26、I have _____ my money. Would you please lend me some?

A．run out         B．run out of            C．run short           D． run off

25、Leaves are found on all kinds of trees, but they differ greatly ____ size and shape

A．on            B．from            C．by           D．in

23、——Will??_____ sofa do?

——Sure. But if you haven’t, _____chair is OK. There are some at hand.

A. the; a         B. a; the          C. a; a        D. the; the

22、The beggar had nothing to do but _____ in the street all night.

A. wander          B. to walk           C. wandering                D. walking

21、Police will be _____ trouble-makers at today’s match.

A. looked out for         B. looking out for        C. looked out at              D. looking out at