|n.||1.||The act, operation, or process of resolving.|
|2.||The state of being relaxed; relaxation.|
|3.||The state of being resolved, settled, or determined; firmness; steadiness; constancy; determination.|
|4.||That which is resolved or determined; a settled purpose; determination. Specifically: A formal expression of the opinion or will of an official body or a public assembly, adopted by vote; |
|5.||The state of being resolved or firm in opinion or thought; conviction; assurance.|
|6.||(Math.) The act or process of solving; solution; |
|7.||(Med.) A breaking up, disappearance; or termination, as of a fever, a tumor, or the like.|
|8.||(Mus.) The passing of a dissonant into a consonant chord by the rising or falling of the note which makes the discord.|
|9.||(Technical) The act of distinguishing between two close but not identical objects, or, when taking a measurement, bbetween two close values of the property measured.|
|10.||(Technical) a measure of the ability to distinguish between two close but not identical values of the property being measured; it is expressed as the difference in values of a property necessary to make such a distinction; |
|Noun||1.||resolution - a formal expression by a meeting; agreed to by a vote|
|2.||resolution - the ability of a microscope or telescope to measure the angular separation of images that are close together|
Synonyms: resolving power
|3.||resolution - the trait of being resolute; firmness of purpose; "his resoluteness carried him through the battle"; "it was his unshakeable resolution to finish the work"|
|4.||resolution - finding a solution to a problem|
|5.||resolution - something settled or resolved; the outcome of decision making; "the finally reached a settlement with the union"; "they never did achieve a final resolution of their differences"; "he needed to grieve before he could achieve a sense of closure"|
|6.||resolution - analysis into clear-cut components|
|7.||resolution - (computer science) the number of pixels per square inch on a computer-generated display; the greater the resolution, the better the picture|
|8.||resolution - the subsidence of swelling or others signs of inflammation (especially in a lung)|
|9.||resolution - (music) a dissonant chord is followed by a consonant chord|
preparation - (music) a note that produces a dissonant chord is first heard in a consonant chord; "the resolution of one dissonance is often the preparation for another disonance"
|10.||resolution - a statement that solves a problem or explains how to solve the problem; "they were trying to find a peaceful solution"; "the answers were in the back of the book"; "he computed the result to four decimal places"|
|11.||resolution - a decision to do something or to behave in a certain manner; "he always wrote down his New Year's resolutions"|
RESOLUTION. A solemn judgment or decision of a court. This word is frequently used in this sense, in Coke and some of the more ancient reporters. It also signifies an agreement to a law or other thing adopted by a legislature or popular assembly. Vide Dict. de Jurisp. h.t.
RESOLUTION, Civil law. The act by which a contract which existed and was
good, is rendered null.
2. Resolution differs essentially from rescission. The former presupposes the contract to have been valid, and it is owing to a cause posterior to the agreement that the resolution takes place; while rescission, on the contrary, supposes that some vice or defect annulled the contract from the beginning. Resolution may be by consent of the parties or by the decision of a competent tribunal; rescission must always be by the judgment of a court. 7 Troplong, de la Vente, n. 689; 7 Toull. 551; Dall. Dict. h.t.
|1.||(hardware)||resolution - the maximum number of pixels that can be displayed on a monitor, expressed as (number of horizontal pixels) x (number of vertical pixels), i.e., 1024x768. The ratio of horizontal to vertical resolution is usually 4:3, the same as that of conventional television sets.|
|2.||(logic)||resolution - A mechanical method for proving statements of
first order logic, introduced by J. A. Robinson in 1965.
Resolution is applied to two clauses in a sentence. It
eliminates, by unification, a literal that occurs
"positive" in one and "negative" in the other to produce a new
clause, the resolvent.|
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.||(networking)||resolution - address resolution.|