ConnaissanceLa connaissance est une notion aux sens multiples, à la fois utilisée dans le langage courant et objet d'étude poussée de la part des sciences cognitives et des philosophes contemporains. Les connaissances, leur nature et leur variété, la façon dont elles sont acquises, leur processus d'acquisition, leur valeur et leur rôle dans les sociétés humaines, sont étudiés par une diversité de disciplines, notamment la philosophie, l'épistémologie, la psychologie, les sciences cognitives, l'anthropologie et la sociologie.
Traitement de donnéesEn informatique, le terme traitement de données ou traitement électronique des données renvoie à une série de processus qui permettent d'extraire de l'information ou de produire du savoir à partir de données brutes. Ces processus, une fois programmés, sont le plus souvent automatisés à l'aide d'ordinateurs. Si les résultats finaux produits par ces processus sont destinés à des humains, leur présentation est souvent essentielle pour en apprécier la valeur. Cette appréciation est cependant variable selon les personnes.
Logique dynamiqueLa logique dynamique est une extension de la logique modale destiné au raisonnement portant sur des programmes informatiques et appliqué plus tard à des comportements complexes plus généraux découlant de la linguistique, de la philosophie, IA, et d'autres domaines. Vaughan Pratt, "Semantical Considerations on Floyd-Hoare Logic", Proc. 17th Annual IEEE Symposium on Foundations of Computer Science, 1976, 109-121. David Harel, Dexter Kozen, and Jerzy Tiuryn, "Dynamic Logic". MIT Press, 2000 (450 pp).
Sémantique de KripkeEn logique mathématique, la sémantique de Kripke est une sémantique formelle utilisée pour les logiques non-classiques comme la logique intuitionniste et certaines logiques modales. Elle a été développée à la fin des années 1950 et début des années 1960 par Saul Kripke et est fondée sur la théorie des mondes possibles. Un cadre de Kripke est un couple (W, R), où W est un ensemble de mondes appelés parfois mondes possibles et où R est une relation binaire sur W. L'ensemble W s'appelle parfois l'univers des mondes possibles.
HerméneutiqueL'herméneutique (du grec hermeneutikè, ἑρμηνευτική τέχνη, art d'interpréter, hermeneuein signifie d'abord « parler », « s'exprimer ») est la théorie de la lecture, de l'explication et de l'interprétation des textes. L'herméneutique ancienne est formée de deux approches complètement différentes : la logique d'origine aristotélicienne (à partir du Peri hermeneia ou De l'interprétation d'Aristote) d'une part, l'interprétation des textes religieux (orphisme ou herméneutique biblique par exemple) et l'hermétisme d'autre part.
Urne de PólyaEn mathématiques, l’expérience de l’urne de Pólya est un problème de probabilités dans lequel une urne reçoit successivement des boules de couleur en fonction de tirages avec remise. La dénomination fait référence au mathématicien George Pólya qui a proposé ce modèle. Dans sa version la plus simple, la composition initiale de l’urne est de deux boules de couleurs différentes et chaque tirage d’une boule entraine l’ajout d’une boule de la même couleur.
