catodon: (default)
2015-11-27 09:13 pm

Онтологии: от философии к информатике. Часть седьмая, сравнительная

Продолжение серии постов об онтологиях.

Я уже писал о двух разных концепциях, используемых при создании логических моделей: гипотезах открытости и закрытости мира модели. Обе концепции используются как в повседневной жизни, так и в среде IT-специалистов, причем как раз последние, возможно, обнаружат в этом посте парочку сюрпризов.

Читать дальше... )
catodon: (default)
2015-11-18 10:11 pm

Онтологии: от философии к информатике. Часть шестая, дополняющая

Продолжение серии постов об онтологиях.

Кажется, я обещал в этот раз написать о конкретных языках для описания онтологий? Увы, я вас обманул. Перед тем, как углубиться в перечисление языков и их свойств, надо сначала рассказать, что эти свойства из себя представляют и что они означают на практике. Другими словами, как в итоге происходит работа с разными видами онтологических моделей. Основной упор в этой (а может и следующей) части я сделаю на две вещи:
  • Как вытащить из модели больше информации, чем мы заложили в нее напрямую?
  • Что означают концепции замкнутости и открытости мира для создания моделей?
Читать дальше... )
catodon: (default)
2015-08-28 10:51 pm

Онтологии: от философии к информатике. Часть пятая, концептуальная

Продолжение серии постов об онтологиях.

Когда я писал в предыдущих постах о базах знаний и о контекстных данных, используемых для инерпретации сообщений, я намеренно обходил тему конкретной формы представления этих знаний и данных, чтобы посвятить этой теме отдельный пост. Итак, у нас есть задача скинуть нелёгкий груз наших знаний в некоей области в недра бездушного компьютера, причём в "понятной" для него форме. Для этого нам надо сначала определиться сначала с математической моделью, на основании которой мы хотим строить наши логические структуры. После этого нам надо придумать форму представления (язык), которая позволит нам втиснуть знания в нашу модель, набивая текст/команды на клавиатуре.

Читать дальше... )
catodon: (default)
2015-07-31 12:48 pm

Онтологии: от философии к информатике. Часть четвертая, прикладная

Продолжение серии постов об онтологиях.

Те факторы, которые проблематичны уже в межчеловеческом общении, создают намного более серьёзные барьеры при обмене информацией между техническими процессами. В большинстве случаев при создании программ разработчики выбирают самый простой путь: они встраивают интерпретацию получаемых программой данных в процесс их обработки. К примеру, сервис, занимающийся поиском авиабилетов, получив от сервера авиакомпании значение [max_free_luggage=20], интерпретирует его как "максимальный вес бесплатного багажа в килограммах". Пассажир, чей багаж весит 25 кг, такой билет не купит, потому что не видит, что сервис проигнорировал второй, неизвестный ему параметр [max_luggage_pieces=2], означавший, что вышеуказанный вес был определён для каждого из двух включённых в цену чемоданов. Хуже, если пассажир купит билет, упакует 18-килограммовый чемодан и уже в аэропорту узнает, что максимальный вес был указан действительно за все чемоданы, но в фунтах. И если вы полагаете, что доплата за лишние 9 кг в этом случае - это мелочь, то подумайте о космическом аппарате NASA "Mars Climate Orbiter" стоимостью 125 миллионов долларов (это не считая стоимости исследовательских работ), который сгорел в марсианской атмосфере именно из-за того, что с Земли ему передали данные в британских единицах вместо метрических.

Читать дальше... )
catodon: (default)
2015-05-05 06:11 pm

Онтологии: от философии к информатике. Часть третья, метафизическая

Продолжение серии постов об онтологиях.

Ну вот мы и приблизились к понятию "онтология". Тут надо соблюдать крайнюю осторожность, иначе можно скатиться в такие глубины философии, из которых без порции хорошей "травы" выбраться будет очень затруднительно (те, кому довелось разбирать тексты Канта, наверняка меня поймут). Но сначала нам прийдётся вернуться почти на две с половиной тысячи лет назад.

Примерно в 380-х годах до нашей эры в священной роще Академос около Афин группа философов закладывала основные принципы, на которые опирается научное познание мира по сей день. И, надо сказать, давалось им это нелегко. Ведь недостаточно самому выйти на гениальную идею, надо еще и объяснить её другим философам и, желательно, записать её в понятной форме. При этом всех доступных нам сегодня общепринятых конструкций и методов тогда ещё не существовало.

