91 объектам сетевой модели представления знаний АСПЭС. В соответствии с этой классификацией выделим три типа узлов и концептов для МПЗ M(D) соответственно: 1.Корневой, концепт к± имеющий только стоки: 3(7^! kj) е G&3(/q /q) G G,i = 2, i Ф 1 2. Нетерминальный концепт knt обязательно обладающий хотя бы одним стоком и истоком: 3knt G К (knt kf)&3 (к^ knt) G Md, i = 1, ...,n, i Ф nt 3. Терминальный, концепт kt kt имеющий истоки, но не имеющий ни (/С; fct) (К к о 1 72 1, i Ф п Наряду с выделенными типами узлов и концептов отметим следующие типы отношений между ними на множестве отношений 7?: 1. Один к одному. Концепт ki связан отношением с концептом kj один к одному <=> з(/С( ky) G М^З (fcj ...)(...ky) В данном случае kj напрямую зависит от kj. Это отношение содержит в себе промежуточные данные, которые могут быть востребованы, как на этапах сбора исходных сведений, так и на этапах принятия решения. Степень связи концепта к; с концептом kj отражает свойство CNF концепта kj. 2. Один ко многим. Концепту к сопоставляется список концептов, в которых отражены последствия, которые могут возникнуть при появлении к. Чтобы отразить степень связи каждого подчинённого концепта с родителем используется свойство CNF (аналог апостериорной вероятности). Такой список, образованный путём непосредственной связи дочерних концептов с родительским, в дальнейшем, будем называть списком показателей частности. Для того чтобы получить список показателей частности для концепта kj достаточно иметь представление в форме записи G(2) , в которой необходимо найти j список смежности список смежности с концептом kj. 3. Многие к одному. Это отношение является прямой противоположностью отношения «один ко многим». Данный тип отношений между концептами призван отобразить связь набора исходных данных или сведений полученных в процессе логического вывода с заключениями. Группу концептов, которой сопоставляется заключение, будем называть список показателей причинности. В отличие от списков частности, которые |
2. Нетерминальный концепт k„t, обязательно обладающий хотя бы одним стоком и истоком: 3 knt еК, (knt, kj)&(kj, knt) с M(D), i=l..n,, tent. 3. Терминальный, концепт kt имеющий истоки, но не имеющий ни одного стока: 3 (kj, kt) е G & 3 (kt, kj) e G, i=l..n-l, ten; Наряду с выделенными типами узлов и концептов отметим следующие типы отношений между ними на множестве отношений R: 1. Один к одному. Концепт kj связан отношением с концептом kj один к одному <=> 3! (kj, kj) е M(D), 3 (kj,kj) e M(D). В данном случае kj напрямую зависит от kj. Это отношение содержит в себе промежуточные данные, которые могут быть востребованы, как на этапах сбора исходных сведений, так и на этапах принятия решения. Степень связи концепта к; с концептом kj отражает свойство CNF концепта kj. 2. Один ко многим. Концепту к сопоставляется список концептов, в которых отражены последствия, которые могут возникнуть при появлении к. Чтобы отразить степень связи каждого подчинённого концепта с родителем используется свойство CNF (аналог апостериорной вероятности). Такой список, образованный путём непосредственной связи дочерних концептов с родительским, в дальнейшем, будем называть списком показателей частности. Для того чтобы получить список показателей частности для концепта kj достаточно иметь представление в форме записи G(2) , в которой необходимо найти j список смежности список смежности с концептом kj. 3. Многие к одному. Это отношение является прямой противоположностью отношения «один ко многим». Данный тип отношений между концептами призван отобразить связь набора исходных данных или сведении полученных в процессе логического вывода с заключениями. Группу концептов, которой сопоставляется заключение, будем называть список показателей причинности. В отличие от списков частности, 70 |