Traitement automatique du langage naturelLe traitement automatique du langage naturel (TALN), en anglais natural language processing ou NLP, est un domaine multidisciplinaire impliquant la linguistique, l'informatique et l'intelligence artificielle, qui vise à créer des outils de traitement du langage naturel pour diverses applications. Il ne doit pas être confondu avec la linguistique informatique, qui vise à comprendre les langues au moyen d'outils informatiques.
DécidabilitéEn logique mathématique, le terme décidabilité recouvre deux concepts liés : la décidabilité logique et la décidabilité algorithmique. L’indécidabilité est la négation de la décidabilité. Dans les deux cas, il s'agit de formaliser l'idée qu'on ne peut pas toujours conclure lorsque l'on se pose une question, même si celle-ci est sous forme logique. Une proposition (on dit aussi énoncé) est dite décidable dans une théorie axiomatique si on peut la démontrer ou démontrer sa négation dans le cadre de cette théorie.
Problème de la décisionEn logique mathématique, on appelle problème de la décision ou, sous son nom d'origine en allemand, Entscheidungsproblem, le fait de déterminer de façon mécanique (par un algorithme) si un énoncé est un théorème de la logique égalitaire du premier ordre, c’est-à-dire s'il se dérive dans un système de déduction sans autres axiomes que ceux de l'égalité (exemples : système à la Hilbert, calcul des séquents, déduction naturelle).
Sujet (grammaire)Le sujet est ce qui constitue la matière, le thème ou bien le motif d'un état ou d'une activité intellectuelle ou artistique, indépendamment de l'interprétation qui en est faite ou du résultat obtenu. En linguistique et en grammaire, le terme représente une fonction syntaxique difficile à définir. En effet, si la définition classique est « ce qui, dans la phrase, accomplit l'action verbale », elle ne résiste pas à plusieurs cas particuliers parfois très fréquents : dans une diathèse passive, le sujet est ce qui subit l'action verbale (Marie [SUJET] est regardée par Jeanne) ; avec un verbe ne dénotant aucune action (être, sembler, paraître, etc.
Langage informatiqueUn langage informatique est un langage formel non nécessairement Turing-complet utilisé lors de la conception, la mise en œuvre, ou l'exploitation d’un système d'information. Le terme est toutefois utilisé dans certains contextes dans le sens plus restrictif de langage de programmation. Les langages informatiques interviennent à différents moments dans le cycle de vie d'un système informatique d'information (SII), voir des systèmes d'information formels SI (par exemple : description d'une procédure métier non informatisée en UML).
