Джон Флориан Сова (1940 г.р.) - американский ученый-компьютерщик , эксперт в области искусственного интеллекта и компьютерного дизайна , а также изобретатель концептуальных графиков . [1] [2]
Джон Ф. Сова | |
---|---|
Родившийся | 1 января 1940 г. |
Образование | Массачусетский технологический институт BS 1962, Гарвардский университет MA 1966, Vrije Universiteit Brussel PhD 1999 |
Занятие | Специалист в области информатики |
Известен | Концептуальные графики |
Супруг (а) | Кора Анжер Сова |
Веб-сайт | JFSowa.com |
биография
Сова получил степень бакалавра математики в Массачусетском технологическом институте в 1962 году, степень магистра прикладной математики в Гарвардском университете в 1966 году и докторскую степень в области компьютерных наук в Брюссельском университете Врайе в 1999 году за диссертацию под названием «Представление знаний: логические, философские, философские. и вычислительные основы ». [3]
Сова провел большую часть своей профессиональной карьеры в IBM , которая началась в 1962 году в группе прикладной математики IBM. На протяжении десятилетий он исследовал и развивал новые области информатики от компиляторов, языков программирования и системной архитектуры [4] до искусственного интеллекта и представления знаний. В 1990-х годах Sowa был связан с Образовательным центром IBM в Нью-Йорке. На протяжении многих лет он читал курсы в Институте системных исследований IBM, Бингемтонском университете , Стэнфордском университете , Американском лингвистическом обществе и Университете Квебека в Монреале . Он является членом Ассоциации развития искусственного интеллекта .
После досрочного выхода на пенсию в IBM Sowa в 2001 году одним из основателей VivoMind Intelligence, Inc. с Arun К. Маджумдар . В этой компании он разрабатывал технологию интеллектуального анализа данных и баз данных, более конкретные высокоуровневые « онтологии » для искусственного интеллекта и автоматизированного понимания естественного языка . В настоящее время Sowa работает с Kyndi Inc. , также основанной Маджумдаром.
Джон Сова женат на филологе Коре Энджер Сова [5], и они живут в Кротоне-на-Гудзоне, Нью-Йорк .
Работа
Научные интересы Sowa с 1970-х годов были в области искусственного интеллекта , экспертных систем и запросов к базам данных, связанных с естественными языками. [4] В своей работе он объединяет идеи из множества дисциплин и эпох, современных и древних, например, применяя идеи Аристотеля , средневековых схоластов к Альфреду Норта Уайтхеду, включая теорию схем баз данных , а также используя модель аналогии исламского ученого Ибн Таймийи. в его произведениях. [6]
Концептуальный график
Sowa изобретены концептуальные графы, графическое обозначение для логики и естественного языка, на основе структур в семантических сетях и на экзистенциальные граф из Ч.Пирса . Он опубликовал эту концепцию в статье 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 стал де-факто стандартом для программирования DoD.
- Внедрение OS / 2 привело к тому, что Windows стала де-факто стандартом для настольных ОС.
- Внедрение X.400 привело к тому, что SMTP стал де-факто стандартом электронной почты.
- Внедрение X.500 привело к тому, что LDAP стал де-факто стандартом для служб каталогов.
Публикации
- 1984. Концептуальные структуры - обработка информации в разуме и машине . Серия «Системное программирование», Эддисон-Уэсли [10]
- 1991. Принципы семантических сетей . Морган Кауфманн.
- Mineau, Guy W; Мулен, Бернар; Сова, Джон Ф , ред. (1993). Концептуальные графы для представления знаний . LNCS . 699 . DOI : 10.1007 / 3-540-56979-0 . ISBN 978-3-540-56979-4.
- 1994. Международная конференция по концептуальным структурам (2-я: 1994: Колледж-Парк, штат Мэриленд). Концептуальные структуры, текущая практика: Вторая международная конференция по концептуальным структурам, ICCS'94, Колледж-Парк, Мэриленд, США, 16–20 августа 1994: протоколы . Уильям М. Тепфенхарт, Джудит П. Дик, Джон Ф. Сова, ред.
- Эллис, Джерард; Левинсон, Роберт; Рич, Уильям; Сова, Джон Ф , ред. (1995). Концептуальные структуры: приложения, реализация и теория . LNCS . 954 . DOI : 10.1007 / 3-540-60161-9 . ISBN 978-3-540-60161-6.
- Лукосе, Диксон; Делугач, Гарри; Киллер, Мэри; Сирл, Лерой; Сова, Джон , ред. (1997). Концептуальные структуры: исполнение мечты Пирса . LNCS . 1257 . DOI : 10.1007 / BFb0027865 . ISBN 3-540-63308-1.
- 2000. Представление знаний: логические, философские и вычислительные основы , Brooks Cole Publishing Co., Pacific Grove [11]
- Статьи, подборка [12]
- Сова, Дж. Ф. (июль 1976 г.). «Концептуальные графики для интерфейса базы данных». Журнал исследований и разработок IBM . 20 (4): 336–357. DOI : 10.1147 / rd.204.0336 .
- Sowa, JF ; Захман, JA (1992). «Расширение и формализация основы для архитектуры информационных систем». IBM Systems Journal . 31 (3): 590–616. DOI : 10.1147 / sj.313.0590 .
- 1992. " Сводка концептуального графа "; В: TE Nagle et al. (Ред.). Концептуальные структуры: текущие исследования и практика . Чичестер: Эллис Хорвуд.
- 1995. «Онтологические категории высшего уровня». в: Международный журнал человеко-компьютерных исследований . Vol. 43, вып. 5–6, ноябрь 1995 г., стр. 669–685.
- 2006. «Семантические сети». В: Энциклопедия когнитивных наук. . Джон Вили и сыновья.
В популярной культуре
Джон Сова считается главным героем фантастического романа « Великие дела: рассказ о логике и магии». Эпос о Джоне Сова, но, согласно комментарию, эта книга не имеет к нему отношения. [13]
Рекомендации
- ^ Кеченг Лю (2000) Семиотика в разработке информационных систем . На стр. 54 говорится: « Концептуальные графы были разработаны Sowa (1984) как язык представления знаний на основе философии, психологии и лингвистики. Знания в форме концептуального графа сильно структурированы путем моделирования специализированных фактов, которые могут быть подвергнуты обобщенным рассуждениям.
- ^ Марите Кирикова (2002) Разработка информационных систем: достижения в методологиях, компонентах и управлении . с.194. утверждает: Первоначальная теория концептуальных графов была введена Sowa (Sowa, 1984). Концептуальный граф - это конечный связный двудольный граф. Он включает в себя понятия концепций, отношений и действующих лиц ...
- ^ Андреас Толк, Лахми К. Джайн (2011) Интеллектуальная системная инженерия . p.xxi
- ^ a b c Джон Ф. Сова и Джон Захман (1992). "Расширение и формализация структуры архитектуры информационных систем" В: IBM Systems Journal , Том 31, № 3, 1992. стр. 590-616.
- ↑ Кора Анжер Сова (1984) Традиционные темы и гомеровские гимны . p.iv
- ^ Аналогичное рассуждение
- ^ Сова, Джон Ф. (июль 1976 г.). «Концептуальные графики для интерфейса базы данных» (PDF) . Журнал исследований и разработок IBM . 20 (4): 336–357. DOI : 10.1147 / rd.204.0336 .
- ^ «Международные конференции по концептуальным структурам» . Концептуальные структуры . Проверено 21 марта 2017 года .
- ^ Закон стандартов
- ^ Домашняя страница концептуальных структур . Проверено 23 ноября 2012 г.
- ^ Представление знаний: логические, философские и вычислительные основы на jfsowa.com. Проверено 23 ноября 2012 г.
- ^ Джон Ф. Сова насервере библиографии DBLP
- ^ Страница Amazon .
Внешние ссылки
- Домашняя страница Джона Ф. Сова