#семантика — Public Fediverse posts

Почему Хомский неудобен для AI-индустрии

О grammar constraints, валидном JSON и ошибочном понимании языка Кажется, что разговор о формальных грамматиках в LLM - это узкая инженерная тема для тех, кто заставляет модель соблюдать формат ответа. Но вокруг этого частного приема все чаще вырастает более сильный тезис: будто ограничение генерации не просто делает вывод надежнее, а подводит модель ближе к смыслу, пониманию и даже к самой природе языка. Именно в этот момент технический разговор перестает быть только инженерным.

https://habr.com/ru/articles/1027916/

#llm #grammar_constrained_decoding #structured_output #NLP #Хомский #искусственный_интеллект #синтаксис #семантика

Семантика в IT: почему нас бесят удобные программы

В центре всего стоит UX (User Experience). Все говорят про UX. UX - это святое. UX - это цель. UX - это путь. Да и, в конце-то концов, UX - это то, за что мы платим (или не совсем) деньги и прощаем недостатки. Но, если копнуть глубже, возникает вопрос: «А из чего, собственно, состоит UX?» Ответы обычно примитивны: из интерфейса, удобства, скорости, привычности. Но, чувствуете, чего‑то не хватает? Есть системы с красивым интерфейсом, которые бесят. Есть и такие, «некрасивые», к которым возвращаешься снова и снова.

https://habr.com/ru/articles/1005228/

#UX #UI #семантика #пользовательский_опыт #дизайн #продукт #интерфейс #программирование #ахитектура_ПО #холивар

Семантика в IT: почему нас бесят удобные программы

В центре всего стоит UX (User Experience). Все говорят про UX. UX - это святое. UX - это цель. UX - это путь. Да и, в конце-то концов, UX - это то, за что мы платим (или не совсем) деньги и прощаем недостатки. Но, если копнуть глубже, возникает вопрос: «А из чего, собственно, состоит UX?» Ответы обычно примитивны: из интерфейса, удобства, скорости, привычности. Но, чувствуете, чего‑то не хватает? Есть системы с красивым интерфейсом, которые бесят. Есть и такие, «некрасивые», к которым возвращаешься снова и снова.

https://habr.com/ru/articles/1005228/

#UX #UI #семантика #пользовательский_опыт #дизайн #продукт #интерфейс #программирование #ахитектура_ПО #холивар

Семантика в IT: почему нас бесят удобные программы

В центре всего стоит UX (User Experience). Все говорят про UX. UX - это святое. UX - это цель. UX - это путь. Да и, в конце-то концов, UX - это то, за что мы платим (или не совсем) деньги и прощаем недостатки. Но, если копнуть глубже, возникает вопрос: «А из чего, собственно, состоит UX?» Ответы обычно примитивны: из интерфейса, удобства, скорости, привычности. Но, чувствуете, чего‑то не хватает? Есть системы с красивым интерфейсом, которые бесят. Есть и такие, «некрасивые», к которым возвращаешься снова и снова.

https://habr.com/ru/articles/1005228/

#UX #UI #семантика #пользовательский_опыт #дизайн #продукт #интерфейс #программирование #ахитектура_ПО #холивар

Семантика в IT: почему нас бесят удобные программы

В центре всего стоит UX (User Experience). Все говорят про UX. UX - это святое. UX - это цель. UX - это путь. Да и, в конце-то концов, UX - это то, за что мы платим (или не совсем) деньги и прощаем недостатки. Но, если копнуть глубже, возникает вопрос: «А из чего, собственно, состоит UX?» Ответы обычно примитивны: из интерфейса, удобства, скорости, привычности. Но, чувствуете, чего‑то не хватает? Есть системы с красивым интерфейсом, которые бесят. Есть и такие, «некрасивые», к которым возвращаешься снова и снова.

https://habr.com/ru/articles/1005228/

#UX #UI #семантика #пользовательский_опыт #дизайн #продукт #интерфейс #программирование #ахитектура_ПО #холивар

SemantML. Семантическая нейродинамика

