Skip to content
AUTHENTICITY GUARANTEED | EXPERT ADVICE
AUTHENTICITY GUARANTEED

"A Machine-Oriented Logic Based on the Resolution Principle"

[in] Journal of the Association for Computing Machinery, volume 12, number 1, pages 23-41.

Stock Code 113085

Baltimore, MD, The Association for Computing Machinery, 1965

Original price £450.00 - Original price £450.00
Original price £0.00
£450.00
£450.00 - £450.00
Current price £450.00
First publication of the standard algorithm for logical deduction in artificial intelligence. First edition of the first publication of the resolution principle, the standard for logical deduction in AI applications.

The basic computational method in logic programming, the unification algorithm, was proposed by mathematician Jacques Herbrand in 1930, but its first practical use was not discovered until Robinson introduced it in this paper as the basic operation of his resolution principle. 'Robinson described his resolution principle as "machine-oriented" in that it was particularly suitable for proofs to be performed by computer, having only one rule of inference that could be applied many times. Robinson's resolution has since been used as the standard of logical deduction in AI applications' (Hook & Norman, Origins of Cyberspace 865).

'Born in Halifax, England, and having served in the RAF, [Robinson] attended Cambridge University, where he read classics. He received his master's degree in philosophy from the University of Oregon and his doctorate in philosophy from Princeton University in 1956. His interests thereafter focused on computers and logic. In 1963, as a visitor from Rice University in Texas to the Argonne National Laboratories, he became interested in automated reasoning, and in 1963 invented Resolution and Unification. In 1967 he became the Distinguished University Professor at Syracuse University and later Visiting Professor at Edinburgh University in Scotland' (New York Times obituary).

First edition, first printing, journal issue; quarto; original cream wrappers printed in black, remnants of a mailing label to the upper wrapper, just a little rubbed and creased, excellent condition.

Hook & Norman, Origins of Cyberspace 865.
Provenance
Delivery

We offer secure and express delivery on all local and international orders of rare books, maps and prints placed through this website.

About us

Shapero Rare Books is an internationally renowned dealer in antiquarian & rare books and works on paper.

Our Bookshop and Gallery can be found in the heart of Mayfair at 106 New Bond Street, where most of our stock is available to view and on public display.

We exhibit at major international art fairs, including TEFAF (Maastricht and New York), Frieze Masters, Art Miami and Masterpiece London, as well as antiquarian & rare book fairs including New York, Paris, London, Los Angeles, San Francisco and Hong Kong.

Read more

Ask us a question

"A Machine-Oriented Logic Based on the Resolution Principle"

ROBINSON, J.A.

Stock code: 113085

£450.00

THE BOND STREET EXPERIENCE

An exceptional experience in the heart of London’s Mayfair for not only seasoned collectors but those considering purchasing their first rare book or print.

Guaranteed Authenticity
GUARANTEED AUTHENTICITY
International Delivery
INTERNATIONAL DELIVERY
Meet Our Booksellers
MEET OUR BOOKSELLERS
Free Gift Wrapping
FREE GIFT WRAPPING

BOOK COLLECTING IDEAS

Your cart is empty

Continue shopping

Basket