3. Reasoning
Reasoning can be defined as a sequence of statements or symbolic representations directed towards a goal, which can take a variety of forms: demonstrating, convincing, elucidating, interpreting, deciding, justifying, explaining and so on.
Such a sequence is an important feature of reasoning. It is generally non-linear and requires backtracking, which is present in almost all AI systems, just as it is in human reasoning.
3.1 Reasoning control
The indeterminacy inherent in most real-life applications and the combinatorial explosion of solutions make it essential to actively, efficiently and, if possible, intelligently supervise the succession of reasoning steps. The problem of guiding and supervising...
The Ultimate Scientific and Technical Reference
This article is included in
Software technologies and System architectures
This offer includes:
Knowledge Base
Updated and enriched with articles validated by our scientific committees
Services
A set of exclusive tools to complement the resources
Practical Path
Operational and didactic, to guarantee the acquisition of transversal skills
Doc & Quiz
Interactive articles with quizzes, for constructive reading
Reasoning
Agents and multi-agent systems
Bibliography
Software tools
Logic Theorist https://history-computer.com/logic-theorist/
Websites
AFIA Association Française d'AI (French AI Association) (very rich, with recent AI theses) http://www.afia.asso.fr
ECCAI European Coordinating Committee for Artificial Intelligence (provides access to the websites of all AI associations in European countries) http://www.eccai.org/
...Directory
Documentation – Training – Seminars (non-exhaustive list)
AI Magazine (USA)
Artificial Intelligence (NL)
Artificial Intelligence Review (NL)
AFIA newsletter (F)
Data and Knowledge Engineering (NL)
Engineering Intelligent Systems (GB)
IEEE Expert (USA)
...
The Ultimate Scientific and Technical Reference
