Symbolic artificial intelligenceIn artificial intelligence, symbolic artificial intelligence is the term for the collection of all methods in artificial intelligence research that are based on high-level symbolic (human-readable) representations of problems, logic and search. Symbolic AI used tools such as logic programming, production rules, semantic nets and frames, and it developed applications such as knowledge-based systems (in particular, expert systems), symbolic mathematics, automated theorem provers, ontologies, the semantic web, and automated planning and scheduling systems.
Langue mixteUne langue mixte est une langue née de la fusion de deux langues sources en général, habituellement dans des situations de bilinguisme poussé. De sorte qu'il ne soit pas possible de classer la langue en résultant comme appartenant à l'une des familles de langues qui étaient ses sources. Bien que le concept soit fréquemment rencontré dans la linguistique historique depuis le début du , les cas attestés d'hybridation des langues sont assez rares, à la différence des alternances codiques, de l'influence des substrats et des superstrats, ou des emprunts lexicaux.
Langues en voie de disparitionLes langues en voie de disparition sont les langues dont le nombre de locuteurs décroît au point de les faire disparaître (voir : mort d'une langue). Parmi les quelque du monde, un grand nombre est en train de disparaître et ce phénomène s'accélère d'année en année. L' considère que les langues appartiennent au patrimoine culturel immatériel de l'humanité et œuvre pour la diversité linguistique par des programmes de sauvegarde des langues en danger.
Enumerative combinatoricsEnumerative combinatorics is an area of combinatorics that deals with the number of ways that certain patterns can be formed. Two examples of this type of problem are counting combinations and counting permutations. More generally, given an infinite collection of finite sets Si indexed by the natural numbers, enumerative combinatorics seeks to describe a counting function which counts the number of objects in Sn for each n.
Univers constructibleEn mathématiques et en théorie des ensembles, l'univers constructible, ou l'univers constructible de Gödel, noté , est une classe d'ensembles qui peuvent entièrement être décrits en termes d'ensembles plus simples. Elle a été introduite en 1938 par Kurt Gödel dans son article sur . Il y montrait que cette classe est un de la théorie ZF et que l'axiome du choix et l'hypothèse généralisée du continu sont vrais dans ce modèle. Ceci prouve que ces deux propositions sont cohérentes avec les axiomes de ZF, à condition que ZF soit déjà cohérente.
ItérationEn mathématiques, une itération désigne l'action de répéter un processus. Le calcul itératif permet l'application à des équations récursives. Le terme itération est issu du verbe latin iterare qui signifie « cheminer » ou de iter « chemin ». Le processus d'itération est employé fréquemment en algorithmique. Une itération en mathématiques peut se référer au processus d'itération d'une fonction, c'est-à-dire, appliquer une fonction à plusieurs reprises, en utilisant la même itération à la sortie qu'à l'entrée.
Langue agglutinantevignette|Carte des langues agglutinantes en Europe En typologie morphologique, une langue agglutinante est une langue dont les traits grammaticaux sont marqués par l'assemblage d'éléments basiques appelés morphèmes, un morphème désignant ainsi le plus petit élément porteur d'un trait grammatical précis. Dans une langue agglutinante les mots sont formés par assemblage de ces morphèmes, qui sont hors exception invariables. Les langues agglutinantes forment un sous-groupe des langues flexionnelles.
Monade (théorie des catégories)Une monade est une construction catégorique qui mime formellement le comportement que les monoïdes ont en algèbre. Introduite par Roger Godement sous le nom de « construction standard », la notion est d'abord diffusée sous le nom de triple avant d'être baptisée monade par Jean Bénabou. Elles permettent notamment de formuler des adjonctions et ont (au travers des comonades) un rôle important en géométrie algébrique, notamment en théorie des topos. Elles permettent également de définir les , dont les .
Bounded quantifierIn the study of formal theories in mathematical logic, bounded quantifiers (a.k.a. restricted quantifiers) are often included in a formal language in addition to the standard quantifiers "∀" and "∃". Bounded quantifiers differ from "∀" and "∃" in that bounded quantifiers restrict the range of the quantified variable. The study of bounded quantifiers is motivated by the fact that determining whether a sentence with only bounded quantifiers is true is often not as difficult as determining whether an arbitrary sentence is true.
