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届高考英语一轮复习指导课时作业:Unit 5 A卷 Word版含解析
★ 【浙江专用】2014届高考英语一轮复习课时作业(十三)必修3Unit 3《The Million Pound Bank Note》
★ 安徽省淮南市2014高考英语一轮单项选择及文章训练(14)及答案
★ 湖南省汝城二中2014届高考英语一轮复习阅读训练 (6)
★ 【三维设计】2017届高考英语(江苏专用)二轮复习课件:必修3 Unit 3《Back to the past》
★ 四川省2016届高考英语一轮复习课时作业(22) Module 4 Great Scientists 外研版必修4
★ 2014届高考英语一轮复习课时作业(三十三)选修6Module 3《Music》(外研版)
★ 2014届高考英语一轮复习课时作业(十四)必修3Module 2《Developing and Developed Countries》(外研版)
★ 【人教版】2014届高考英语一轮复习指导考点针对练:必修5 unit2《The United Kingdom》
★ 四川省2016届高考英语一轮复习课时作业(48) Module6 The Tang Poems 外研版选修8
最新
2017-04-24
2017-04-24
2017-04-24
2017-04-24
2017-04-21
2017-04-21