InferenceInferences are steps in reasoning, moving from premises to logical consequences; etymologically, the word infer means to "carry forward". Inference is theoretically traditionally divided into deduction and induction, a distinction that in Europe dates at least to Aristotle (300s BCE). Deduction is inference deriving logical conclusions from premises known or assumed to be true, with the laws of valid inference being studied in logic. Induction is inference from particular evidence to a universal conclusion.
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.
Mountaintop removal miningMountaintop removal mining (MTR), also known as mountaintop mining (MTM), is a form of surface mining at the summit or summit ridge of a mountain. Coal seams are extracted from a mountain by removing the land, or overburden, above the seams. This process is considered to be safer compared to underground mining because the coal seams are accessed from above instead of underground. In the United States, this method of coal mining is conducted in the Appalachian Mountains in the eastern United States.
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.
Mining engineeringMining 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.
