Analyse numériqueL’analyse numérique est une discipline à l'interface des mathématiques et de l'informatique. Elle s’intéresse tant aux fondements qu’à la mise en pratique des méthodes permettant de résoudre, par des calculs purement numériques, des problèmes d’analyse mathématique. Plus formellement, l’analyse numérique est l’étude des algorithmes permettant de résoudre numériquement par discrétisation les problèmes de mathématiques continues (distinguées des mathématiques discrètes).
Érosion régressiveL'érosion régressive est un phénomène de dynamique fluviale ou hydraulique consistant en une érosion d'un substrat, d'un relief ou d'un ouvrage artificiel qui se propage de l'aval vers l'amont, c'est-à-dire dans le sens inverse de l'écoulement de l'eau. Ce phénomène peut être naturel ou provoqué par une perturbation anthropique. Il est en principe inexistant sur une rivière dont la pente est égale ou inférieure à la pente d'équilibre, qui s'établit en fonction des caractéristiques hydrologiques de ce cours d'eau, du substrat et des matériaux transportés de l'amont ; l'érosion étant alors comblée par le transit de matériaux apportés par l'eau à partir de l'amont.
Fluent (artificial intelligence)In artificial intelligence, a fluent is a condition that can change over time. In logical approaches to reasoning about actions, fluents can be represented in first-order logic by predicates having an argument that depends on time. For example, the condition "the box is on the table", if it can change over time, cannot be represented by ; a third argument is necessary to the predicate to specify the time: means that the box is on the table at time .
Event calculusThe event calculus is a logical language for representing and reasoning about events and their effects first presented by Robert Kowalski and Marek Sergot in 1986. It was extended by Murray Shanahan and Rob Miller in the 1990s. Similar to other languages for reasoning about change, the event calculus represents the effects of actions on fluents. However, events can also be external to the system. In the event calculus, one can specify the value of fluents at some given time points, the events that take place at given time points, and their effects.
Calcul des situationsThe situation calculus is a logic formalism designed for representing and reasoning about dynamical domains. It was first introduced by John McCarthy in 1963. The main version of the situational calculus that is presented in this article is based on that introduced by Ray Reiter in 1991. It is followed by sections about McCarthy's 1986 version and a logic programming formulation. The situation calculus represents changing scenarios as a set of first-order logic formulae.
