AI models that reason by following explicit rules rather than guessing answers are experiencing a resurgence of interest.
The topic Semantic Web and Ontologies has gone from 10 to 60 articles over four weeks, marking the most significant increase of the period. These works explore how to structure knowledge so that systems can manipulate it logically, as a human would with clear definitions and links. Three expressions are emerging in this context:
- « points above » (17 articles) refers to measured gaps between a prediction and a reference, often used to assess the robustness of reasoning;
- « evidence supports » (22 articles) appears in titles that verify whether the steps of a reasoning process are backed by verifiable facts;
- « local evidence » (17 articles) refers to clues extracted from a limited portion of the data, rather than a global analysis.
Among the representative articles:
- RuleWeaver: Benchmarking Rule-Centered Scenario Reasoning for Large Language Models
- Neuro-symbolic PRM: Enhancing Scientific Reasoning via Structured Traces and Symbolic Verification
- Performance Foundations of Parallel & Distributed Reasoning Language Models
These methods target fields where errors are costly - medical diagnostics, software verification, regulatory document analysis - by replacing the imprecision of statistical models with traceable rule-based sequences.