Français
2. Problem solving
2.1 Methods
Mathematical or logical puzzles and theorem proving were the first problems to be delegated to a machine, in the hope that its memory capacity and computing speed would enable it to do things faster and at least as well as man. In reality, the number of paths to be explored to arrive at a solution is so great that computer power alone is insufficient to achieve valid performance.
The case of chess is revealing here. The search for the best move to make, based solely on the rules for moving the pieces, would at some point in the game require the consideration of an impressive number of moves, possible replicas and replicas to replicas, far too large for any current and probably future machine. Conversely,...
The Ultimate Scientific and Technical Reference
This article is included in
Digital documents and content management
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
Problem solving
Reasoning
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
