Automated Reasoning

[Revised entry by Frederic Portoraro on November 20, 2014. Changes to: Main text, Bibliography] Reasoning is the ability to make inferences, and automated reasoning is concerned with the building
Philosophy News image
[Revised entry by Frederic Portoraro on November 20, 2014. Changes to: Main text, Bibliography] Reasoning is the ability to make inferences, and automated reasoning is concerned with the building of computing systems that automate this process. Although the overall goal is to mechanize different forms of reasoning, the term has largely been identified with valid deductive...

Continue reading . . .

News source: Stanford Encyclopedia of Philosophy

blog comments powered by Disqus