Donald W. Loveland

Matemático estadounidense

Donald W. Loveland (nacido el 26 de diciembre de 1934 en Rochester, Nueva York ) ^[1] es un profesor emérito de informática en la Universidad de Duke que se especializa en inteligencia artificial . ^[2] Es muy conocido por el algoritmo Davis-Putnam-Logemann-Loveland . ^[3]

Loveland se graduó en el Oberlin College en 1956, obtuvo una maestría en el Massachusetts Institute of Technology en 1958 y un doctorado en la New York University en 1964. Se unió al Departamento de Ciencias de la Computación de la Duke University en 1973. Anteriormente se desempeñó como miembro de la facultad en el Departamento de Matemáticas de la New York University y la Carnegie Mellon University . ^{[1] [4] [5]}

Recibió el Premio Herbrand por contribuciones destacadas al razonamiento automatizado en 2001. ^[5] Es miembro de la Association for Computing Machinery (2000), ^[6] miembro de la Association of Artificial Intelligence (1993), ^[7] y miembro de la American Association for the Advancement of Science (2019). ^[8]

Bibliografía

Libros

• Demostración automática de teoremas: una base lógica. North-Holland Publishing Company. 1978. doi :10.1016/c2009-0-12705-8. hdl :2445/109943. ISBN 978-0-7204-2500-0.
• 6.ª Conferencia sobre deducción automática. Notas de clase sobre informática. Vol. 138. (Editor) Springer-Verlag, Londres. 1982. doi :10.1007/BFb0000048. ISBN 978-3-540-11558-8. Número de identificación del sujeto  33583364.
• Demostración automática de teoremas: después de 25 años. Matemáticas contemporáneas. Vol. 29. (con WW Bledsoe) American Mathematical Soc. 1984. doi :10.1090/conm/029. ISBN 978-0-8218-5027-5.
• Tres visiones de la lógica: matemáticas, filosofía y ciencias de la computación. (con R. Hodel y SG Sterrett) Princeton University Press. 26 de enero de 2014. ISBN 978-1-4008-4875-1.

Artículos seleccionados

• Davis, Martin; Logemann, George; Loveland, Donald (1 de julio de 1962). "Un programa de máquina para la demostración de teoremas". Comunicaciones de la ACM . 5 (7): 394–397. doi :10.1145/368273.368557. hdl : 2027/mdp.39015095248095 . S2CID  15866917.
• Loveland, Donald (1966). "Una nueva interpretación del concepto de secuencia aleatoria de von Mises". Zeitschrift für Mathematische Logik und Grundlagen der Mathematik . 12 (1): 279–294. doi :10.1002/malq.19660120124.
• Loveland, Donald W. (1 de abril de 1968). "Demostración de teoremas mecánicos mediante eliminación de modelos". Revista de la ACM . 15 (2): 236–251. doi : 10.1145/321450.321456 . S2CID  18377884.
• Loveland, DW (1969). "Un formato simplificado para el procedimiento de demostración del teorema de eliminación de modelos". Automatización del razonamiento . págs. 233–248. CiteSeerX  10.1.1.1017.8248 . doi :10.1007/978-3-642-81955-1_14. ISBN 978-3-642-81957-5.
• Loveland, DW (diciembre de 1969). "Una variante del concepto de complejidad de Kolmogorov". Información y control . 15 (6): 510–526. doi : 10.1016/S0019-9958(69)90538-5 .
• Loveland, DW (1970). "Un formato lineal para la resolución". Simposio sobre demostración automática . Apuntes de clase en matemáticas. Vol. 125. págs. 147–162. doi :10.1007/BFb0060630. ISBN. 978-3-540-04914-2. ISSN  0075-8434. S2CID  121021241.
• Loveland, DW (1 de abril de 1972). "Una visión unificadora de algunos procedimientos lineales de Herbrand". Revista de la ACM . 19 (2): 366–384. doi : 10.1145/321694.321706 . S2CID  14244283.
• Fleisig, S.; Loveland, D.; Smiley, AK; Yarmush, DL (1 de enero de 1974). "Una implementación del procedimiento de prueba de eliminación de modelos". Revista de la ACM . 21 (1): 124–139. doi : 10.1145/321796.321807 . S2CID  15686713.

Véase también

• Eliminación de modelos

Referencias

1. Loveland, DW; Stickel, ME; "Un agujero en los árboles de objetivos: algunas orientaciones a partir de la teoría de la resolución". En Actas de IEEE Trans. Computers. 1976, 335-341.
2. Página personal de la Universidad de Duke
3. Davis, Martin; Logemann, George; Loveland, Donald (1962). "Un programa de máquina para la demostración de teoremas". Comunicaciones de la ACM . 5 (7): 394–397. doi :10.1145/368273.368557. hdl : 2027/mdp.39015095248095 . S2CID  15866917.
4. Currículum vitae
5. "Prestigioso premio Herbrand otorgado a un miembro de la facultad de informática de la Universidad de Duke" (PDF) . Comunicado de prensa de la Universidad de Duke. 16 de julio de 2001 . Consultado el 28 de agosto de 2016 .
6. "Two Professors Named ACM Fellows" (Dos profesores nombrados miembros del ACM). Duke University . 1 de noviembre de 1999. Archivado desde el original el 10 de octubre de 2016. Consultado el 28 de agosto de 2016 .
7. "Elegido miembro de la AAAI, Donald W. Loveland, Duke University". Asociación para el Avance de la Inteligencia Artificial . Consultado el 28 de agosto de 2016. Por sus destacadas contribuciones al campo del razonamiento automatizado y el desarrollo del procedimiento de demostración del teorema de eliminación de modelos.
8. "2019 AAAS Fellows approved by the AAAS Council". Ciencia . 366 (6469): 1086–1089. 29 de noviembre de 2019. Bibcode :2019Sci...366.1086.. doi : 10.1126/science.366.6469.1086 .

Enlaces externos

• Lista de publicaciones en DBLP