Джон Флориан Сова (; род. 1940) — американский информатик, специалист в области искусственного интеллекта и компьютерного проектирования, создатель концептуальных графов.
Известен также сформулированным им законом стандартов Сова (Sowa's Law of Standards), который гласит: «Когда крупная организация разрабатывает новую систему в качестве официального стандарта для X, основным результатом становится широкое распространение некоторой более простой системы в качестве фактического стандарта для X».
Биография и карьера Джон Сова получил степень бакалавра наук по математике в Массачусетском технологическом институте в 1962 году, степень магистра по прикладной математике в Гарвардском университете в 1966 году и степень PhD по информатике в Брюссельском свободном университете в 1999 году с диссертацией на тему «Представление знаний: логические, философские и вычислительные основы».
Бо́льшую часть своей профессиональной карьеры провёл в IBM, начиная с 1962 года в группе прикладной математики. За десятилетия он исследовал и развивал новые области компьютерных наук — от компиляторов, языков программирования и системной архитектуры до искусственного интеллекта и представления знаний. В 1990-х годах был связан с IBM Educational Center в Нью-Йорке. Преподавал в IBM Systems Research Institute, Университете Бингемтона, Стэнфордском университете, Лингвистическом обществе Америки и Университете Квебека в Монреале.
После раннего выхода на пенсию в IBM в 2001 году основал компанию VivoMind Intelligence, Inc. совместно с Аруном К. Маджумдаром, занимавшуюся технологиями интеллектуального анализа данных и баз данных, особенно высокоуровневыми «онтологиями» для искусственного интеллекта и автоматического понимания естественного языка. В настоящее время работает в Kyndi Inc., также основанной Маджумдаром.
Сова женат на филологе Коре Энджер Сова, они живут в Кротон-он-Хадсон, штат Нью-Йорк. Он является членом Ассоциации по развитию искусственного интеллекта (AAAI Fellow).
Концептуальные графы
Сова изобрёл концептуальные графы — графическую нотацию для логики и естественного языка, основанную на структурах семантических сетей и экзистенциальных графах Чарльза Сандерса Пирса. Он представил эту концепцию в статье 1976 года «Conceptual graphs for a data base interface» в IBM Journal of Research and Development. В 1980-х годах эта теория была принята рядом исследовательских и разрабатывающих групп по всему миру. Международные конференции по концептуальным структурам (ICCS) проводятся с 1993 года, им предшествовала серия семинаров по концептуальным графам, начавшаяся в 1986 году.
Закон стандартов Сова В 1991 году Сова сформулировал свой закон стандартов. Примеры включают:
Внедрение PL/I привело к тому, что COBOL и FORTRAN стали фактическими стандартами для бизнес- и научного программирования соответственно. Внедрение Algol-68 привело к тому, что Pascal стал фактическим стандартом для академического программирования. Внедрение языка Ada привело к тому, что C стал фактическим стандартом для программирования в Министерстве обороны США. Внедрение OS/2 привело к тому, что Windows стал фактическим стандартом для десктопных операционных систем. Внедрение X.400 привело к тому, что SMTP стал фактическим стандартом для электронной почты. Внедрение X.500 привело к тому, что LDAP стал фактическим стандартом для служб каталогов.
Избранные публикации Sowa, John F. (1976). «Conceptual Graphs for a Data Base Interface». IBM Journal of Research and Development. 20 (4): 336–357. DOI: 10.1147/rd.204.0336 Sowa, John F. (1984). Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley. ISBN 978-0-201-14472-7 Sowa, John F.; Zachman, John A. (1992). «Extending and formalizing the framework for information systems architecture». IBM Systems Journal. 31 (3): 590–616. DOI: 10.1147/sj.313.0590 Sowa, John F. (2000). Knowledge Representation: Logical, Philosophical, and Computational Foundations. Brooks/Cole. ISBN 978-0-534-94965-5
Примечания
Ссылки Персональная страница Джона Ф. Сова Международные конференции по концептуальным структурам (ICCS)
Категория:Информатики Категория:Специалисты по искусственному интеллекту Категория:Сотрудники IBM Категория:Выпускники Массачусетского технологического института Категория:Выпускники Гарвардского университета