Reasoning in AI
- (Stanford University - Jaclyn Chen)
- Overview
Reasoning is the use of logical rules and principles to derive new information from existing information. In artificial intelligence (AI), reasoning is critical for many applications, including natural language processing, computer vision, and decision-making. AI systems use Reasoning to make inferences, draw conclusions, and solve problems.
Reasoning in AI involves the manipulation of symbols and rules. Symbols represent objects, concepts, and relationships, and rules specify how these symbols can be combined to form more complex representations. The symbols and rules used in reasoning are often based on mathematical logic, which provides a formal framework for reasoning.
- Reasoning Systems
AI reasoning aims to create machines that can reason using logic, common sense, and intuition like humans do. It is a way to infer facts from existing data. Reasoning is a general process of thinking rationally, to find valid conclusions. In AI, the reasoning is essential so that the machine can also think rationally as a human brain, and can perform like a human.
In information technology a reasoning system is a software system that generates conclusions from available knowledge using logical techniques such as deduction and induction. Reasoning systems play an important role in the implementation of AI and knowledge-based systems.
- Automatic Reasoning
Automated reasoning is a subfield of artificial intelligence (AI) that involves developing algorithms and systems that can automatically reason and make logical deductions.
Automated reasoning is concerned with applying reasoning in the form of logic to computing systems. It involves understanding different aspects of reasoning, particularly in knowledge representation and reasoning and metalogic.
Automated reasoning systems can make logical inferences toward a goal automatically if given a set of assumptions and a goal. These tools use known techniques from mathematics to answer questions about a program or logic formula.
Automated reasoning is used in a variety of tasks, such as: theorem proving, diagnosis, planning and natural language processing.
