Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Quels sont les problèmes philosophiques soulevés par les ordinateurs et par l'informatique ? Les réponses les plus fréquentes invoquent l'intelligence artificielle, la pensée des machines ou les théories computationnelles de l'esprit. Mais ces réponses occultent la possibilité d'une autre ouverture philosophique sur l'informatique, conçue à partir d'une réflexion sur la machine en logique. Comment comprendre que la logique, qui est à la fois une discipline de la pensée et un instrument d'analyse du langage, puisse devenir aussi bien une science des machines informatiques ? Pierre Wagner montre pourquoi la machine s'est progressivement imposée, depuis les années trente, comme l'un des objets majeurs de l'analyse logique ; et à partir de cette réflexion d'ordre historique, il trace les linéaments d'une philosophie des machines informatiques qui ne se réduit pas aux questions d'intelligence artificielle ou de théorie de l'esprit. L'ouvrage se présente également comme une introduction à certaines notions logiques fondamentales (les machines de Turing, le lambda-calcul, la correspondance de Curry-Howard...) dont l'auteur met en évidence la portée philosophique.

Computer science --- Logic, Symbolic and mathematical. --- Artificial intelligence. --- Informatique --- Logique symbolique et mathématique --- Intelligence artificielle --- Philosophy --- Philosophie --- Logic machines --- Logique mathématique --- Machines logiques --- Logique --- Histoire --- Intelligent machines --- Machines, Logic --- Logic --- Logic, Symbolic and mathematical --- Logique symbolique et mathématique --- Automation --- Logique mathématique. --- Philosophie. --- Histoire.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

On the occasion of its 25th anniversary, McGill University's Centre for Intelligent Machines (CIM) invited outstanding researchers from academia and R&D environments to discuss the state of the art in research areas of interest to CIM. The response is documented in the papers assembled here, under the umbrella of the {em International Symposium on Brain, Body and Machine}, held in Montreal on November 10--13, 2010. Areas of interest include heuristic algorithms, computer vision, medical imaging, haptics, human-machine interaction, systems and control, robot design and control, and multibody system dynamics. Applications cover a road spectrum, from shape identification and reconstruction to drug-dose regulation and body-motion detection and control. Contributors come from research laboratories based all over the world, not only from academia, but also from government agencies and industry.

Artificial intelligence. --- Human-computer interaction. --- Human-machine systems. --- Intelligent control systems. --- Robotics -- Human factors. --- Machine learning --- Artificial intelligence --- Logic machines --- Human-computer interaction --- Human-machine systems --- Intelligent control systems --- Robotics --- Engineering & Applied Sciences --- Computer Science --- Human factors --- Machine learning. --- Logic machines. --- Intelligent machines --- Machines, Logic --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Machine intelligence --- Thinking, Artificial --- Learning, Machine --- Engineering. --- User interfaces (Computer systems). --- Computational intelligence. --- Robotics. --- Automation. --- Robotics and Automation. --- Artificial Intelligence (incl. Robotics). --- Computational Intelligence. --- User Interfaces and Human Computer Interaction. --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Automatic factories --- Automatic production --- Computer control --- Engineering cybernetics --- Factories --- Industrial engineering --- Mechanization --- Assembly-line methods --- Automatic control --- Automatic machinery --- CAD/CAM systems --- Automation --- Intelligence, Computational --- Soft computing --- Interfaces, User (Computer systems) --- Construction --- Industrial arts --- Technology --- Logic --- Logic, Symbolic and mathematical --- Computer science. --- Artificial Intelligence. --- Informatics --- Science