Введение: Кризис смысла в эпоху больших данных Начну немножко издалека. Мы живем в парадоксальное время. Искусственный интеллект окружает нас повсюду: он пишет тексты, рисует картины, решает сложные задачи. Но за этим фасадом цифрового всемогущества скрывается фундаментальная, почти метафизическая проблема: наши самые продвинутые модели не понимают ровным счетом ничего. Те, кто сколько-либо погружен в сферу ML, это прекрасно знают. Представьте библиотеку, где каждый книга идеально описана, проиндексирована и взаимосвязана, но нет ни одного читателя, способного понять смысл написанного. Это - точная метафора современного ИИ. GPT-4, Gemini, Claude - это блестящие имитаторы, статистические попугаи, оперирующие символами без малейшего представления об их значении. Они могут рассуждать о физических явлениях, но не понимать их, анализировать метафоры, но не схватывают их суть, генерировать тексты о боли и радости, оставаясь абсолютно пустыми внутри. Этот разрыв между формой и содержанием, между синтаксисом и семантикой, является последним крупным барьером на пути к настоящему искусственному интеллекту. Но, возможно, есть решение как это обойти. Что если вместо того, чтобы заставлять машины имитировать мышление, создать для них среду, где мышление возникает естественно - как возникают волны в океане или мысли в человеческом мозге? SemantML: От статистики к семантической нейродинамике Хочу вас познакомить с проектом под названием SemantML - радикально новый подход к созданию ИИ, который отказывается от парадигмы "обучения на текстах" в пользу "мышления в смыслах". Гипотеза проста и одновременно нова: сознание - это не алгоритм, а динамический процесс в семантическом пространстве, и чтобы создать искусственный разум, нужно сначала создать для него "дом" - среду, где могут рождаться и взаимодействовать смыслы.

https://habr.com/ru/articles/964834/

#ии #семантика #нейросети #машинное_обучениe #python #физическая_модель #волновая_функция #нейродинамика

Фрактальная логика и битва нейросетей за семантику

Это история о попытке создать новую логику. О попытке, рожденной в эпоху, когда фракталы Мандельброта казались ключом ко всей природе. Я, логик по образованию, увидел аналогию: если математические "монстры" оказались фракталами, то, может быть, логические парадоксы — это тоже фракталы? Я построил концепцию, где смысл — не точка, а процесс, бесконечный и самоподобный. Но концепция осталась без семантики. И тогда я решил устроить суд Божий: я дал свою книгу двум арбитрам — искусственным интеллектам. Я ожидал диалога, но получил войну. Qwen, стремясь к формализации, строил сложные системы. DeepSeek, как строгий судья, разрушал их одну за другой, обвиняя в "иллюзии формальности" и "магии". В этой битве не было победы. Но из обломков моей идеи родилось нечто ценное: понимание того, что истина в сложности не в построении новой системы, а в способности видеть старые проблемы по-новому. Это — отчет с поля боя за семантику.

https://habr.com/ru/articles/940732/

#логика #семантика #фракталы #фрактальные_свойства #фрактальная_геометрия_природы #фрактальные_алгоритмы #парадоксы #парадокс #мандельброт #логические_схемы

Фрактальная логика и битва нейросетей за семантику

Это история о попытке создать новую логику. О попытке, рожденной в эпоху, когда фракталы Мандельброта казались ключом ко всей природе. Я, логик по образованию, увидел аналогию: если математические "монстры" оказались фракталами, то, может быть, логические парадоксы — это тоже фракталы? Я построил концепцию, где смысл — не точка, а процесс, бесконечный и самоподобный. Но концепция осталась без семантики. И тогда я решил устроить суд Божий: я дал свою книгу двум арбитрам — искусственным интеллектам. Я ожидал диалога, но получил войну. Qwen, стремясь к формализации, строил сложные системы. DeepSeek, как строгий судья, разрушал их одну за другой, обвиняя в "иллюзии формальности" и "магии". В этой битве не было победы. Но из обломков моей идеи родилось нечто ценное: понимание того, что истина в сложности не в построении новой системы, а в способности видеть старые проблемы по-новому. Это — отчет с поля боя за семантику.

https://habr.com/ru/articles/940732/

#логика #семантика #фракталы #фрактальные_свойства #фрактальная_геометрия_природы #фрактальные_алгоритмы #парадоксы #парадокс #мандельброт #логические_схемы

Фрактальная логика и битва нейросетей за семантику

Это история о попытке создать новую логику. О попытке, рожденной в эпоху, когда фракталы Мандельброта казались ключом ко всей природе. Я, логик по образованию, увидел аналогию: если математические "монстры" оказались фракталами, то, может быть, логические парадоксы — это тоже фракталы? Я построил концепцию, где смысл — не точка, а процесс, бесконечный и самоподобный. Но концепция осталась без семантики. И тогда я решил устроить суд Божий: я дал свою книгу двум арбитрам — искусственным интеллектам. Я ожидал диалога, но получил войну. Qwen, стремясь к формализации, строил сложные системы. DeepSeek, как строгий судья, разрушал их одну за другой, обвиняя в "иллюзии формальности" и "магии". В этой битве не было победы. Но из обломков моей идеи родилось нечто ценное: понимание того, что истина в сложности не в построении новой системы, а в способности видеть старые проблемы по-новому. Это — отчет с поля боя за семантику.

