Онтологический подход к построению формальных семантик ЯП - Игорь Ануреев - Семинар AGI

Онтологический подход к построению формальных семантик языков программирования - Ануреев Игорь Сергеевич (кандидат физико-математических наук, старший научный сотрудник Института систем информатики им. А.П. Ершова СО РАН и доцент Новосибирского государственного университета) Семинар русскоязычного сообщества AGI 8 октября 2026 В докладе изложена идея онтологического подхода к построению операционной и аксиоматической семантик языков программирования, а также представлен предметно-ориентированный язык ABML (Attribute Based Modelling Language), реализующий этот подход на практике. - https://www.mais-journal.ru/jour/article/view/2090 - ДРАКОН-Схема, https://ru.wikipedia.org/wiki/%D0%94%D0%A0%D0%90%D0%9A%D0%9E%D0%9D - Unifying Theories of Programming, C.A.R. Hoare, He Jifeng, 1998, https://en.wikipedia.org/wiki/Unifying_Theories_of_Programming --- Смотрим видео в ВК https://vk.com/video/@agirussia на RUTUBE https://rutube.ru/channel/24279932/ на YouTube https://www.youtube.com/siberai и в Telegram https://t.me/agitopics/53344/53347 Мы ведем группы и организуем семинары русскоязычного сообщества разработчиков систем AGI (Artificial General Intelligence или Общий Искусственный Интеллект) или Strong AI (Сильный Искусственный Интеллект), а также - являющийся их частным случаем HLAI (Human-Level Artificial Intelligence или Искусственный Интеллект Человеческого Уровня). https://agirussia.org/ Группы: https://t.me/agirussianews (новостной канал) https://t.me/agirussia (основная) https://t.me/agitopics (различные темы по группам) https://t.me/agibots (разговорный интеллект) https://t.me/agifintech (финансовые технологии) https://t.me/collectivei (коллективный интеллект) https://vk.com/agirussia (основная) https://www.facebook.com/groups/agirussia (основная) https://www.facebook.com/groups/socialintelligence (коллективный интеллект) https://groups.google.com/g/agirussia (рассылка) Онлайн-семинары идут по средам или четвергам, в 17:00 или 18:00 по Московскому времени. Продолжительность два часа, обычно это либо доклад на один-полтора часа и последующее обсуждение на полчаса-час либо круглый стол с регламентом на усмотрение модератора дискуссии. Технические средства проведения, регламент и модерацию обычно обеспечивает инициатор конкретного семинара либо спикер и его коллеги. Регистрация на семинары (внизу страницы): https://aigents.timepad.ru/event/1412596