Programmation par contraintesLa programmation par contraintes (PPC, ou CP pour constraint programming en anglais) est un paradigme de programmation apparu dans les années 1970 et 1980 permettant de résoudre des problèmes combinatoires de grande taille tels que les problèmes de planification et d'ordonnancement. En programmation par contraintes, on sépare la partie modélisation à l'aide de problèmes de satisfaction de contraintes (ou CSP pour Constraint Satisfaction Problem), de la partie résolution dont la particularité réside dans l'utilisation active des contraintes du problème pour réduire la taille de l'espace des solutions à parcourir (on parle de propagation de contraintes).
Espritthumb|right|200px|Représentation des facultés de l'esprit humain (de Robertus de Fluctibus, 1619) L'esprit est la totalité des phénomènes et des facultés mentales : perception, affectivité, intuition, pensée, jugement, morale, etc. Dans de nombreuses traditions religieuses, il s'agit d'un principe de la vie incorporelle de l'être humain. En philosophie, la notion d'esprit est au cœur des traditions dites spiritualistes. On oppose en ce sens corps et esprit (nommé plus volontiers conscience par la philosophie et âme par certaines religions).
Philosophie de l'espritLa philosophie de l'esprit (de l'anglais : philosophy of mind) est une branche de la philosophie qui se propose d'étudier la nature de l'esprit (mind), ainsi que sa relation avec le monde physique. Le problème corps-esprit entendu au sens large – problème de la relation des états mentaux au corps –, est communément considéré comme la question centrale de la philosophie de l'esprit, bien que d'autres interrogations sur la nature des états mentaux ne concernent pas le corps, ou fassent directement référence à l'environnement (physique ou social) des individus.
Dualisme (philosophie de l'esprit)En philosophie de l'esprit, le dualisme est la thèse selon laquelle l'Univers est constitué de substances matérielles et de substances mentales. Le dualisme se réfère à une vision de la relation matière-esprit fondée sur l'affirmation que les phénomènes mentaux possèdent des propriétés qui sortent du champ de la physique. Ces idées apparaissent pour la première fois dans l'histoire de la philosophie avec les écrits de Platon et d'Aristote, qui affirment que l'« intelligence » de l'homme (une faculté de lesprit ou de l'âme) ne peut pas être assimilée ni expliquée par son corps matériel.
Constraint satisfactionIn artificial intelligence and operations research, constraint satisfaction is the process of finding a solution through a set of constraints that impose conditions that the variables must satisfy. A solution is therefore a set of values for the variables that satisfies all constraints—that is, a point in the feasible region. The techniques used in constraint satisfaction depend on the kind of constraints being considered.
Théorie de l'espritLa théorie de l'esprit désigne, en sciences cognitives, non pas une théorie, mais l'aptitude permettant à un individu d’attribuer des états mentaux inobservables (ex : intention, désir, conviction ...) à soi-même ou à d'autres individus. . Cette capacité est centrale dans la cognition sociale humaine et joue un rôle primordial dans les interactions sociales — communication, empathie, collaboration, enseignement, compétition, etc.
Problème de satisfaction de contraintesLes problèmes de satisfaction de contraintes ou CSP (Constraint Satisfaction Problem) sont des problèmes mathématiques où l'on cherche des états ou des objets satisfaisant un certain nombre de contraintes ou de critères. Les CSP font l'objet de recherches intenses à la fois en intelligence artificielle et en recherche opérationnelle. De nombreux CSP nécessitent la combinaison d'heuristiques et de méthodes d'optimisation combinatoire pour être résolus en un temps raisonnable.
Constraint logic programmingConstraint logic programming is a form of constraint programming, in which logic programming is extended to include concepts from constraint satisfaction. A constraint logic program is a logic program that contains constraints in the body of clauses. An example of a clause including a constraint is . In this clause, is a constraint; A(X,Y), B(X), and C(Y) are literals as in regular logic programming. This clause states one condition under which the statement A(X,Y) holds: X+Y is greater than zero and both B(X) and C(Y) are true.
Facial motion captureFacial motion capture is the process of electronically converting the movements of a person's face into a digital database using cameras or laser scanners. This database may then be used to produce computer graphics (CG), computer animation for movies, games, or real-time avatars. Because the motion of CG characters is derived from the movements of real people, it results in a more realistic and nuanced computer character animation than if the animation were created manually.
Théorie de Fermi de la désintégration βthumb|360px|La décroissance β− dans un noyau atomique (l'antineutrino associé est omis).En bas à droite est représentée la décroissance bêta du neutron libre.Dans les deux processus, l'émission intermédiaire d'un boson virtuel W- (qui décroit ensuite en un électron et un antineutrino) n'est pas montrée. En physique des particules, l'interaction de Fermi (aussi connue comme la théorie de Fermi de la désintégration β) est une explication de la radioactivité β, proposée par Enrico Fermi en 1933.