https://habr.com/ru/articles/940732/

#логика #семантика #фракталы #фрактальные_свойства #фрактальная_геометрия_природы #фрактальные_алгоритмы #парадоксы #парадокс #мандельброт #логические_схемы

Фрактальная логика и битва нейросетей за семантику

Это история о попытке создать новую логику. О попытке, рожденной в эпоху, когда фракталы Мандельброта казались ключом ко всей природе. Я, логик по образованию, увидел аналогию: если математические "монстры" оказались фракталами, то, может быть, логические парадоксы — это тоже фракталы? Я построил концепцию, где смысл — не точка, а процесс, бесконечный и самоподобный. Но концепция осталась без семантики. И тогда я решил устроить суд Божий: я дал свою книгу двум арбитрам — искусственным интеллектам. Я ожидал диалога, но получил войну. Qwen, стремясь к формализации, строил сложные системы. DeepSeek, как строгий судья, разрушал их одну за другой, обвиняя в "иллюзии формальности" и "магии". В этой битве не было победы. Но из обломков моей идеи родилось нечто ценное: понимание того, что истина в сложности не в построении новой системы, а в способности видеть старые проблемы по-новому. Это — отчет с поля боя за семантику.

https://habr.com/ru/articles/940732/

#логика #семантика #фракталы #фрактальные_свойства #фрактальная_геометрия_природы #фрактальные_алгоритмы #парадоксы #парадокс #мандельброт #логические_схемы

Почему алгоритм плохо защищает от социальной инженерии: мысленный эксперимент в мире кантианцев-манипуляторов

Что, если самые надёжные системы защиты — двухфакторная аутентификация, тренинги по социнженерии, чёрные списки — на самом деле работают против нас? Что если каждое новое правило, каждый баннер «Осторожно, фишинг!» не укрепляет безопасность, а формирует в пользователе постоянное ощущение угрозы — и делает его уязвимее? Представьте мир, где все действуют разумно: логично, автономно, добродетельно. И при этом хладнокровно убивают или манипулируют, потому что их «добродетель» проходит тест на всеобщность. В этом мысленном эксперименте формальная логика не спасает от морального кошмара. Алгоритм не различает помощь и манипуляцию — он видит синтаксис, но не смысл. А настоящая битва идёт не за пароли, а за интерпретацию. Где проходит грань между заботой и контролем? Когда доверие становится оружием? Чтобы увидеть эти ловушки, нужен не просто код, а взгляд гуманитария. Иначе мы будем строить идеальные системы, в которых человек постепенно перестаёт быть субъектом.

https://habr.com/ru/articles/937510/

#безопасность #безумие #безопасность_в_сети #семантика #логика #синтаксис #синтаксический_анализ #социальная_инженерия #этика

Будущее ИИ — формальные грамматики

Почему даже самая мощная LLM иногда выдаёт бессмысленные фразы и противоречия? Всё дело в экспоненциальном росте вариантов (N^M) и свободном копировании человеческих ошибок. Читайте статью, чтобы узнать, как мы с помощью формальных грамматик превращаем хаотичную генерацию в управляемый синтез, усиливая роль семантики и соблюдая структурные правила.

https://habr.com/ru/companies/postgrespro/articles/922260/

#формальные_языки #формальные_грамматики #guided_decoding #xgrammar #sql_generator #vllm #формальные_языки_и_грамматики #синтаксис #семантика #llm

Верстка для ленивых: как перестать бояться CSS и начать верстать как супергерой

Развалившийся макет, сломанные кнопки и тестировщик, отправляющий бесконечные баг-репорты... Знакомая боль? Вёрстка может быть не кошмаром, а крепостью, если подойти к ней с умом. В этом гайде — проверенные принципы, которые помогут вам делать гибкую и устойчивую вёрстку, способную пережить любые изменения контента и дизайна.

https://habr.com/ru/articles/889960/

#CSS #верстка #frontend #адаптивность #семантика #оптимизация #анимации #доступность #производительность #ui_ux

