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》】相关文章:
★ 【三维设计】2017届高考英语(江苏专用)二轮复习课件:必修3 Unit 3《Back to the past》
★ 四川省2016届高考英语一轮复习课时作业(39) Module 3 Literature 外研版选修8
★ 2014届高考英语一轮复习课时作业(八)必修2Module 2《No Drugs》(外研版)
★ 湖南省汝城二中2014届高考英语一轮复习阅读训练 (52)
★ 2014届高考英语一轮复习课时作业(四十三)选修8Module 1《Deep South》(外研版)
★ 安徽省淮南市2014高考英语一轮单项选择及文章训练(23)及答案
★ 湖南省汝城二中2014届高考英语一轮复习阅读训练 (6)
★ 2014届高考英语一轮复习课时作业(二十二)必修4Module 4《Great Scientists》(外研版)
★ 湖南省汝城二中2014届高考英语一轮复习阅读训练 (51)
★ 2014届高考英语一轮复习课时作业(十四)必修3Module 2《Developing and Developed Countries》(外研版)
最新
2017-04-24
2017-04-24
2017-04-24
2017-04-24
2017-04-21
2017-04-21