Джон Ф. Сова

Исследователь искусственного интеллекта (родился в 1940 году)

Джон Флориан Сова (родился в 1940 году) — американский учёный-компьютерщик , эксперт в области искусственного интеллекта и компьютерного дизайна , а также изобретатель концептуальных графов . ^{[1] [2]}

Биография

Сова получил степень бакалавра по математике в Массачусетском технологическом институте в 1962 году, степень магистра по прикладной математике в Гарвардском университете в 1966 году и степень доктора философии по информатике в Брюссельском свободном университете в 1999 году, защитив диссертацию на тему «Представление знаний: логические, философские и вычислительные основы». ^[3]

Сова провел большую часть своей профессиональной карьеры в IBM , начав в 1962 году в группе прикладной математики IBM. На протяжении десятилетий он исследовал и разрабатывал новые области компьютерной науки от компиляторов , языков программирования и архитектуры систем ^[4] до искусственного интеллекта и представления знаний . В 1990-х годах Сова был связан с Образовательным центром IBM в Нью-Йорке. На протяжении многих лет он преподавал курсы в Институте исследований систем IBM, Университете Бингемтона , Стэнфордском университете , Лингвистическом обществе Америки и Университете Квебека в Монреале . Он является членом Ассоциации по развитию искусственного интеллекта .

После раннего выхода на пенсию в IBM, Сова в 2001 году стал соучредителем VivoMind Intelligence, Inc. вместе с Аруном К. Маджумдаром. В этой компании он разрабатывал технологию добычи данных и баз данных , а именно высокоуровневые « онтологии » для искусственного интеллекта и автоматизированного понимания естественного языка . В настоящее время Сова работает с Kyndi Inc., также основанной Маджумдаром.

Джон Сова женат на филологе Коре Энджир Сова ^[5] , они живут в Кротоне-на-Гудзоне, штат Нью-Йорк .

Работа

Научные интересы Совы с 1970-х годов были в области искусственного интеллекта , экспертных систем и запросов к базам данных, связанных с естественными языками. ^[4] В своей работе он объединяет идеи из многочисленных дисциплин и эпох, современных и древних, например, применяя идеи Аристотеля , средневековых схоластов к Альфреду Норту Уайтхеду и включая теорию схем баз данных , а также внедряя модель аналогии исламского ученого Ибн Таймии в свои работы. ^[6]

Концептуальный график

Сова изобрел концептуальные графы, графическую нотацию для логики и естественного языка, основанную на структурах в семантических сетях и на экзистенциальных графах Чарльза С. Пирса . Он представил эту концепцию в статье 1976 года «Концептуальные графы для интерфейса базы данных» в журнале IBM Journal of Research and Development . ^[7] Он подробно остановился на ней в книге 1983 года « Концептуальные структуры: обработка информации в уме и машине» .

В 1980-х годах эта теория была «принята рядом исследовательских и опытно-конструкторских групп по всему миру. ^[4] Международные конференции по концептуальным структурам (ICCS) проводятся с 1993 года, после серии семинаров по концептуальным графам, которые начались в 1986 году. ^[8]

Закон стандартов Совы

В 1991 году Сова впервые сформулировал свой Закон стандартов :

«Всякий раз, когда крупная организация разрабатывает новую систему в качестве официального стандарта для X, основным результатом является широкое принятие некоторой более простой системы в качестве фактического стандарта для X». ^[9]

Как и закон Галла , Закон стандартов по сути является аргументом в пользу недостаточной спецификации. Примеры включают:

• Внедрение PL/I привело к тому, что COBOL и FORTRAN стали фактическими стандартами для делового и научного программирования соответственно.
• Внедрение языка Algol-68, в результате чего Паскаль стал фактическим стандартом для академического программирования.
• Появление языка Ada , в результате чего C стал фактическим стандартом программирования Министерства обороны США.
• Появление OS/2, в результате чего Windows стала фактическим стандартом для настольных ОС
• Внедрение X.400 , в результате чего SMTP стал фактическим стандартом для электронной почты.
• Внедрение X.500 привело к тому, что LDAP стал фактическим стандартом для служб каталогов.

Публикации