Интегральная статистика: любой маркетолог и продакт отдаст за это душу

Как сделать глубокую статистику, которая позволит выявить определенные шаблоны в восприятии и поведении людей?

https://habr.com/ru/articles/849672/

#аналитика #семантика #семантика_сайта #статистический_анализ #клиенты #product_management #seo #seoаналитика #маркетинг #маркетинговая_стратегия

Онтология и семантика

Хайп? Философия? Повседневность? Будущее? Давайте разбираться. TL;DR: Онтология в IT - это способ структурировать знания о мире в виде связанных категорий и их свойств. Например, в онтологии "Игры престолов" есть категории "дома", "персонажи" и связи между ними. Когда мы наполняем онтологию реальными данными, получается граф знаний. Семантический слой - это более абстрактное понятие, включающее все способы придания смысла данным. Вместе они помогают ИИ-системам лучше понимать контекст и давать более точные ответы. Динамические онтологии используются для выявления скрытых связей в больших объемах данных, что помогает принимать более обоснованные бизнес-решения.

https://habr.com/ru/articles/848274/

#онтология #семантика #графы

Semantic BPM. Онтологическое моделирование верхнеуровневых процессов. VAD

Введение Представление моделей бизнес-процессов на основе онтологий (онтологическое моделирование) эквивалентно Semantic BPM . Введение в семантический BPM (Business Process Management) см. «Semantic BPM. Семантика и синтаксис бизнес-процессов» [semBPM24]. Если кратко, то можно провести аналогию: если классическая BPM система (BPMS: ARIS, бизнес-студия, fox-manager и т.п.) – это технологический аналог mediawiki (wikipedia), то Semantic BPM - это технологический аналог semantic mediaWiki (Wikidata), т.е. IF MediaWiki --> Semantic MediaWiki then BPM (ARIS, BPMS, EA) --> Semantic BPM Основной замысел (цель) семантического представления процессов (BPM, EA) не классическими BPM-системами, а семантическими (Linked Data) - такой же, как и у семантических wiki Одно из ключевых дополнений к wiki-гиперссылки (html) это указание не просто что «ОбъектА связан с ОбъектомБ» (т.е. просто «связано») и соответствующий кликабельный переход (wiki-ссылки, markdown syntax), а указание, что «ОбъектА связан с ОбъектомБ» такими-то типом отношения (впрочем, как и задание других свойств объекта через отношения). Изначально все BPMS (изначально называемые CASE-средствами) – семантические, т.к. их суть – это отношения между объектами, только в них семантика глубоко спрятана «под капотом» BPMS и нестандартная (собственная, проприетарная). Semantic BPM «поднимает» семантическую составляющую на поверхность (возможность работы с семантическим слоем) и использует стандартные сематические технологии Linked Data. В основе RDF (Resource Description Framework) – триплеты «субъект – отношение - объект» лежит ERD: Entity Relationship (ER) diagram . RDF \ ERD – это способ формализации знаний на основе атома знания – триплета. Вообще ER, subject, predicate, типы рассуждений и другие базовые элементы для работы со знаниями в СССР содержались в школьных учебниках [Логика54].

https://habr.com/ru/articles/828266/

#семантика #онтология #aris #bpm #bpms #semantic_bpm #vad #rdf #enterprise_architecture

Open Research Knowledge Graph: новый подход к научной коммуникации

На сегодняшний день для представления и обмена результатами исследований мы используем методы, которые были разработаны много веков назад. С момента зарождения современной науки (публикации первого научного журнала "Transactions of the Royal Philosophical Society", 1665 г.) мы используем все тот же метод передачи научных знаний – статьи. Немецкая национальная научно-техническая библиотека TIB и исследовательский центр L3S при Университете Лейбница в Ганновере изобретают новый подход к научной коммуникации. Вместо того чтобы представлять исследования в виде статичных PDF файлов, они работают над динамическим графом знаний - Open Research Knowledge Graph , где научные идеи, подходы и методы представлены в структурированном машиночитаемом формате.

https://habr.com/ru/articles/796553/

#научные_статьи #граф_знаний #открытые_данные #научная_коммуникация #семантика

Semantic BPM. Семантика и синтаксис бизнес-процессов

