97849-01
A machine-oriented logic based on the resolution principle. SS. 23-41. In Journal of the Association for Computing Machinery.
(New York), Selbstverlag, 1965. - (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
A machine-oriented logic based on the resolution principle. SS. 23-41. In Journal of the Association for Computing Machinery.
(New York), Selbstverlag, 1965. - (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
200 €