Inférence (logique)L’inférence est un mouvement de la pensée qui permet de passer d'une ou plusieurs assertions, des énoncés ou propositions affirmés comme vrais, appelés prémisses, à une nouvelle assertion qui en est la conclusion. Étymologiquement, le mot inférence signifie « reporter ». En théorie, l'inférence est traditionnellement divisée en déduction et induction, une distinction qui, en Europe, remonte au moins à Aristote ( avant Jésus-Christ). On distingue les inférences immédiates des inférences médiates telles que déductives, inductives et abductives.
Concept miningConcept mining is an activity that results in the extraction of concepts from artifacts. Solutions to the task typically involve aspects of artificial intelligence and statistics, such as data mining and text mining. Because artifacts are typically a loosely structured sequence of words and other symbols (rather than concepts), the problem is nontrivial, but it can provide powerful insights into the meaning, provenance and similarity of documents.
Mine à déplacement de sommetthumb|Une mine à déplacement de sommet aux États-Unis (comté de Pike (Kentucky). Une mine à déplacement de sommet (en anglais mountain top removal mining, MTR ou mountaintop mining, MTM) est un type d’exploitation minière à ciel ouvert, faisant l’usage massif d’explosifs et de moyens mécaniques modernes avec des performances supérieures et un coût moindre que les techniques minières plus traditionnelles. En français le terme pourrait être traduit par « rasage de montagne », « décapitation de cime », ou « raclage de sommet de montagne » ou encore « étêtage ».
Open-pit miningOpen-pit mining, also known as open-cast or open-cut mining and in larger contexts mega-mining, is a surface mining technique of extracting rock or minerals from the earth from an open-air pit, sometimes known as a borrow. This form of mining differs from extractive methods that require tunnelling into the earth, such as long wall mining. Open-pit mines are used when deposits of commercially useful ore or rocks are found near the surface.
Génie minierMining in the engineering discipline is the extraction of minerals from underneath, open pit, above, or on the ground. Mining engineering is associated with many other disciplines, such as mineral processing, exploration, excavation, geology, and metallurgy, geotechnical engineering and surveying. A mining engineer may manage any phase of mining operations, from exploration and discovery of the mineral resources, through feasibility study, mine design, development of plans, production and operations to mine closure.
Plate notationIn Bayesian inference, plate notation is a method of representing variables that repeat in a graphical model. Instead of drawing each repeated variable individually, a plate or rectangle is used to group variables into a subgraph that repeat together, and a number is drawn on the plate to represent the number of repetitions of the subgraph in the plate. The assumptions are that the subgraph is duplicated that many times, the variables in the subgraph are indexed by the repetition number, and any links that cross a plate boundary are replicated once for each subgraph repetition.
Underground hard-rock miningUnderground hard-rock mining refers to various underground mining techniques used to excavate "hard" minerals, usually those containing metals, such as ore containing gold, silver, iron, copper, zinc, nickel, tin, and lead. It also involves the same techniques used to excavate ores of gems, such as diamonds and rubies. Soft-rock mining refers to the excavation of softer minerals, such as salt, coal, and oil sands. Accessing underground ore can be achieved via a decline (ramp), inclined vertical shaft or adit.
Drift miningDrift mining is either the mining of an ore deposit by underground methods, or the working of coal seams accessed by adits driven into the surface outcrop of the coal bed. A drift mine is an underground mine in which the entry or access is above water level and generally on the slope of a hill, driven horizontally into the ore seam. Random House dictionary says the origin of the term "drift mine" is an Americanism, circa 1885–1890. Drift is a more general mining term, meaning a near-horizontal passageway in a mine, following the bed (of coal, for instance) or vein of ore.
