|
|
resolution
1. <hardware> 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> 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> address resolution.
(1996-02-09)
Try this search on OneLook / Google
Nearby terms:
Requirements Engineering « Research Systems, Inc. « reserved memory « resolution » resolver » Resource Access Control Facility » Resource Description Framework
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
Newpoint Universal Parallel/USB Printer Cable KitNewpoint Universal Parallel/USB Printer Cable Kit ** Newpoint Universal Printer Cable Kit **Get superior connectivity with the Newpoint Universal Printer cable kit! Each parallel and USB cable features 24k gold plated connectors, 12 Mbps data transfer rate, dynamic molded strain relief, and double shielded to maximize conductivity and prevent data loss. The package includes a 12-foot parallel cable, a 6-foot USB (A to B) cable, and a 10-foot USB extension cable. Get yours today!General Features:- Parallel and USB cables- 12 Mbps data transfer rate- 24k Gold plated connectors- Windows and Mac compatibleParallel Cable Features:- DB25 male to Centronics 36 male connectors- Fully bi-directional- Double shielded cable- Flexible PVC jacket- Dynamic molded strain relief- Mylar shielding- Ferrite filter- 360-degree soldered ground path- Corrosion-proof connectorsUSB Cable Features:- USB 1.1 compliant- Double shielded cable- 28 gauge twisted pair signal wires- Impedance matched twisted pair construction- Dynamic molded strain relief- Hot-swappable- Plug and PlayRetail Blister Pack Includes:- One (1) 12-foot parallel cable- One (1) 6-foot A to B USB cable- One (1) 10-foot USB extension cableNote:- UPC: 7 971146 03455 5 Compatibility/Requirements/Disclosures:** Requirements *** Printer with either USB or parallel connector* PC with either parallel or USB ports More ...
Intel PII 300MHz 66MHz 512KB Slot 1 CPUIntel PII 300MHz 66MHz 512KB Slot 1 CPU ** Intel Pentium II 300MHz 512KB 66MHz **- Standard Intel Pentium II Processor- 300 MHz- Slot 1, SECC Package- 66 MHz Bus Speed- 512KB L2 Cache- CPU Only Compatibility/Requirements/Disclosures:* Motherboard That Supports PII 300MHz CPUs* SECC Heatsink & Fan More ...
DK Smart Steps - 3rd GradeDK Smart Steps - 3rd Grade Enroll your third grader in the program with more of everything: Smart Steps. Developed by dedicated educators - watch your child's grades take off with this comprehensive, curriculum based program.Windows 95/98/ME/2000/XP and MAC More ...
PS/2 110-Key Windows Multimedia Keyboard (Sil/Blu)PS/2 110-Key Windows Multimedia Keyboard (Sil/Blu) ** PS/2 110-Key Windows Multimedia Keyboard **This Windows Multimedia Keyboard features a 110-key layout, Multimedia and Internet Hot Keys, and a PS/2 interface. It offers an ergonomic design that makes typing comfortable every time. Get yours today!General Features:- Silver and blue design- PS/2 interface- 110-keys- Black lettering on light gray keys- Multimedia and Internet Hot Keys- Power/Sleep/Wake keys- Tilt legs- Ergonomic design- 50-inch cable length (approximate)Regulatory Approvals:- FCC- CERetail Box Includes:- PS/2 110-Key Windows Multimedia Keyboard Compatibility/Requirements/Disclosures: ** Requirements *** Windows 95/98/ME/2000/XP* Available PS/2 port More ...
802.11g Wireless LAN PC Card - 2 for $39802.11g Wireless LAN PC Card - 2 for $39 ** 802.11g Wireless LAN PC Card - 2 for $39 **This 802.11g Wireless LAN Card Bus PC Card gives you more secure networks and fast access to the Internet anywhere in your home or office. With up to 128-bit WEP encryption, it can be used to connect to any 802.11g or 802.11b Wireless networks. Enjoy the ultimate freedom with wireless mobility today!General Features:- IEEE 802.11g- Backwards compatible with IEEE 802.11b standards- 54 Mbps- 32-bit PCMCIA type II interface- 2.4 GHz Operating Frequency Range:- DSSS (Direct Sequence Spread Spectrum)/OFDM signal type- Built-in two antennas- 64/128-bit WEP encryption- Lnk/Act LED- Plug and PlayTransmission Range:- 30 -100 m indoors- 150 -300 m outdoorsSelectable Channels:- 11 channels (US and Canada)- 13 channels (Europe)- 14 channels (Japan)Regulatory Approvals:- FCC- CERetail Package Includes:- 802.11g Wireless LAN CardBus PC Card- Driver CD Compatibility/Requirements/Disclosures:** Requirements *** Windows 98/ME/2000/XP* Available 32-bit PCMCIA type II slot* IEEE 802.11g/IEEE 802.11b access point More ...
Super Tutor GeometrySuper Tutor Geometry These interactive, multimedia lessons reinforce your understanding of the core subjects covered in a one-year high school geometry course. Difficult topics are presented in an engaging, friendly style. Perfect for after school or home school learning! Windows 95/98/2000/ME/XP More ...
|