• 1984. Концептуальные структуры - Обработка информации в сознании и машине . Серия системного программирования, Эддисон-Уэсли ^[10]
• 1991. Принципы семантических сетей . Морган Кауфманн.
• Mineau, Guy W; Moulin, Bernard; Sowa, John F, ред. (1993). Концептуальные графы для представления знаний . LNCS . Том 699. doi :10.1007/3-540-56979-0. ISBN 978-3-540-56979-4. S2CID  32275791.
• 1994. Международная конференция по концептуальным структурам (2-я: 1994: Колледж-Парк, Мэриленд) Концептуальные структуры, современная практика: Вторая международная конференция по концептуальным структурам, ICCS'94, Колледж-Парк, Мэриленд, США, 16–20 августа 1994 г.: труды . Уильям М. Тепфенхарт, Джудит П. Дик, Джон Ф. Сова, ред.
• Эллис, Джерард; Левинсон, Роберт; Рич, Уильям; Сова, Джон Ф., ред. (1995). Концептуальные структуры: приложения, реализация и теория . LNCS . Том 954. doi :10.1007/3-540-60161-9. ISBN 978-3-540-60161-6. S2CID  27300281.
• Lukose, Dickson; Delugach, Harry; Keeler, Mary; Searle, Leroy; Sowa, John, ред. (1997). Концептуальные структуры: исполнение мечты Пирса . LNCS . Том 1257. doi :10.1007/BFb0027865. ISBN 3-540-63308-1. S2CID  1934069.
• 2000. Представление знаний: логические, философские и вычислительные основы , Brooks Cole Publishing Co., Пасифик Гроув ^[11]

Статьи, подборка ^[12]

• Сова, Дж. Ф. (июль 1976 г.). «Концептуальные графы для интерфейса базы данных». IBM Journal of Research and Development . 20 (4): 336–357. doi :10.1147/rd.204.0336.
• Сова, Дж. Ф.; Захман, Дж. А. (1992). «Расширение и формализация структуры архитектуры информационных систем». IBM Systems Journal . 31 (3): 590–616. doi :10.1147/sj.313.0590.
• 1992. "Conceptual Graph Summary"; В: TE Nagle et al. (ред.). Концептуальные структуры: текущие исследования и практика . Чичестер: Ellis Horwood.
• 1995. "Онтологические категории верхнего уровня". в: Международный журнал исследований взаимодействия человека и компьютера . Том 43, выпуск 5–6, ноябрь 1995 г., стр. 669–685
• 2006. «Семантические сети». В: Энциклопедия когнитивной науки. John Wiley & Sons.

Ссылки

1. Кеченг Лю (2000) Семиотика в инженерии информационных систем . стр. 54 гласит: Концептуальные графы разработаны как язык представления знаний Совой (1984) на основе философии, психологии и лингвистики. Знания в форме концептуального графа в высокой степени структурированы путем моделирования специализированных фактов, которые могут быть подвергнуты обобщенному рассуждению .
2. Марите Кирикова (2002) Разработка информационных систем: достижения в методологиях, компонентах и ​​управлении . стр. 194. утверждает: Первоначальная теория концептуальных графов была введена Совой (Сова, 1984). Концептуальный граф — это конечный, связный, двудольный граф. Он включает понятия концепций, отношений и акторов...
3. Андреас Толк, Лакхми С. Джейн (2011) Интеллектуальная системная инженерия . стр.xxi
4. Джон Ф. Сова и Джон Захман (1992). «Расширение и формализация структуры архитектуры информационных систем» В: IBM Systems Journal , том 31, № 3, 1992. стр. 590-616.
5. Кора Энджир Сова (1984) Традиционные темы и гомеровские гимны . стр.iv
6. Аналогичное рассуждение
7. Сова, Джон Ф. (июль 1976 г.). «Концептуальные графы для интерфейса базы данных» (PDF) . IBM Journal of Research and Development . 20 (4): 336–357. doi :10.1147/rd.204.0336. Архивировано (PDF) из оригинала 2006-07-13.
8. "Международные конференции по концептуальным структурам". Концептуальные структуры . Получено 21 марта 2017 г.
9. Закон стандартов
10. Домашняя страница концептуальных структур. Получено 23 ноября 2012 г.
11. Представление знаний: логические, философские и вычислительные основы на jfsowa.com. Получено 23 ноября 2012 г.
12. Джон Ф. Сова на сервере библиографии DBLP

Внешние ссылки

• Домашняя страница Джона Ф. Совы