Comments | thpectrum: Против модальности

piongaibaryan in thpectrum

Против модальности

Jun 04, 2018 23:32

Контекст: обсуждение с ailev онтологического статуса "интереса".

Это пост-конспект, пост-слепок, без пояснений.

Давайте сначала побольше про модальность. Что такое вообще модальность? Если по-простому, то модальность - это такое "свойство" высказывания, которое сообщает нам о возможности, необходимости или невозможности того, о чем это высказывание. ( Read more... )

флейм, модальность, онтологика

Comments 9

vvagr June 4 2018, 21:59:58 UTC

Возможность или невозможность - это одна модальность, отрицание высказывания не меняет модальности (если она имеется).

vvagr June 4 2018, 22:07:26 UTC

Модальность "возможности" (квантор существования) действительно можно присвоить всем высказываниям по умолчанию. Если сущность Х упомянута, то Х где-то когда-то как-то существует.

Необходимость - это какая-то непонятная фигня. Есть модальность "данное высказывание истинно всегда". Для её выражения нужен квантор всеобщности.

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

О чём там спорить - мне не ясно.

piongaibaryan June 5 2018, 09:23:39 UTC

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

vvagr June 5 2018, 09:36:28 UTC

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

Насколько известно _на данный момент_ - это иная модальность, чем просто существование. Но это уже детали.

justy_tylor June 5 2018, 08:42:53 UTC

В тексте вы путаете модальности вообще и модальную логику (ранний пример расширения логики некоторыми модальностями). Любые "в 11:00", "с вероятностью 20%", "по мнению Васи" и иные модификаторы domain of discourse над логическим выражением - это тоже модальности, которые приходится поддерживать в разных информационных системах. Программисты и инженеры работают с этим, создают практические решения, когда общие (вроде поддержки temporal databases в SQL:2011), когда ad hoc ( ... )

piongaibaryan June 5 2018, 09:20:36 UTC

Я не путаю. Я понимаю, что можно засунуть и сказать, что это тоже модальности. Но натягивается некрасиво. В ISO 15926 где заменили модальности на факты и миры, что именно плохо выражается?

vvagr June 5 2018, 09:39:32 UTC

В 15926 декларировали наличие миров, но не дали инструментов работы с ними ни в одной из реализаций.

justy_tylor June 5 2018, 11:03:24 UTC

Не "можно засунуть", а "необходимо включить". Обоснования этого неоднократно приводятся у исследователей knowledge representation, вот хорошие примеры у МакКарти: http://www-formal.stanford.edu/jmc/modality/modality.html... )

ailev June 5 2018, 09:37:29 UTC

Помянутый в тексте контекст дискуссии -- вот тут: https://ailev.livejournal.com/1429330.html (раздел "интерес").