koob.ru

Тузов В.А.. Книги онлайн

Тузов В.А.

Виталий Алексеевич Тузов (21 января 1937 — 4 июля 2007) — доктор физико-математических наук, профессор кафедры технологии программирования Санкт-Петербургского государственного университета.

В 1959 окончил Математико-механический факультет ЛГУ. В 1969 защитил кандидатскую диссертацию «Преобразование операторных граф-схем», в 1989 докторскую диссертацию «Математическая модель языка».

С 1959 по 1963 — научный сотрудник Ленинградского отделения математического института им. В.А. Стеклова (ЛОМИ). С 1963 по 1976 -научный сотрудник Ленинградского отделение Центрального Экономико-математического института АН СССР. С 1971 по1990 — доцент Факультета ПМ-ПУ. 1990 по 2007 — профессор Факультета ПМ-ПУ. С1991 по 1995 — зав. лабораторией функциональных методов программирования НИИ ВМ и ПУ.

Преподавательская деятельность: Компьютерная лингвистика, специальный курс; Новые технологии программирования.

Области научных интересов: Методы формализации и точного описания искусственных и естественных языков. В исследованиях особое внимание уделяется сложнейшей проблеме описания семантики языка.

Основные научные достижения: На основании предложенных функциональных грамматик был построен метаязык и дано точное и адекватное описание таких языков, как Алгол-68, Лисп, Рефал.

Решены две основные проблемы компьютерной лингвистики: построение семантического языка, адекватного естественному языку, и перевод с русского языка на семантический. Полученные результаты позволяют решать принципиальные проблемы искусственного интеллекта, машинного перевода, представления знаний, создания экспертных и обучающих систем.

Результаты теоретических исследований опубликованы в монографиях и учебных пособиях.

Книги (2)

Компьютерная семантика русского языка

Книга посвящена решению одной из основных проблем современной информатики — проблемы семантического анализа текстов на русском языке.

Суть решения заключается в том, что семантический анализатор, используя морфологический и семантический словари, снимает с исходного текста оболочку русского языка и строит эквивалентный текст на семантическом языке. В книге описываются семантический язык, семантический словарь русского языка и приводится алгоритм семантического анализа.

Книга предназначена для студентов, аспирантов и специалистов в области информатики и искусственного интеллекта.

Языки представления знаний

Методы процессно-ориентированного программирования, в основе которых лежит принцип активизации исходной информации, применяются для построения класса языков представления знаний. Принцип активизации позволяет стереть грань между их декларативным и процедурным представлением. Предлагается конкретный язык этого класса и его реализация на языке Форт. Обсуждаются перспективы использования русского языка как языка представления знаний.

Для студентов и аспирантов, изучающих теоретические основы программирования, для специалистов в области информатики, для всех, кто интересуется перспективами развития вычислительных машин и языков представления сложно-организованной информации.

Добавить отзыв
Авторы сайта
Владимир Никонов & Георгий Ефимов
Библиотека «Куб»
Поддержать проектПодписаться