n]
| 1. | a formal expression of opinion or intention made, usually after voting, by a formal organization, a legislature, a club, or other group. Compare concurrent resolution, joint resolution. |
| 2. | a resolve or determination: to make a firm resolution to do something. |
| 3. | the act of resolving or determining upon an action or course of action, method, procedure, etc. |
| 4. | the mental state or quality of being resolved or resolute; firmness of purpose. |
| 5. | the act or process of resolving or separating into constituent or elementary parts. |
| 6. | the resulting state. |
| 7. | Optics. the act, process, or capability of distinguishing between two separate but adjacent objects or sources of light or between two nearly equal wavelengths. Compare resolving power. |
| 8. | a solution, accommodation, or settling of a problem, controversy, etc. |
| 9. | Music.
|
| 10. | reduction to a simpler form; conversion. |
| 11. | Medicine/Medical. the reduction or disappearance of a swelling or inflammation without suppuration. |
| 12. | the degree of sharpness of a computer-generated image as measured by the number of dots per linear inch in a hard-copy printout or the number of pixels across and down on a display screen. |
resolution res·o·lu·tion (rěz'ə-l&oomacr;'shən)
n.
The subsiding or termination of an abnormal condition, such as a fever or an inflammation.
The act or process of separating or reducing something into its constituent parts.
The fineness of detail that can be distinguished in an image, as on a video display terminal.
resolution
1.
2.
For example, given the sentence:
(man(X) => mortal(X)) AND man(socrates).
The literal "man(X)" is "negative". The literal "man(socrates)" could be considered to be on the right hand side of the degenerate implication
True => man(socrates)
and is therefore "positive". The two literals can be unified by the binding X = socrates.
The truth table for the implication function is
A | B | A => B --+---+------- F | F | T F | T | T T | F | F T | T | T
(The implication only fails if its premise is true but its conclusion is false). From this we can see that
A => B == (NOT A) OR B
Which is why the left hand side of the implication is said to be negative and the right positive. The sentence above could thus be written
((NOT man(socrates)) OR mortal(socrates)) AND man(socrates)
Distributing the AND over the OR gives
((NOT man(socrates)) AND man(socrates)) OR mortal(socrates) AND man(socrates)
And since (NOT A) AND A == False, and False OR A == A we can simplify to just
mortal(socrates) AND man(socrates)
So we have proved the new literal, mortal(socrates).
Resolution with backtracking is the basic control mechanism of Prolog.
See also modus ponens, SLD Resolution.
3.
(1996-02-09)
resolution
in chemistry, any process by which a mixture called a racemate (q.v.) is separated into its two constituent enantiomorphs. (Enantiomorphs are pairs of substances that have dissymmetric arrangements of atoms and structures that are nonsuperposable mirror images of one another.) Two important methods of resolution were employed by Louis Pasteur. The first of these, known as the method of spontaneous resolution, can be used if the racemic substance crystallizes as a conglomerate composed of observably different particles of the two enantiomorphs, which can be physically sorted. Only a few instances of this condition have been reported; consequently, this method, although of historical and theoretical interest, seldom is applicable. Pasteur's second method, however, is of much greater practicality: it is based upon the conversion of the mixture of enantiomorphs into a mixture of diastereoisomers (optical isomers that are not mirror images of one another), which differ in physical properties and therefore can be separated. This transformation requires the use of a previously obtained optically active substance. For example, Pasteur showed in 1853 that, when racemic acid is mixed with a naturally occurring base, such as cinchonine, the resulting salt is a mixture of diastereoisomers and no longer one of enantiomorphs. The two salts present in the mixture, therefore, have different solubilities and so are separable
Learn more about resolution with a free trial on Britannica.com.