Дэвид Плейстед
 |
Дэвид Алан Плейстед — профессор информатики в Университете Северной Каролины в Чапел-Хилл .
Научные интересы
[ редактировать ]Научные интересы Плейстеда включают системы переписывания терминов , автоматическое доказательство теорем , логическое программирование и алгоритмы . Его исследовательские достижения в доказательстве теорем включают работу над упорядочиванием рекурсивных путей, [1] ассоциативный порядок путей, [2] абстракция, [3] упрощенные и модифицированные форматы уменьшения проблем, [4] [5] редуцируемость земли, [6] перевод нестандартной формы предложения, [7] жесткая электронная унификация , [8] Завершение Кнута-Бендикса , [9] [10] правила замены в доказательстве теорем, [11] стратегии доказательства теорем на основе примеров, [12] и семантика в доказательстве теорем. [13]
Образование и карьера
[ редактировать ]Он получил степень бакалавра наук в Чикагском университете в 1970 году и степень доктора философии. из Стэнфордского университета в 1976 году. Он работал на факультете компьютерных наук Университета Иллинойса в Урбана-Шампейн до 1984 года, а с тех пор был профессором кафедры компьютерных наук Университета Северной Каролины в Чапел. Холм. Он является автором или соавтором публикаций по информатике, которые цитируются учеными в этой области. Он работал в ряде программных комитетов и в редакционных советах ряда журналов, в том числе Journal of Символические вычисления , Information Processing Letters, Mathematical Systems Theory и Fundamenta Informaticae. Плейстед провел творческий отпуск в SRI International в Менло-Парке, Калифорния, в 1982 и 1983 годах, а также в Институте программных систем Макса Планка и Университете Кайзерслаутерна в Германии в 1993 и 1994 годах. [ нужна ссылка ] Плейстед управляет веб-сайтом «Молодая Земля» под названием «A Creation Perspective». [14] [15]
Ссылки
[ редактировать ]- ^ Дэвид А. Плейстед (1978). Рекурсивно определенный порядок доказательства прекращения действия систем переписывания терминов (технический отчет). унив. штата Иллинойс, Департамент Comp. наук. п. 52. Р-78-943.
- ^ Бахмайр, Л.; Плейстед, Д.А. (1985). Жан-Пьер Жуанно (ред.). Ассоциативное упорядочение путей . ЛНКС. Полет. 202. Шпрингер-Верлаг. стр. 241–54.
- ^ Дэвид А. Плейстед (1981). «Доказательство теоремы с помощью абстракции». Артиф. Интелл . 16 (1): 47–108. дои : 10.1016/0004-3702(81)90015-1 .
- ^ Дэвид А. Плейстед (1982). «Упрощенный формат решения проблем». Артиф. Интелл . 18 (2): 227–61. дои : 10.1016/0004-3702(82)90041-8 .
- ^ Сюмин Не; Дэвид А. Плейстед (январь 1989 г.). Семантический вариант модифицированного формата решения проблем (PDF) (Технический отчет). унив. Северной Каролины в Чапел-Хилл. п. 11. ТР89-101.
- ^ Жан Х. Галлиер , Палиат Нарендран, Дэвид А. Плейстед, Стэн Раатц, Уэйн Снайдер (1993). «Алгоритм поиска канонических наборов основных правил перезаписи за полиномиальное время» (PDF) . Дж. АКМ . 40 (1): 1–16. дои : 10.1145/138027.138032 . S2CID 820591 .
{{cite journal}}: CS1 maint: несколько имен: список авторов ( ссылка ) - ^ Дэвид А. Плейстед; Стивен Гринбаум (1986). «Перевод формы предложения с сохранением структуры» . J. Символические вычисления . 2 (3): 293–304. дои : 10.1016/s0747-7171(86)80028-1 .
- ^ Жан Х. Галье; Палиат Нарендран; Дэвид А. Плейстед; Уэйн Снайдер (1990). «Жесткая E-унификация: NP-полнота и приложения к эквациональным сопряжениям» . Инф. Вычислить . 87 (1/2): 129–95. дои : 10.1016/0890-5401(90)90061-л .
- ^ Дэвид А. Плейстед (1985). «Тесты семантического слияния и методы завершения» . Информация и контроль . 65 (2/3): 182–215. дои : 10.1016/s0019-9958(85)80005-x .
- ^ Дэвид А. Плейстед; Андреа Саттлер-Кляйн (1996). «Длины доказательства для завершения по уравнениям» (PDF) . Инф. Вычислить . 125 (2): 154–70. дои : 10.1006/inco.1996.0028 .
- ^ Ши-Джу Ли; Дэвид А. Плейстед (1994). «Использование правил замены в доказательстве теорем». Методы логики в информатике . 1 (2): 217–40.
- ^ Хэн Чу; Дэвид А. Плейстед (1994). «Поиск модели в семантически управляемом доказательстве теорем на основе примеров». Фундамент. Сообщите . 21 (3): 221–235. дои : 10.3233/FI-1994-2134 .
- ^ Сюмин Не; Дэвид А. Плейстед (июль 1990 г.). «Полная система доказательства семантической обратной цепочки». В М. Е. Стикеле (ред.). Учеб. 10-й КАДЕ . ЛНАИ. Том. 449. Спрингер. стр. 16–27.
- ^ «Еще плохие новости для радиометрического датирования» . www.cs.unc.edu . Проверено 28 ноября 2018 г.
- ^ «Перспектива творчества» . tasc-creationscience.org . Проверено 28 ноября 2018 г.
Внешние ссылки
[ редактировать ]- Страница Плейстеда в UNC
- Дэвид А. Плейстед на DBLP библиографическом сервере
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |