Джон Ф. Сова

Джон Ф. Сова
Джон Ф. Сова
Рожденный	1940 (83–84 года)
Образование	Массачусетский технологический институт, бакалавр наук, 1962 г. ; Гарвардский университет, магистр 1966 г. ; Свободный университет Брюсселя, доктор философии, 1999 г. ;
Занятие	Ученый-компьютерщик
Известный	Концептуальные графики
Супруг	Кора Энджер Сова
Веб-сайт	JFSowa.com

Джон Флориан Сова (род. 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 стали де-факто стандартами для делового и научного программирования соответственно.
Внедрение Алгола-68 привело к тому, что Паскаль стал фактическим стандартом академического программирования.
Внедрение языка Ada привело к тому, что C стал фактическим стандартом для Министерства обороны США. программирования
Внедрение OS/2 привело к тому, что Windows стала фактическим стандартом для настольных ОС.
Внедрение X.400 привело к тому, что SMTP стал фактическим стандартом электронной почты.
Внедрение X.500 привело к тому, что LDAP стал фактическим стандартом для служб каталогов.

Публикации

1984. Концептуальные структуры — обработка информации в сознании и машине . Серия системного программирования, Аддисон-Уэсли ^[10]
1991. Принципы семантических сетей . Морган Кауфманн.
Мино, Гай В.; Мулен, Бернар; Сова, Джон Ф. , ред. (1993). Концептуальные графы для представления знаний . ЛНКС . Том. 699. дои : 10.1007/3-540-56979-0 . ISBN 978-3-540-56979-4 . S2CID 32275791 .
1994. Международная конференция по концептуальным структурам (2-я: 1994: Колледж-Парк, Мэриленд). Концептуальные структуры, текущая практика: Вторая международная конференция по концептуальным структурам, ICCS'94, Колледж-Парк, Мэриленд, США, 16–20 августа 1994 г.: материалы. . Уильям М. Тепфенхарт, Джудит П. Дик, Джон Ф. Сова, ред.
Эллис, Джерард; Левинсон, Роберт; Рич, Уильям; Сова, Джон Ф. , ред. (1995). Концептуальные структуры: приложения, реализация и теория . ЛНКС . Том. 954. дои : 10.1007/3-540-60161-9 . ISBN 978-3-540-60161-6 . S2CID 27300281 .
Лукозе, Диксон; Делугач, Гарри; Киллер, Мэри; Сирл, Лерой; Сова, Джон , ред. (1997). Концептуальные структуры: осуществление мечты Пирса . ЛНКС . Том. 1257. дои : 10.1007/BFb0027865 . ISBN 3-540-63308-1 . S2CID 1934069 .
2000. Представление знаний: логические, философские и вычислительные основы , Brooks Cole Publishing Co., Pacific Grove. ^[11]

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

Сова, JF (июль 1976 г.). «Концептуальные графики интерфейса базы данных». Журнал исследований и разработок IBM . 20 (4): 336–357. дои : 10.1147/rd.204.0336 .
Сова, JF ; Захман, Дж. А. (1992). «Расширение и формализация структуры архитектуры информационных систем». IBM Systems Journal . 31 (3): 590–616. дои : 10.1147/sj.313.0590 .
1992. « Сводка концептуальных графов »; В: TE Nagle et al. (Ред.). Концептуальные структуры: современные исследования и практика . Чичестер: Эллис Хорвуд.
1995. "Онтологические категории верхнего уровня". в: Международный журнал человеко-компьютерных исследований . Том. 43, вып. 5–6, ноябрь 1995 г., стр. 669–685.
2006. «Семантические сети». В: Энциклопедия когнитивной науки. . Джон Уайли и сыновья.

Ссылки

^ Кеченг Лю (2000) Семиотика в разработке информационных систем . На стр. 54 говорится: Концептуальные графы разработаны Сова (1984) как язык представления знаний на основе философии, психологии и лингвистики. Знания в форме концептуальных графов высоко структурированы путем моделирования специализированных фактов, которые могут быть подвергнуты обобщенному рассуждению.
^ Марите Кирикова (2002) Развитие информационных систем: достижения в методологиях, компонентах и управлении . стр.194. утверждает: Оригинальная теория концептуальных графов была предложена Совой (Sowa, 1984). Концептуальный граф — это конечный связный двудольный граф. Оно включает в себя понятия концепций, отношений и действующих лиц...
^ Андреас Толк, Лахми К. Джайн (2011) Интеллектуальная системная инженерия . стр.xxi
^ Перейти обратно: ^а ^б ^с Джон Ф. Сова и Джон Захман (1992). «Расширение и формализация структуры архитектуры информационных систем» В: IBM Systems Journal , том 31, № 3, 1992. с. 590-616.
^ Кора Анжер Сова (1984) Традиционные темы и гомеровские гимны . п.ив.
^ Аналогичные рассуждения
^ Сова, Джон Ф. (июль 1976 г.). «Концептуальные графики интерфейса базы данных» (PDF) . Журнал исследований и разработок IBM . 20 (4): 336–357. дои : 10.1147/rd.204.0336 . Архивировано (PDF) из оригинала 13 июля 2006 г.
^ «Международные конференции по концептуальным структурам» . Концептуальные структуры . Проверено 21 марта 2017 г.
^ Закон стандартов
^ Домашняя страница концептуальных структур . Проверено 23 ноября 2012 г.
^ Представление знаний: логические, философские и вычислительные основы на jfsowa.com. Проверено 23 ноября 2012 г.
^ Джон Ф. Сова на DBLP библиографическом сервере

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

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

[1] Кеченг Лю (2000) Семиотика в разработке информационных систем . На стр. 54 говорится: Концептуальные графы разработаны Сова (1984) как язык представления знаний на основе философии, психологии и лингвистики. Знания в форме концептуальных графов высоко структурированы путем моделирования специализированных фактов, которые могут быть подвергнуты обобщенному рассуждению.

[2] Марите Кирикова (2002) Развитие информационных систем: достижения в методологиях, компонентах и управлении . стр.194. утверждает: Оригинальная теория концептуальных графов была предложена Совой (Sowa, 1984). Концептуальный граф — это конечный связный двудольный граф. Оно включает в себя понятия концепций, отношений и действующих лиц...

[3] Андреас Толк, Лахми К. Джайн (2011) Интеллектуальная системная инженерия . стр.xxi

[SoZa92-4] Перейти обратно: ^а ^б ^с Джон Ф. Сова и Джон Захман (1992). «Расширение и формализация структуры архитектуры информационных систем» В: IBM Systems Journal , том 31, № 3, 1992. с. 590-616.

[5] Кора Анжер Сова (1984) Традиционные темы и гомеровские гимны . п.ив.

[6] Аналогичные рассуждения

[7] Сова, Джон Ф. (июль 1976 г.). «Концептуальные графики интерфейса базы данных» (PDF) . Журнал исследований и разработок IBM . 20 (4): 336–357. дои : 10.1147/rd.204.0336 . Архивировано (PDF) из оригинала 13 июля 2006 г.

[8] «Международные конференции по концептуальным структурам» . Концептуальные структуры . Проверено 21 марта 2017 г.

[9] Закон стандартов

[10] Домашняя страница концептуальных структур . Проверено 23 ноября 2012 г.

[11] Представление знаний: логические, философские и вычислительные основы на jfsowa.com. Проверено 23 ноября 2012 г.

[12] Джон Ф. Сова на DBLP библиографическом сервере

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

Базы данных авторитетного контроля
Международный	БЫСТРЫЙ ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Норвегия Франция Данные БнФ Каталония Израиль Бельгия Соединенные Штаты Чешская Республика Нидерланды Польша
академики	ЦиНии ДБЛП ОРЦИД
Другой	ИдРеф