Читать дальше... )
catodon: (default)
2015-05-01 02:21 pm

Онтологии: от философии к информатике. Часть вторая, научная

Продолжение серии постов об онтологиях.

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

Профессор Иванов делает на конференции доклад о свежеоткрытых его группой сепульках и их необычном свойстве сепуления под воздействием фактора снарка. На той же конференции присутствует доктор Петров, которых делает доклад о изучаемых на его кафедре бобриках, обладающих интересным качеством люкции при модификации параметра Хи Лао (китайский исследователь, описавший этот параметр 10 лет назад вне контекста "бобриков"). И вот к концу обоих докладов, слушателям становится совершенно ясно, что профессор Иванов и доктор Петров только что описывали одни и те же феномены. Внимание, вопрос: кто из исследователей откажется от собственной терминологии будет в дальнейшем употреблять общую? Правильно: никто. Выдумывать названия и писать определения чтобы потом все это забросить? Кстати, вполне возможно, что за неделю до этого на другой конференции все то же самое было представлено каким-нибудь Dr. Smith с использованием третьей конкурирующей терминологии.

Читать дальше... )
catodon: (default)
2015-04-29 10:42 am

Онтологии: от философии к информатике. Часть первая, неоднозначная

Первый пост из серии об онтологиях.

Вы всегда можете абсолютно точно понять вашего собеседника? А уверены вы, что собеседники всегда абсолютно точно понимают сказанное (или написанное) вами? В большинстве случаев (чаще, чем вам кажется) точная интерпретация невозможна. Источники проблемы есть самые разные:
  • Неоднозначные формулировки за счет многозначимости терминов (например, употребление омонимов).
  • Неточные значения: из высказывания "Петя уже взрослый" невозможно даже примерно определить возраст Пети.
  • Структурная многозначность: "казнить нельзя помиловать".
  • Привязка к контексту: например, старая шутка про набожную старушку и девушку, читающую книгу "Язык Ада"
  • ...и многое другое.
Действительно серьезной проблема становится, когда нужно передать или задокументировать именно точное значение. Пример - юриспурденция, где проблему испокон века пытаются ограничить (как показывает практика, зачастую неудачно) при помощи употребления специального жаргона, использующего специальные термины и сужение спектра значений общеупотребительных слов до минимума.

Читать дальше... )
catodon: (default)
2015-04-28 10:00 am

Онтологии: от философии к информатике. Часть нулевая, вводная

Мне как-то довелось делать доклад на тему "Semantic Technologies" с упором на применение методик логического представления знаний в практических целях. При подготовке всплыло много деталей, связанных с предысторией и с повседневными нетехническими проблемами. Все это совершенно невозможно было втиснуть в часовой доклад. Поэтому я решил описать это подробнее и выложить в ЖЖ, хотя бы в качестве тренировки стилистики и памяти :-)

Я не буду пытаться найти компромисс между общим и техническим уровнями описания. Вместо этого я разобью текст на несколько частей разного уровня, начиная от общепонятных исторических и философских (с примерами и анекдотами), кончая сугубо техническими, интересными исключительно для людей, занимающихся ИТ, но не сталкивавшихся до сих пор с онтологиями и не применявших их для решения конкретных проблем. Фокус описания будет постепенно смещаться с вопроса "Что это?" на "Зачем оно нужно?" и, в итоге, на "Как и где это использовать?"

К сожалению, большинство специальных терминов мне известны только в англоязычном варианте, поэтому я буду употреблять их там, где мне не удастся найти русские аналоги. Для более подробного ознакомления с темой также рекомендую начинать с англоязычной или немецкой Википедии (в этой области они значительно лучше проработаны, чем русский вариант) и использовать именно английские термины при поиске в Google Scholar.

И последнее: пруф-линки и сноски на статьи будут даваться в минимальном количестве (в основном, на Википедию), поскольку тексты не претендуют на абсолютную точность и полноту информации. Кроме того, затраченная работа никак не должна превышать полученного удовольствия, а процесс наведения порядка в сносках на литературу грозит нарушить этот баланс.

Все части будут публиковаться под общим тэгом "онтологии".