Skip to content
Зарегистрируйтесь, чтобы получить доступ к полной версии курса.

Отношения между объектами как причина дребезга

Одна из основных причин появления онтологического дребезга --- это выраженное в языке нарушение отношений между объектами. Объекты связываются друг с другом отношениями согласно своим типам (уровень мета-мета-модели) и тому как построена мета-модель. Если что-то из этого нарушается, то объект выглядит «не на своем месте» и ощущается дискомфортным.

Например, вы знаете, что один объект типа «физический объект» может быть истинной частью другого объекта типа «физический объект», но не может быть истинной частью объекта типа «класс», потому что классы, согласно нашей верхнеуровневой онтологии, вступают в другие отношения иерархий --- например, у них есть экземпляры.

Виды отношений, которые уже упоминались раньше:

Иерархии

  • Часть --- целое (является истинной частью --- включает в себя)
  • Класс --- экземпляр класса (является экземпляром класса --- является обобщением для подобных объектов/включает в себя как класс)
  • Надкласс --- подкласс (является подклассом --- является надклассом)

Язык и мета-язык, репрезентация, толкование

«Является мета-языком по отношению к Х», и более общее «описывается в»;

«является инструкцией по интерпретации Х, где Х имеет тип 'описание'».

Например: «это документация к коду Х», или «в этом документе описан язык программирования Z», или «вы можете увидеть инструкцию, как читать эту книгу, в начале книги».

«читает» или «толкует», «переводит в формат Х», что подразумевает указание известного формата.

Например: «переводит в csv».

Агент и роль

«Агент играет роль».

Например: «Вася --- программист [в проекте] Х».

И более общее отношение занятия функционального места в системе:

Функция и объект, который ее исполняет

«Объект выполняет функцию».

Например: «Этот камень имеет функцию забивало».

Эпистемические отношения

«Верить в» и «допускать, что». Это про эпистемический статус (можно применять только к агенту).

Например:

«Я верю, что небо синее».

«Я допускаю, что небо синее».

Это --- отношения агента с убеждением «небо синее».

Отношения предпочтения

«Хотелось бы, чтобы» и «обязательно нужно, чтобы». Это про предпочтения (можно применять и к агенту, и к роли).

Например:

«Мне бы хотелось, чтобы небо было синим».

«Мне обязательно нужно, чтобы небо было синим».

Это --- отношения агента с предпочтением о небе.

Произвольные отношения

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

Выраженные сравнением.

Например: в этом году прибыль больше [чем в прошлом].

Выраженные действием.

Например: в этом году прибыль выросла.