Year: 2026
Type: book-chapter
Abstract: AI ReasoningThe ability to reason has been a salient characteristic of human intelligence, and there is a critical need for verifiable reasoning in AI systems. Main Takeaways• Reasoning has always been seen as a core characteristic of human intelligence.Reasoning is used to derive new information from given base knowledge; this new information is guaranteed correct when sound formal reasoning is used, otherwise it is merely plausible.• AI research has led to a range of automated reasoning techniques.These reasoning techniques have given rise to AI algorithms and systems, including SAT, SMT, and constraints solvers as well as probabilistic graphical models, all of which play a key role in critical real-world applications.• While large pre-trained systems (such as LLMs) have made impressive advancements in their reasoning capabilities, more research is needed to guarantee correctness and depth of the reasoning performed by them; such guarantees are particularly important for autonomously operating AI agents.
Source: Cairn.info
Author: Dollé, Marie
Language: French
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7155584658