Качества и их модальности
Ещё немного вдохновения по мотивам чтения McCarthy Modality, si! Modal logic, no!.
1. Такие разные качества.
Если взять качество автомобиля серийный_номер_двигателя, то на первый взгляд оно как-то онтологически связано с наличием самого двигателя в автомобиле и качества серийный_номер у него. В реальности прямой связи нет.
Наличие значения серийный_номер_двигателя для данного автомобиля в момент времени T не означает существования двигателя с данным номером в автомобиле, его существования вообще, и даже существования автомобиля как завершённой сборки.
Есть виды деятельности, в ходе которых по наличию двигателя может устанавливаться серийный_номер_двигателя (в документах/базе), или по наличию серийника устанавливаться двигатель в машину (физически). Модальность для серийный_номер_двигателя при этом может быть requirement, promise, какая либо ещё, но даже при этом нет чётких определений, promise чего и кем. Качества не взаимозаменяемы, и даже не являются разными view, это просто разные ситуации.
2. Сферическая модальность в вакууме или...
Модальности не возникают сами по себе, ими кто-то наделяет. Возможны: "требуется стандартом $(name)". "гарантируется производителем", "предлагается компанией $(name)", etc. Часто это упрощают и остаётся лишь requirement. Если в системе только один агент может наделять модальностями, то такое упрощение будет работать (и для кодирования модальности достаточно Status из ISO 15926-2). Но при появлении второго агента всё сломается. Нужны средства для полноценного кодирования модальностей.
3. Каталоги.
Ещё одна интересная точка соприкосновения модальностей - каталоги оборудования, запчастей и иных предметов/сервисов. Что из указываемого в них относится к модальности promise от производителя (диапазон рабочих температур), а что к offer от поставщика (цена) - требует отдельного рассмотрения. Однако, заведомо известно, что декларируемые производителем качества не эквивалентны реальным. Срок годности и те же диапазоны рабочих температур принято ставить меньше (что в ряде случаев регулируется отдельными стандартами/регламентами), а другие харатеристики наоборот могут быть завышены недобросовестными маркетологами.
Как следствие - нельзя моделировать каталоги с использованием стандартных шаблонов ISO 15926-7 (PropertyRangeMagnitudeRestrictionOfClas s, ...). Помимо этого, понадобится упомянутая ранее многоагентность.
1. Такие разные качества.
Если взять качество автомобиля серийный_номер_двигателя, то на первый взгляд оно как-то онтологически связано с наличием самого двигателя в автомобиле и качества серийный_номер у него. В реальности прямой связи нет.
Наличие значения серийный_номер_двигателя для данного автомобиля в момент времени T не означает существования двигателя с данным номером в автомобиле, его существования вообще, и даже существования автомобиля как завершённой сборки.
Есть виды деятельности, в ходе которых по наличию двигателя может устанавливаться серийный_номер_двигателя (в документах/базе), или по наличию серийника устанавливаться двигатель в машину (физически). Модальность для серийный_номер_двигателя при этом может быть requirement, promise, какая либо ещё, но даже при этом нет чётких определений, promise чего и кем. Качества не взаимозаменяемы, и даже не являются разными view, это просто разные ситуации.
2. Сферическая модальность в вакууме или...
Модальности не возникают сами по себе, ими кто-то наделяет. Возможны: "требуется стандартом $(name)". "гарантируется производителем", "предлагается компанией $(name)", etc. Часто это упрощают и остаётся лишь requirement. Если в системе только один агент может наделять модальностями, то такое упрощение будет работать (и для кодирования модальности достаточно Status из ISO 15926-2). Но при появлении второго агента всё сломается. Нужны средства для полноценного кодирования модальностей.
3. Каталоги.
Ещё одна интересная точка соприкосновения модальностей - каталоги оборудования, запчастей и иных предметов/сервисов. Что из указываемого в них относится к модальности promise от производителя (диапазон рабочих температур), а что к offer от поставщика (цена) - требует отдельного рассмотрения. Однако, заведомо известно, что декларируемые производителем качества не эквивалентны реальным. Срок годности и те же диапазоны рабочих температур принято ставить меньше (что в ряде случаев регулируется отдельными стандартами/регламентами), а другие харатеристики наоборот могут быть завышены недобросовестными маркетологами.
Как следствие - нельзя моделировать каталоги с использованием стандартных шаблонов ISO 15926-7 (PropertyRangeMagnitudeRestrictionOfClas