Automated Reasoning
ES6D3A20CB87B6B0563E
Automated reasoning is an area of computer science and metalogic dedicated to understanding different aspects of reasoning. The study of automated reasoning helps produce computer programs that allow computers to reason completely, or nearly completely, automatically. Although automated reasoning is considered a sub-field of artificial intelligence, it also has connections with theoretical computer science and philosophy.
Read more on WikipediaHave feedback on this skill? Let us know.