Cognitive roboticsCognitive Robotics or Cognitive Technology is a subfield of robotics concerned with endowing a robot with intelligent behavior by providing it with a processing architecture that will allow it to learn and reason about how to behave in response to complex goals in a complex world. Cognitive robotics may be considered the engineering branch of embodied cognitive science and embodied embedded cognition, consisting of Robotic Process Automation, Artificial Intelligence, Machine Learning, Deep Learning, Optical Character Recognition, , Process Mining, Analytics, Software Development and System Integration.
Cognitive moduleA cognitive module in cognitive psychology is a specialized tool or sub-unit that can be used by other parts to resolve cognitive tasks. It is used in theories of the modularity of mind and the closely related society of mind theory and was developed by Jerry Fodor. It became better known throughout cognitive psychology by means of his book, The Modularity of Mind (1983).
Stratégie d'évaluation (informatique)Un langage de programmation utilise une stratégie d'évaluation pour déterminer « quand » évaluer les arguments à l'appel d'une fonction (ou encore, opération, méthode) et « comment » passer les arguments à la fonction. Par exemple, dans l'appel par valeur, les arguments doivent être évalués avant d'être passés à la fonction. La stratégie d'évaluation d'un langage de programmation est spécifiée par la définition du langage même. En pratique, la plupart des langages de programmation (Java, C...
Soar (architecture cognitive)Soar (à l’origine SOAR) est une architecture cognitive symbolique, créée par , Allen Newell, et Paul Rosenbloom à l’Université Carnegie-Mellon. C’est à la fois un point de vue sur la cognition et une implémentation de ce point de vue au travers d’une architecture de programmation pour l’Intelligence artificielle (IA). Depuis ses débuts en 1983 et sa présentation dans un article en 1987, Soar a été largement utilisé par les chercheurs en IA pour modéliser différents aspects du comportement humain.
Évaluation paresseuseL’évaluation paresseuse (), appelée aussi appel par nécessité ou évaluation retardée est une technique d'implémentation des programmes récursifs pour laquelle l'évaluation d'un paramètre de fonction ne se fait pas avant que les résultats de cette évaluation ne soient réellement nécessaires. Ces résultats, une fois calculés, sont préservés pour des réutilisations ultérieures. Dans un langage comme Haskell, l'évaluation est paresseuse par défaut.