Семантика и прагматика НЕ-факторов в концептуальной модели экспертных знаний
Выделены и исследованы виды НЕ-факторов, имеющие проявления в моделях систем экспертных знаний, которыеотражают концептуально различные точки зрения на предметную область принятия решений. Дано их семантическоеопределение посредством предикатов и метрик специальных отношений между элементами концепт...
Збережено в:
| Дата: | 2007 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут проблем математичних машин і систем НАН України
2007
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/767 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Семантика и прагматика НЕ-факторов в концептуальной модели экспертных знаний / Ильина Е.П. // Математическиемашины и системы. – 2007. – № 1. – С. 93 – 98. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1859727830601957376 |
|---|---|
| author | Ильина, Е.П. |
| author_facet | Ильина, Е.П. |
| citation_txt | Семантика и прагматика НЕ-факторов в концептуальной модели экспертных знаний / Ильина Е.П. // Математическиемашины и системы. – 2007. – № 1. – С. 93 – 98. |
| collection | DSpace DC |
| description | Выделены и исследованы виды НЕ-факторов, имеющие проявления в моделях систем экспертных знаний, которыеотражают концептуально различные точки зрения на предметную область принятия решений. Дано их семантическоеопределение посредством предикатов и метрик специальных отношений между элементами концептуальной модели.Описана прагматика НЕ-факторов, связывающая их с функциями аналитического сопровождения экспертиз. Ил.: 1.Библиогр.: 4 назв.
Виявлені та досліджені види НЕ-факторів, проявлених у моделях систем експертних знань, що відображують концептуальнорізні точки зору на предметну область прийняття рішень. Надано їх семантичне визначення за допомогою предикатів таметрик спеціальних відношень між елементами концептуальної моделі. Описано прагматику НЕ-факторів, яка пов’язує їх ізфункціями аналітичного супроводу експертиз. Іл.: 1. Бібліогр.: 4 назв.
The kinds of UN-factors showing their manifestations in the expert knowledge systems reflecting the conceptually differentviewpoints on the decision making area are distinguished and investigated. Their semantic definition by means of predicates andmetrics for the special type relations of the conceptual model elements is developed. The description of pragmatics of UN-factorswhich connects them with the functions of the analytical supporting of expertize is given. Fig.: 1. Refs.: 4 titles.
|
| first_indexed | 2025-12-01T11:52:27Z |
| format | Article |
| fulltext |
ISSN 1028-9763.Математичні машини і системи, 2007, № 1
93
УДК 681.3
Е.И. ИЛЬИНА
СЕМАНТИКА И ПРАГМАТИКА НЕ-ФАКТОРОВ В КОНЦЕПТУАЛЬНОЙ МОДЕЛИ
ЭКСПЕРТНЫХ ЗНАНИЙ
Abstract: The kinds of UN-factors showing their manifestations in the expert knowledge systems reflecting the
conceptually different viewpoints on the decision making area are distinguished and investigated. Their semantic
definition by means of predicates and metrics for the special type relations of the conceptual model elements is
developed. The description of pragmatics of UN-factors which connects them with the functions of the analytical
supporting of expertize is given.
Key words: ontology, conceptual model, UN-factor, expertize, participatory decision making.
Анотація: Виявлені та досліджені види НЕ-факторів, проявлених у моделях систем експертних знань, що
відображують концептуально різні точки зору на предметну область прийняття рішень. Надано їх
семантичне визначення за допомогою предикатів та метрик спеціальних відношень між елементами
концептуальної моделі. Описано прагматику НЕ-факторів, яка пов’язує їх із функціями аналітичного
супроводу експертиз.
Ключові слова: онтологія, концептуальна модель, НЕ-фактор, експертиза, партисипативне прийняття
рішень.
Аннотация: Выделены и исследованы виды НЕ-факторов, имеющие проявления в моделях систем
экспертных знаний, которые отражают концептуально различные точки зрения на предметную область
принятия решений. Дано их семантическое определение посредством предикатов и метрик специальных
отношений между элементами концептуальной модели. Описана прагматика НЕ-факторов, связывающая
их с функциями аналитического сопровождения экспертиз.
Ключевые слова: онтология, концептуальная модель, НЕ-фактор, экспертиза, партисипативное
принятие решений.
1. Введение
Термин НЕ-факторы был введен А.Нариньяни [1] для обозначения свойств знаний,
противоположных тем, которые декларируются в традиционных системах их организации
(НЕточности, НЕполноты, НЕопределенности, НЕкорректности и др.). При этом отмечалось
главенство рассмотрения прагматики такого фактора (особенностей естественного знания,
приводящих к таким свойствам знания формального) по отношению к построению его формальной
семантики.
Проблематика категоризации, формализации и конструктивного анализа НЕ-факторов
приобретает особое значение при построении онтологической поддержки процессов
аналитического сопровождения экспертиз, использующих концептуально различные точки зрения
iVP на предметную область принятия решений (ПрО) [2].
2. Формализация НЕ-факторов при онтологической поддержке партисипативного принятия
решений
Методы использования онтологий ведомственных и профессиональных концепций знаний о ПрО
принимаемых решений предложены в [2] для повышения эффективности решения циклически
возникающих взаимопреемственных проблем при реализации партисипативного подхода к
принятию решений.
Критериями эффективности являются полнота учета имеющихся знаний, мнений и данных;
согласованное агрегирование индивидуальных мнений; обоснованность результата; приемлемость
времени и трудоемкости процессов решения; повторная используемость выявленных мнений.
Проблема рассматривается как кортеж
ISSN 1028-9763.Математичні машини і системи, 2007, № 1 94
,QP S= ,CS ,VS ,S Τ MS , (1)
где QS – проблемный вопрос, задающий входные и выходные понятия и исходные данные;
CS – контекст решения, определяющий источники справочной, нормативной и
методической информации, а также ограничения, в которых должна решаться проблема;
VS – верификационное поле, определяющее множество концептов ПрО, сопоставление с
которыми позволяет судить о приемлемости полученного результата;
S Τ – технология решения, включающая состав экспертной группы (ЭГ), а также способ
выработки индивидуальных и обобщенных мнений;
MS – карта экспертизы, содержащая индивидуальные и обобщенные мнения вместе с их
свойствами, в составе, определенном технологией S Τ .
Первая тройка элементов определяет постановку P. Гармонизация концептуальных
представлений ее элементов в различных VP , осуществляемая в рамках семейства их онтологий
с позиций системы когнитивных интересов носителей VP , составляет основу предложенной
концепции аналитического сопровождения решения P [2].
Концептуальная модель (КМ) iVP включает параметры и концепты.
Полное определение Def(C ) в КМ концепта c категории k есть конъюнкция его
определений ( )T C , обладающих типами T . При этом ( )T C представляет собой четверку
( ) ( ), '( ), "( ), ( )T C L C B C B C S C= 〈 〉 , (2)
где ( ) { , , , }L C d p u n∈ – параметр, посредством которого определение T(C)
идентифицируется как полностью определенное ( )d , неполностью определенное ( )p ,
неизвестное (u) и неактуальное для данного концепта ( )n ;
( ) ( , ); ( , ); ( , )S C B C S A C S I C S= 〈 〉 , если ( ) { , }L C d p∈ , или ( )S C = ∅ , если ( )L C u= . (3)
Таким способом, согласно (3), определение ( )T C концепта C задается (посредством
базиса ( ),B C S ) через другие концепты или параметры, являясь n -арным отношением над ними с
инвариантами ( )| ,C S . При этом актуальное раскрытие ( ),A C S позволяет задать для любого
концепта 'C , входящего в базис, ту совокупность определений 'C , которая принимается во
внимание, и то подмножество концептов из базисов этих (косвенно используемых для Def( C ))
определений, которое учитывается. Формулировки «учитывается» и «принимается во внимание»
формально означают используемость концептов в качестве параметров в функциях и процедурах
PROC:IN(PROC)⇒OUT(PROC), составляющих множество ( )| ,C S .
Элементы ( )'B C и ( )''B C в (1) представляют собой соответственно наследуемый базис,
который формируется благодаря классификационным соотношениям концептов, и отрицаемый
ISSN 1028-9763.Математичні машини і системи, 2007, № 1
95
базис – множество концептов той же категории, что и элементы ( ),B C S , которые ни при каких
путях развития знания не могут войти в ( ),B C S . ( )''B C актуален только для ( ) { , }L C u p∈ и
позволяет отображать знание о концепте, строящееся на его отличии от прототипов
(принадлежащих либо данной КМ, либо КМ другой точки зрения).
Аксиомы КМ делятся на классы: симметрии, наследования и развития знаний [3].
Рассмотрим выводимые отношения между концептами КМ, которые используются для
формального описания семантики НЕ-факторов.
1. Сходство ( )1, 2SIM C C между двумя концептами. В работе [3] формализованы виды
этого отношения, отображающие сходство базисов B из определения (3) либо сходство их
актуальных раскрытий A. Там же предложена метризация степени сходства ( )1, 2C Cµ .
2. Объясненность ( )1, 2EXP C C концепта 1C концептом 2C . Предикат отношения имеет
вид ( )2 1C SF C∈ . ( )1SF C – семантическое поле концепта, введенное в [3] и представляющее
собой дерево, в котором вершины следующего уровня задают актуальные раскрытия концептов
предыдущего. Листьями служат параметры либо концепты, связанные с предыдущими вершинами
ветви аксиомами симметрии.
3. Понимаемость UND( 1C , jVP , iVP ) концепта 1C ∈ jVP в iVP . Ее условие имеет вид
(( )( ) ) ( ), 1, j iX S X B C S VP X VP∀ ∀ ∈ ∈ ⇒ ∈ .
При этом результатом понимания является виртуальное включение в КМ iVP концепта 1C
с семантическим полем iSF ( 1C ), в общем случае, отличным от jSF ( 1C ).
4. Противоречивость CONTR ( 1C ,{ })C между знаниями о концепте 1C и знаниями о
концептах 'C из состава КМ. Проявляет себя наличием следствий из определений 1C ,
касающихся определений { }'C , которые запрещены аксиомами КМ.
5. Направленное влияние INFL( 1C , 2C ) концепта 1C на 2C определяет зависимость
значений параметров и(или) экземпляров концептов Y B∈ ( 2C , iS ) от экземпляров
X B∈ ( 1C , jS ). Предикат отношения таков:
( 2C SF∈ ( 1C )) L∧ I( 2C , 1C ) ≠ ∅ .
Здесь L I( 2C , 1C ) – подмножество путей { }|iL = , 1,...,i m= в SF ( 1C ) от 2C к 1C , для
которых выполняется условие
( ) ( )( ) ( ) ( )( )1 11,..., 1 , 1 , , , |i i i ii m i PROC I Y S PROC I Y SΑ + + Β∀ = − + ∃ ∈ ∈
( )( ) ( )1i iX OUT PROC IN PROC +⊆ ⊆ ,
где iY – концепт, соответствующий i -й вершине iSF ( 1C );
ISSN 1028-9763.Математичні машини і системи, 2007, № 1 96
X – множество концептов (с их актуальными раскрытиями), используемое в инвариантах
iPROC , 1iPROC + .
Количественной оценкой силы влияния служит
ε ( 2C , 1C ) = ( N | L I( 2C , 1C ) |) / ( )( 1CX SF C∈∑ | L I( CX , 1C )|),
где N – число концептов CX , для которых L I( CX , 1C ) ≠ ∅ .
Теперь можно выделить НЕ-факторы рассматриваемой КМ и определить их семантику.
НЕЗАВЕРШЕННОСТЬ знаний о концепте C (НЕ1) характеризуется значениями параметра
( ),L C S в его определениях вида (2).
НЕСОВМЕСТНОСТЬ знаний о C со знаниями о { },C (НЕ2) семантически определяется
отношением { }( ),,CONTR C C .
НЕАКТУАЛЬНОСТЬ концепта ,C , синтаксически связанного с C , для объяснения C (НЕ3)
семантически определяется как ( ),,EXP C C .
НЕРЕЛЕВАНТНОСЬ iVP и jVP по концепту C (НЕ4) определяется посредством
( ), ,i JUND C VP VP .
НЕАДЕКВАТНОСТЬ понимания в iVP концепта C из jVP (НЕ5) семантически задана
условием
( ) ( )( )0, ,V VSIM C C C Cµ µ∨ < .
Здесь VC – результат двойного виртуального представления C – вначале его погружения
как ,C из jVP в iVP (конструктивной реализацией отношения UND), а затем применением UND для
переноса из iVP в jVP всех концептов, составивших второй уровень ( ),SF C ; 0µ – критический
уровень сходства.
НЕКОМПРОМИССНОСТЬ трактовок результата в системе { }iVP (НЕ6) определяется
операцией компромиссного выбора между трактовками, формально введенной в [4]:
( )SF C∗ = ( )SF C ∈ VP∗ , если A (VP∗ ) = 1,...,arg i nmax = A ( iVP ),
где ( )SF C∗ – компромиссная трактовка C ;
A ( iVP ) – усредненная по точкам зрения оценка уровня удовлетворения когнитивных
интересов их носителей при принятии трактовки ( )SF C ∈ iVP .
Уровень фактора может быть охарактеризован усредненным по i значением A ( iVP ) в
сочетании с крайними значениями A ( iVP ).
ISSN 1028-9763.Математичні машини і системи, 2007, № 1
97
Ц е л и а н а л и з а Н Е -ф а к т о р о в в с и с т е м а х э к с п е р т н ы х
з н а н и й
Э Т А П 1 . Ф о р м и р о в а н и е э к с п е р т н о й г р у п п ы
Д и а г н о с т и к а { V P } , н е с о в м е с т и м ы х в Э Г в в и д у
в з а и м о и с к л ю ч а ю щ и х в з г л я д о в н а р е з у л ь т а т
р е ш е н и я
Д и а г н о с т и к а { V P } , н е п р и в л е к а е м ы х в Э Г в в и д у
и г н о р и р о в а н и я
в л и я н и й и с х о д н ы х д а н н ы х н а р е з у л ь т а т
Н Е 2
П о д б о р { V P } д л я о б е с п е ч е н и я п о л н о т ы п р е д с т а в л е н и я в Э Г
р а з л и ч н ы х в з г л я д о в н а р е з у л ь т а т
Э Т А П 2 . Ф о р м и р о в а н и е п о с т а н о в к и п р о б л е м ы
У д а л е н и е и з а п р и о р н о й м о д е л и р е з у л ь т а т а э л е м е н т о в ,
н е п р и е м л е м ы х д л я о т д е л ь н ы х V P
О ц е н к а р и с к а и с п о л ь з о в а н и я о б щ е й п о с т а н о в к и ,
о б у с л о в л е н н о г о
р а з л и ч и я м и т р а к т о в к и и с х о д н ы х д а н н ы х и р е з у л ь т а т о в
Ф о р м и р о в а н и е о б щ е г о к о н т е к с т а
Э Т А П 3 . В ы б о р т е х н о л о ги и р е ш е н и я п р о б л е м ы и е е н а с т р о й к а
А н а л и з п р е д п о с ы л о к в о с п р и я т и я д р у г и х V P
(п р и к о л л е к т и в н о м и м н о г о т у р о в о м о ц е н и в а н и и )
А н а л и з в о з м о ж н о с т и и с п о л ь з о в а н и я о д н о й и з
т р а к т о в о к р е з у л ь т а т а к а к о б щ е й
А н а л и з в о з м о ж н о с т и о б о б щ е н и я и н д и в и д у а л ь н ы х
м н е н и й , п о л у ч е н н ы х п р и р а з н ы х т р а к т о в к а х р е з у л ь т а т а
В ы я в л е н и е п о т е н ц и а л ь н ы х и с т о ч н и к о в р а з н о г л а с и й
д л я п р е д ъ я в л е н и я у ч а с т н и к а м с л е д у ю щ е го т у р а
У с т а н о в л е н и е б а з о в ы х а с п е к т о в д л я о б с у ж д е н и я
и а р г у м е н т а ц и и в к о л л е к т и в н ы х п р о ц е д у р а х
Э Т А П 4 . О б о б щ е н и е р е з у л ь т а т о в
В ы д в и ж е н и е с т а т и с т и ч е с к и х г и п о т е з о с т р у к т у р е
р а с с о г л а с о в а н н о с т и
и н д и в и д у а л ь н ы х м н е н и й и у с т о й ч и в о с т и о б о б щ е н н о г о м н е н и я
О ц е н к а к о н ц е п т у а л ь н ы х с в о й с т в о б о б щ е н н о г о
м н е н и я д л я в к л ю ч е н и я в е г о о б о с н о в а н и е
Н Е 3
Н Е 5
Н Е 2 Н Е 4
Н Е 4 Н Е 6Н Е 1
Н Е 7
Н Е 6
Н Е 6
Н Е 5
Н Е 5 Н Е 7Н Е 2
Н Е 2 Н Е 4
Н Е 4 Н ЕН Е 2
Н Е 6 Н Е 7
Рис. 1. Прагматика НЕ-факторов относительно процесса аналитического сопровождения экспертизы
НЕОБЩНОСТЬ контекста решения проблемы (НЕ7) семантически характеризуется
следующим образом.
ISSN 1028-9763.Математичні машини і системи, 2007, № 1 98
Рассмотрим введение в B ( , CP S )∈ iVP концепта C∗ B ( , CP S )∈ jVP , для которого
выполняется условие U :
U ( iVP , jVP ) = ( C∗ ∈ iVP ) ! (UND(C∗ , iVP , jVP )) ∧ (CONTR(C∗ , B ( , CP S ))).
Пусть в iVP
| ( ), QB P S | = N ; XP ={ ( X ∈ ( ), QB P S ) |CONTR( C∗ , X ) }; XN = ( ), QB P S \ XP .
Прирост ( )R C∗ информативности контекста P в iVP после введения C∗ составляет
( ) ( ) ( )( ), , /X XP X XNR C C X C X Nε ε∗ ∗ ∗
∈ ∈= ∑ −∑ .
Величина, дополняющая до единицы результат усреднения ( )R C∗ по всем парам
( iVP , jVP ) и всем C∗ , удовлетворяющим условию U , служит оценкой рассматриваемого фактора
наряду с крайними значениями ( )R C∗ .
На схеме охарактеризована прагматика НЕ-факторов, определяемая совокупностью целей
их анализа на разных этапах процесса аналитического сопровождения экспертизы.
3. Выводы
1. Реализация онтологической поддержки процессов экспертного решения проблем с
привлечением концептуально различных точек зрения на ПрО требует создания средств анализа
НЕ-факторов специального вида в составе используемых онтологических моделей.
2. Семантика онтологических НЕ-факторов определяется на основе формализма мета-отношений
между концептами онтологий.
3. Прагматика НЕ-факторов представлена их соотнесением с функциями аналитического
сопровождения экспертиз, принадлежащих различным этапам их осуществления.
4. Предложенный подход служит основой конструктивной реализации функций сопровождения
экспертиз при разработке средств автоматизированной поддержки процессов партисипативного
принятия решений.
СПИСОК ЛИТЕРАТУРЫ
1. Нариньяни А.С. НE-факторы: неточность и недоопределенность – различия и взаимосвязь // Труды
Междунар. семинара Диалог’99 по компьютерной лингвистике с ее приложениями. – Таруса. – 1999. – Т. 2. – С.
207–210.
2. Ильина Е.П. Задачи и методы аналитического сопровождения экспертиз в партисипативных процессах
стратегического управления // Проблемы программирования. – 2006. – № 2–3. – C. 421–430.
3. Ильина Е.П., Слабоспицкая О.А. Формы, метрики и свойства отношения сходства между концептами в
онтологиях экспертных точек зрения // Проблемы программирования. – 2005. – № 4. – С. 39–49.
4. Ильина Е.П., Слабоспицкая О.А. Системно-аналитическое сопровождение экспертиз и концептуальный
компромисс между экспертными точками зрения // Вестник НТУ «ХПИ». Сборник научных трудов.
Тематический выпуск «Системный анализ, управление и информационные технологии». – Харьков: НТУ
«ХПИ», 2005. – № 54. – С. 154–159.
|
| id | nasplib_isofts_kiev_ua-123456789-767 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1028-9763 |
| language | Russian |
| last_indexed | 2025-12-01T11:52:27Z |
| publishDate | 2007 |
| publisher | Інститут проблем математичних машин і систем НАН України |
| record_format | dspace |
| spelling | Ильина, Е.П. 2008-06-27T10:02:57Z 2008-06-27T10:02:57Z 2007 Семантика и прагматика НЕ-факторов в концептуальной модели экспертных знаний / Ильина Е.П. // Математическиемашины и системы. – 2007. – № 1. – С. 93 – 98. 1028-9763 https://nasplib.isofts.kiev.ua/handle/123456789/767 681.3 Выделены и исследованы виды НЕ-факторов, имеющие проявления в моделях систем экспертных знаний, которыеотражают концептуально различные точки зрения на предметную область принятия решений. Дано их семантическоеопределение посредством предикатов и метрик специальных отношений между элементами концептуальной модели.Описана прагматика НЕ-факторов, связывающая их с функциями аналитического сопровождения экспертиз. Ил.: 1.Библиогр.: 4 назв. Виявлені та досліджені види НЕ-факторів, проявлених у моделях систем експертних знань, що відображують концептуальнорізні точки зору на предметну область прийняття рішень. Надано їх семантичне визначення за допомогою предикатів таметрик спеціальних відношень між елементами концептуальної моделі. Описано прагматику НЕ-факторів, яка пов’язує їх ізфункціями аналітичного супроводу експертиз. Іл.: 1. Бібліогр.: 4 назв. The kinds of UN-factors showing their manifestations in the expert knowledge systems reflecting the conceptually differentviewpoints on the decision making area are distinguished and investigated. Their semantic definition by means of predicates andmetrics for the special type relations of the conceptual model elements is developed. The description of pragmatics of UN-factorswhich connects them with the functions of the analytical supporting of expertize is given. Fig.: 1. Refs.: 4 titles. ru Інститут проблем математичних машин і систем НАН України Моделювання і управління великими системами Семантика и прагматика НЕ-факторов в концептуальной модели экспертных знаний Семантика та прагматика НЕ-факторів у концептуальній моделі експертних знань Sеmantics and pragmatics of the UN-factors in the conceptual model of expert knowledge Article published earlier |
| spellingShingle | Семантика и прагматика НЕ-факторов в концептуальной модели экспертных знаний Ильина, Е.П. Моделювання і управління великими системами |
| title | Семантика и прагматика НЕ-факторов в концептуальной модели экспертных знаний |
| title_alt | Семантика та прагматика НЕ-факторів у концептуальній моделі експертних знань Sеmantics and pragmatics of the UN-factors in the conceptual model of expert knowledge |
| title_full | Семантика и прагматика НЕ-факторов в концептуальной модели экспертных знаний |
| title_fullStr | Семантика и прагматика НЕ-факторов в концептуальной модели экспертных знаний |
| title_full_unstemmed | Семантика и прагматика НЕ-факторов в концептуальной модели экспертных знаний |
| title_short | Семантика и прагматика НЕ-факторов в концептуальной модели экспертных знаний |
| title_sort | семантика и прагматика не-факторов в концептуальной модели экспертных знаний |
| topic | Моделювання і управління великими системами |
| topic_facet | Моделювання і управління великими системами |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/767 |
| work_keys_str_mv | AT ilʹinaep semantikaipragmatikanefaktorovvkonceptualʹnoimodeliékspertnyhznanii AT ilʹinaep semantikatapragmatikanefaktorívukonceptualʹníimodelíekspertnihznanʹ AT ilʹinaep semanticsandpragmaticsoftheunfactorsintheconceptualmodelofexpertknowledge |