Machine Oriented Logic Based Resolution Principle by Robinson (1 results)
Language: English
Published by (New York) Selbstverlag 1965
- First Edition
Seller: Antiquariat Gerhard Gruber, Heilbronn, , GermanyAntiquariat Gerhard Gruber
Contact seller4-star sellerCondition: Used
US$ 263.08
US$ 46.44 shippingShips from Germany to U.S.A.Quantity: 1 available
(25 x 17 cm). IV (2) 602 S. Mit Abbildungen. Halbleinwandband der Zeit. Erste Ausgabe. - "The mathematician Jacques Herbrand (1908-31), in his thesis of 1930, was the first to propose a prototype of the unification algorithm, the basic computational method in logic programming. The first practical use of unification came thirty-…five years later, when Robinson (who coined the term) introduced it in this paper as the basic operation of his resolution principle, and provided the first and most widely known algorithm for syntactic unification. 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 principle has since been used as the standard of logical deduction in AI applications" (Origins). - Stempel auf Vorsatz und Titel, sonst gut erhalten. - Origins of Cyberspace 865.
