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 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.
【安徽省明光英普辅导中心高考英语一轮总复习课件:Unit23《Conflict》】相关文章:
★ 2014届高考英语一轮复习课时作业(二十二)必修4Module 4《Great Scientists》(外研版)
★ 安徽省淮南市2014高考英语一轮单项选择及文章训练(23)及答案
★ 四川省2016届高考英语一轮复习课时作业(22) Module 4 Great Scientists 外研版必修4
★ 【浙江专用】2014届高考英语一轮复习课时作业(十三)必修3Unit 3《The Million Pound Bank Note》
★ 2014届高考英语一轮复习课时作业(十四)必修3Module 2《Developing and Developed Countries》(外研版)
★ 湖南省汝城二中2014届高考英语一轮复习阅读训练 (6)
★ 湖南省汝城二中2014届高考英语一轮复习阅读训练 (59)
★ 四川省2016届高考英语一轮复习课时作业(39) Module 3 Literature 外研版选修8
★ 【浙江专用】2014届高考英语一轮复习课时作业(二十二)必修5Unit 2《The United Kingdom》
最新
2017-04-24
2017-04-24
2017-04-24
2017-04-24
2017-04-21
2017-04-21