Donald W.Loveland

matemático americano

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 bien conocido por el algoritmo de Davis-Putnam-Logemann-Loveland . ^[3]

Loveland se graduó de Oberlin College en 1956, recibió una maestría del Instituto de Tecnología de Massachusetts en 1958 y un doctorado. de la Universidad de Nueva York en 1964. Se unió al Departamento de Ciencias de la Computación de la Universidad de Duke en 1973. Anteriormente se desempeñó como miembro del cuerpo docente en el Departamento de Matemáticas de la Universidad de Nueva York y la Universidad Carnegie Mellon . ^{[1] [4] [5]}

Recibió el premio Herbrand por sus contribuciones distinguidas 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 Asociación Estadounidense para el Avance de la Ciencia (2019). ^[8]

Bibliografía

Libros

• Demostración automatizada de teoremas: una base lógica. Compañía editorial de Holanda Septentrional. 1978. doi :10.1016/c2009-0-12705-8. hdl :2445/109943. ISBN 978-0-7204-2500-0.
• VI Jornadas de Deducción Automatizada. Apuntes de conferencias sobre informática. vol. 138. (Editor) Springer-Verlag, Londres. 1982. doi : 10.1007/BFb0000048. ISBN 978-3-540-11558-8. S2CID  33583364.
• Demostración automatizada de teoremas: después de 25 años. Matemáticas Contemporáneas. vol. 29. (con WW Bledsoe) Sociedad Matemática Estadounidense. 1984. doi :10.1090/conm/029. ISBN 978-0-8218-5027-5.
• Tres visiones de la lógica: matemáticas, filosofía e informática. (con R. Hodel y SG Sterrett) Princeton University Press. 26 de enero de 2014. ISBN 978-1-4008-4875-1.

Artículos seleccionados

• Davis, Martín; 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 del modelo". 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 de resolución". Simposio sobre Demostración Automática . Apuntes de conferencias de 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, Alaska; Yarmush, DL (1 de enero de 1974). "Una implementación del procedimiento de prueba de eliminación del modelo". Revista de la ACM . 21 (1): 124-139. doi : 10.1145/321796.321807 . S2CID  15686713.

Ver también

• Eliminación del modelo

Referencias

1. Loveland, DW; Stickel, YO; "Un agujero en los árboles de objetivos: algunas orientaciones de la teoría de la resolución". En actas de IEEE Trans. Ordenadores. 1976, 335-341.
2. Página personal de la Universidad de Duke
3. Davis, Martín; 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 vítae
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. "Dos profesores nombrados becarios de ACM". Universidad de Duke . 1 de noviembre de 1999. Archivado desde el original el 10 de octubre de 2016 . Consultado el 28 de agosto de 2016 .
7. "Becarios electos de AAAI, Donald W. Loveland, Universidad de Duke". Asociación para el Avance de la Inteligencia Artificial . Consultado el 28 de agosto de 2016 . Por contribuciones destacadas al campo del razonamiento automatizado y el desarrollo del procedimiento de demostración del teorema de eliminación de modelos.
8. "Becarios AAAS 2019 aprobados por el Consejo AAAS". 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