Ньюэлл Аллен

1927 год
-
1992 год

США

Американский математик, один из разработчиков первых систем искусственного интеллекта / artificial intelligence.

 

В 1956 году вместе с Гербертом Саймоном разработал компьютерную программу: Логик теоретик / Logical Theorist, которая смогла автоматически доказать 38 законов из книги Б. Рассела и А. Уайтхеда «Принципы математики». В 1960 году они же разработали программу: Общий решатель проблем / General Problem Solver. Она стала более мощным инструментом, чем Логик теоретик, поскольку могла не только делать логические доказательства, но и делать ходы в шахматной игре и строить так называемую «Ханойскую башню». Программа раскладывала исходную задачу на более простые под-задачи, решение которых было возможно достичь.

В работах А. Ньюэлла и Г. Саймона сформулирована гипотеза о физической символьной системе / physical symbol system, в соответствии с которой человеческое мышление представляет собой некую систему, оперирующую с материальными символами, отображающими действительность. Подобное представление, в целом развивающее идеи Алана Тьюринга, в дальнейшем стало описываться как компьютерная метафора и концепция «бестелесного интеллекта».

В работах Аллена Ньюэлла были сформулированы основные принципы «эвристического программирования» - то есть моделирования мышления человека с помощью информационных систем.

 

Учителя: Джордж Пойа, Герберт Саймон.

 

 

Новости
Случайная цитата
  • Артур Шопенгауэр защищает диссертацию: «О четверояком корне закона достаточного основания»
    Артур Шопенгауэр  защитил докторскую диссертацию в Йенском университете  и озаглавленную им: «О четверояком корне  закона достаточного основания». Каково содержание этой вводной части?«В содержании  этой  работы  - и  на  это  намекает уже  её  название  - смыкаются  две  различные  историко-философские  тенденции.  Первая  из  них восходит к учению  Аристотеля и его школы в Ликее  о четырёх причинах, и под четырьмя  вариантами  достаточного  основания Шопенгауэр имеет в виду именно действие зак...