Algèbre de processusLes algèbres de processus sont une famille de langages formels permettant de modéliser les systèmes (informatiques) concurrents ou distribués. Les algèbres de processus fournissent des outils formels permettant principalement de caractériser les interactions entre processus au sein d'un système concurrent ou distribué, les interactions prenant la forme d'échanges de messages. L'étude des algèbres de processus relève de l'informatique théorique, et leurs applications relèvent principalement du génie logiciel, en particulier des systèmes distribués.
Lithiase urinaireLa lithiase urinaire (du grec lithos, pierre) est une maladie caractérisée par la formation de calculs (du latin calculus, caillou), c’est-à-dire des accrétions cristallines qui se forment, à partir de minéraux dissous dans l'urine, dans les voies urinaires : cavités rénales (calices et bassinet), uretères et vessie. La taille des calculs varie d'un grain de sable à celle d'une balle de golf. Les plus gros, dits « coralliformes », moulent l'intérieur du rein, ayant ainsi l'aspect de branches de corail.
Raisonnement automatisévignette|Visualisation commune du réseau de neurones artificiels avec puce NOTOC Le raisonnement automatisé est un domaine de l'informatique consacré à la compréhension des différents aspects du raisonnement de manière à permettre la création de logiciels qui permettraient aux ordinateurs de « raisonner » de manière automatique, ou presque. Il est considéré habituellement comme un sous-domaine de l'intelligence artificielle, mais possède aussi de fortes connexions avec l'Informatique théorique et même avec la philosophie.
Liste de concepts logiquesCet article liste les principaux concepts logiques, au sens philosophique du terme, c'est-à-dire en logique générale (issue de la dialectique). Nota : La logique comporte aussi des branches en mathématiques et en informatique. Ces branches de la logique utilisent des concepts souvent différents comme les prédicats : axiome, théorème hypothèse, conjonction, disjonction, Déduction naturelle... Pour plus d'informations sur ces concepts consulter les articles : Logique mathématique, logique classique.
RaisonLa raison est généralement considérée comme une faculté propre de l'esprit humain dont la mise en œuvre lui permet de créer des critères de vérité et d'erreur et d'atteindre ses objectifs. Elle repose sur la capacité qu'aurait l'être humain de faire des choix en se basant sur son intelligence, ses perceptions et sa mémoire tout en faisant abstraction de ses préjugés, ses émotions ou ses pulsions. Cette faculté a donc plusieurs emplois : connaissance, éthique et technique.
Lithiase salivaireUne lithiase salivaire ou sialolithiase est la formation et migration de concrétions calciques dans les voies excrétrices de la salive. Pathologie très fréquente à partir de 5 ans sans étiologie connue. La glande submandibulaire est la plus fréquemment atteinte. Pas de signes fonctionnels. Elle peut être découverte fortuitement lors d’un examen clinique (noyau dur légèrement douloureux lors de la palpation). La radiographie révèle une opacité du plancher buccal.
Lithiasevignette|Calcul rénal Une lithiase ou autrefois lithiasie (terme médical gréco-romain lithiasis, de la racine grecque λίθος/lithos : pierre) est une maladie caractérisée au stade ultime par l'apparition, dans un conduit de l'organisme, d'une concrétion solide appelée calcul, obstruant ledit conduit. On distingue : la lithiase biliaire. L'obstruction de la vésicule biliaire était supposée provoquer les coliques hépatiques ; la lithiase urinaire.
Raisonnement déductifEn logique, la déduction est une inférence menant d'une affirmation générale à une conclusion particulière. La déduction est une opération par laquelle on établit au moyen de prémisses une conclusion qui en est la conséquence nécessaire, en vertu de règles d'inférence logiques. Ces règles sont notamment l'objet des Premiers Analytiques d'Aristote. On l'oppose généralement à l'induction, qui consiste au contraire à extraire d'un nombre fini de propositions données par l'observation, une conclusion ou un petit nombre de conclusions plus générales.
Commonsense reasoningIn artificial intelligence (AI), commonsense reasoning is a human-like ability to make presumptions about the type and essence of ordinary situations humans encounter every day. These assumptions include judgments about the nature of physical objects, taxonomic properties, and peoples' intentions. A device that exhibits commonsense reasoning might be capable of drawing conclusions that are similar to humans' folk psychology (humans' innate ability to reason about people's behavior and intentions) and naive physics (humans' natural understanding of the physical world).
Induction (logique)L'induction est historiquement le nom utilisé pour signifier un genre de raisonnement qui se propose de chercher des lois générales à partir de l'observation de faits particuliers, sur une base probabiliste. Remarque : Bien qu'associée dans le titre de cet article à la logique, la présentation qui suit correspond surtout à la notion bayésienne, utilisée consciemment ou non, de l'induction.
