meaning of resolution

1. The act, operation, or process of resolving. Specifically: (a) The act of separating a compound into its elements or component parts. (b) The act of analyzing a complex notion, or solving a vexed question or difficult problem.
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; as, a legislative resolution; the resolutions of a public meeting.
5. The state of being resolved or firm in opinion or thought; conviction; assurance.
6. The act or process of solving; solution; as, the resolution of an equation or problem.
7. A breaking up, disappearance; or termination, as of a fever, a tumor, or the like.
8. The passing of a dissonant into a consonant chord by the rising or falling of the note which makes the discord.
9. resolution 1. 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. 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: manX => mortalX AND mansocrates. The literal "manX" is "negative". The literal "mansocrates" could be considered to be on the right hand side of the degenerate implication True => mansocrates 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 mansocrates OR mortalsocrates AND mansocrates Distributing the AND over the OR gives NOT mansocrates AND mansocrates OR mortalsocrates AND mansocrates And since NOT A AND A == False, and False OR A == A we can simplify to just mortalsocrates AND mansocrates So we have proved the new literal, mortalsocrates. Resolution with backtracking is the basic control mechanism of Prolog. See also modus ponens, SLD Resolution. 3. address resolution.
10. finding a solution to a problem

Related Words

resolution | resolutioner | resolutionist |

Developed & Maintained By Taraprasad.com