Онтологический инжиниринг в области Управления бизнес-процессами (BPM). Семантический BPM (Business Process Management), впрочем, как и семантический ЕА (Enterprise Architecture), – это заимствование концепций (подходов к описанию и онтологизации) \ инструментов Linked Data к указанным направлениям (формализация процессов и архитектур предприятий). «Красная нить»: когда мы формализуем процессы - мы говорим об одном и том же, но на разных языках (нотациях), поэтому стандартизация Языка семантики, онтологических концептов BPM (EA) – важная, но еще недостаточно популяризированная составляющая развития BPM (следующий этап, ВРМ 3.0). Отделение («мух от котлет») семантики от синтаксиса позволит «рафинировать» понятийный (смысловой) анализ бизнес-процессов и при их аналитике оперировать базовыми (семантическими) концептами (образами). В Semantic BPM, как и в Semantic Web (семантическая паутина), смысл представленного процесса \ архитектуры понятен не только человеку, но и машинам и они могут его читать и обрабатывать. Эти смыслы, обычно передаваемые «человек – человек» на языке синтаксиса / графической грамматики через нотации VAD, EPC, BPMN, UML (плюс еще несколько десятков подобных вариантов \ форматов «обертывания», включая Дракон), исходно формализуются на языке семантики (стек Linked Data или аналогичный) и уже потом упаковываются в схемы с конкретной нотацией («пишутся» на языке какой-либо нотации). Для единого понимания смысловой составляющей схем применяется общая ВРМ-онтология, толковый словарь ВРМ.

https://habr.com/ru/articles/795883/

#семантика #онтология #aris #bpm #Semantic_BPM #epc #bpms #semantic_web #enterprise_architecture #rdf

<dl> или <table>? Исследуем подходы к представлению пар ключ-значение в HTML

Казалось бы, простая задача - сверстать список пар ключ-значение. Бери <div> и делай. Но что, если захотелось подушнить ? Этим и займёмся в статье... Рассмотрим три подхода к решению этой задачи: <div> , <dl>, <dt>, и <dd> , и <table> . Обсудим преимущества, недостатки и примеры. Цель - помочь выбрать наиболее подходящий подход для конкретной задачи.

https://habr.com/ru/articles/782622/

#html #accessibility #семантика #div #dl_dt_dd #table #скринридер #душнилы

[Перевод] Предварительная оценка вероятности наличия уязвимостей в программах с учетом семантики средствами нейронных сетей (1/3)

Полное название: Предварительная оценка вероятности наличия уязвимостей в программах в двоичном представлении с учетом семантики средствами нейронных сетей. Часть 2 Часть 3 Предварительная оценка вероятности наличия уязвимостей (vulnerability prediction, VP) в бинарных программах с использованием статического анализа является популярной темой исследований. Традиционные методы VP основаны на применении шаблонов уязвимостей, которые требуют трудоемкой разработки шаблонов уязвимостей силами экспертами по безопасности. Развитие искусственного интеллекта (ИИ) открыло новые возможности для VP. Нейронные сети позволяют обучать шаблоны уязвимостей автоматически. Тем не менее, в современных исследованиях рассматриваются только один или два типа функций и используются традиционные модели, например, word2vec, которые не учитывают большое количество информации на уровне инструкций. В этой статье предлагается модель SAViP для VP в бинарных программах.

https://habr.com/ru/companies/stc_spb/articles/774406/

#нейросети #семантика #уязвимости #вероятность #vulnerability_prediction #SAViP #эмбеддинги #безопасность_по #фаззингтестирование

[Перевод] Предварительная оценка вероятности наличия уязвимостей в программах с учетом семантики средствами нейронных сетей (2/3)

Полное название: Предварительная оценка вероятности наличия уязвимостей в программах в двоичном представлении с учетом семантики средствами нейронных сетей. Часть 1 Часть 3 Предварительная оценка вероятности наличия уязвимостей (vulnerability prediction, VP) в бинарных программах с использованием статического анализа является популярной темой исследований. Традиционные методы VP основаны на применении шаблонов уязвимостей, которые требуют трудоемкой разработки шаблонов уязвимостей силами экспертами по безопасности. Развитие искусственного интеллекта (ИИ) открыло новые возможности для VP. Нейронные сети позволяют обучать шаблоны уязвимостей автоматически. Тем не менее, в современных исследованиях рассматриваются только один или два типа функций и используются традиционные модели, например, word2vec, которые не учитывают большое количество информации на уровне инструкций. В этой статье предлагается модель SAViP для VP в бинарных программах.

https://habr.com/ru/companies/stc_spb/articles/774518/

#нейросети #семантика #уязвимости #вероятность #vulnerability_prediction #SAViP #эмбеддинги #фаззингтестирование