Дональд В. Лавленд - Donald W. Loveland

Дональд В. Лавленд
Родившийся	(1934-12-26) 26 декабря 1934 г. (возраст 85) Рочестер, Нью-Йорк
Альма-матер	Нью-Йоркский университет
Известен	Алгоритм DPLL
Награды	Премия Herbrand 2001
Научная карьера
Поля	Информатика
Учреждения	Университет Дьюка
Тезис	Рекурсивно случайные последовательности (1964)
Докторанты	Питер Ангар, Мартин Дэвид Дэвис
Докторанты	Оуэн Астрахан, Сьюзан Герхарт

Дональд В. Лавленд (родился 26 декабря 1934 г. в г. Рочестер, Нью-Йорк )^[1] профессор заслуженный из Информатика в Университет Дьюка кто специализируется на искусственный интеллект.^[2] Он хорошо известен Алгоритм Дэвиса – Патнэма – Логеманна – Ловленда.^[3]

Лавленд окончил Оберлин колледж в 1956 г. получил степень магистра Массачусетский Институт Технологий в 1958 г. и докторскую степень. из Нью-Йоркский университет в 1964 году. Он присоединился к факультету компьютерных наук Университета Дьюка в 1973 году. Ранее он работал преподавателем на факультете математики в Нью-Йоркский университет и Университет Карнеги Меллон.^[1][4][5]

Он получил Премия Herbrand за выдающийся вклад в автоматизированное рассуждение в 2001 году.^[5] Он член Ассоциация вычислительной техники (2000),^[6] член Ассоциация искусственного интеллекта (1993),^[7] и Член Американской ассоциации развития науки (2019).^[8]

Библиография

Книги

• Автоматическое доказательство теорем: логическая основа. Издательская компания Северной Голландии. 1978 г. Дои:10.1016 / c2009-0-12705-8. HDL:2445/109943. ISBN  978-0-7204-2500-0.
• Материалы 6-й конференции по автоматическому вычету. Конспект лекций по информатике. 138. (Редактор) Springer-Verlag, Лондон. 1982 г. Дои:10.1007 / BFb0000048. ISBN  978-3-540-11558-8. S2CID  33583364.
• Автоматическое доказательство теорем: 25 лет спустя. Современная математика. 29. (с W.W. Bledsoe) American Mathematical Soc. 1984 г. Дои:10.1090 / conm / 029. ISBN  978-0-8218-5027-5.
• Три взгляда на логику: математика, философия и информатика. (с Р. Ходелом и С.Г. Стерреттом) Princeton University Press. 26 января 2014 г. ISBN  978-1-4008-4875-1.

Избранные статьи

• Дэвис, Мартин; Логеманн, Джордж; Ловленд, Дональд (1 июля 1962 г.). «Машинная программа для доказательства теорем». Коммуникации ACM. 5 (7): 394–397. Дои:10.1145/368273.368557. HDL:2027 / mdp.39015095248095. S2CID  15866917.
• Ловленд, Дональд (1966). «Новая интерпретация концепции случайной последовательности фон Мизеса». Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. 12 (1): 279–294. Дои:10.1002 / malq.19660120124.
• Ловленд, Дональд В. (1 апреля 1968 г.). "Механическое доказательство теорем методом исключения модели". Журнал ACM. 15 (2): 236–251. Дои:10.1145/321450.321456. S2CID  18377884.
• Ловленд, Д. У. (1969). "Упрощенный формат процедуры доказательства теоремы исключения". Автоматизация рассуждений. С. 233–248. CiteSeerX  10.1.1.1017.8248. Дои:10.1007/978-3-642-81955-1_14. ISBN  978-3-642-81957-5.
• Лавленд, Д.В. (Декабрь 1969 г.). «Вариант колмогоровской концепции сложности». Информация и контроль. 15 (6): 510–526. Дои:10.1016 / S0019-9958 (69) 90538-5.
• Ловленд, Д. У. (1970). «Линейный формат разрешения». Симпозиум по автоматической демонстрации. Конспект лекций по математике. 125. С. 147–162. Дои:10.1007 / BFb0060630. ISBN  978-3-540-04914-2. ISSN  0075-8434.
• Лавленд, Д. У. (1 апреля 1972 г.). «Объединяющий взгляд на некоторые линейные процедуры Herbrand». Журнал ACM. 19 (2): 366–384. Дои:10.1145/321694.321706. S2CID  14244283.
• Fleisig, S .; Loveland, D .; Смайли, А. К .; Ярмуш Д. Л. (1 января 1974 г.). «Реализация модели доказательства процедуры исключения». Журнал ACM. 21 (1): 124–139. Дои:10.1145/321796.321807. S2CID  15686713.

Смотрите также

• Исключение модели

Рекомендации

1. Loveland, D.W .; Stickel, M.E .; «Дыра в дереве целей: некоторые рекомендации из теории разрешения». В материалах IEEE Trans. Компьютеры. 1976, 335-341.
2. Персональная страница Duke University
3. Дэвис, Мартин; Логеманн, Джордж; Лавленд, Дональд (1962). "Машинная программа для доказательства теорем". Коммуникации ACM. 5 (7): 394–397. Дои:10.1145/368273.368557. HDL:2027 / mdp.39015095248095. S2CID  15866917.
4. Биография Резюме
5. «Престижная награда Herbrand вручена преподавателю факультета компьютерных наук Университета Дьюка» (PDF). Пресс-релиз Университета Дьюка. 16 июля 2001 г.. Получено 28 августа 2016.
6. "Два профессора названы стипендиатами ACM". Университет Дьюка. 1 ноября 1999 г.. Получено 28 августа 2016.
7. «Избранные стипендиаты AAAI, Дональд В. Лавленд, Университет Дьюка». Ассоциация развития искусственного интеллекта. Получено 28 августа 2016. За выдающийся вклад в область автоматизированных рассуждений и разработку процедуры доказательства теорем исключения модели.
8. «Стипендиаты AAAS 2019 одобрены Советом AAAS». Наука. 366 (6469): 1086–1089. 29 ноября 2019. Дои:10.1126 / science.366.6469.1086. Получено 23 мая 2020.

внешняя ссылка

• Список публикаций в DBLP