resolution
Use Resolution in a sentence
əˈluBased on the Random House Dictionary, © Random House, Inc. 2013.
Cite This Source
| to speculate or surmise by reasoning; to conclude or judge from premises or evidence |
| being more than is proper or normal; exaggerated in language or style. |
resolution (ˌrɛzəˈluːʃən) ![[Click for IPA pronunciation guide]](http://static.sfdict.com/dictstatic/g/d/dictionary_questionbutton_default.gif) | |
| —n | |
| 1. | the act or an instance of resolving |
| 2. | the condition or quality of being resolute; firmness or determination |
| 3. | something resolved or determined; decision |
| 4. | a formal expression of opinion by a meeting, esp one agreed by a vote |
| 5. | a judicial decision on some matter; verdict; judgment |
| 6. | the act or process of separating something into its constituent parts or elements |
| 7. | med |
| a. return from a pathological to a normal condition | |
| b. subsidence of the symptoms of a disease, esp the disappearance of inflammation without the formation of pus | |
| 8. | music the process in harmony whereby a dissonant note or chord is followed by a consonant one |
| 9. | the ability of a television or film image to reproduce fine detail |
| 10. | physics another word for resolving power |
| reso'lutioner | |
| —n | |
| reso'lutionist | |
| —n | |
2009 © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins
Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009
Cite This Source
resolution
Cite This Source
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.
Copyright © 2002, 2001, 1995 by Houghton Mifflin Company. Published by Houghton Mifflin Company.
Cite This Source
resolution definition
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.
Cite This Source
