ПРИНЦИП ПРЕДЕЛЬНЫХ ОБОБЩЕНИЙ: методология, задачи ...

ПРИНЦИП ПРЕДЕЛЬНЫХ ОБОБЩЕНИЙ: методология, задачи ... ПРИНЦИП ПРЕДЕЛЬНЫХ ОБОБЩЕНИЙ: методология, задачи ...

cdn.scipeople.com
from cdn.scipeople.com More from this publisher
31.01.2015 Views

28 ГЛАВА 2. ЭЛЕМЕНТАРНЫЕ ТЕСТЫ. ОРГРАФЫ ДОМЕНОВ 2.1 Базовые определения Пусть {τ} − множество элементарных тестов, с помощью которых описываются все факторы, обстоятельства и явления, имеющие отношение к изучаемой ситуации действительности. Элементарность теста означает, что его результат может быть представлен в виде: «тест = значение» или в эквивалентном виде «тест значение». Мощность множества всех элементарных тестов совпадает с мощностью всех односложных вопросов, так как любой такой вопрос представим в виде «вопрос ответ». Конкретный результат теста τ будем обозначать через τ. Результаты тестов могут выбираться (формироваться) из разных доменов (множеств значений). Для фиксации того, что в качестве множества результатов теста τ используется домен T, будем использовать нотацию: τ/T. Примеры нотаций: a/A, {b/B} – множество тестов, {c}/C – множество однотипных тестов, {a/A} – множество значений группы тестов. Примеры: {b/B} = {ФИО/C; Пол/C; Возраст/N; АДс/N; АДд/N; Жалобы/C}, где С – текст; N – число; АДс и АДд – АД систолическое и диастолическое; {b/B} = {ФИО/C Петров И.И.; Пол/C М; Возраст/N 34; АДс/N 145; АДд/N 87; Жалобы На головную боль, на боли в суставах}. Используя разные домены, можно управлять общностью (масштабом) результата одного и того же теста. Во многих случаях между доменами разного уровня общности могут быть заданы однозначные правила пересчета значений. Правила пересчета значений теста из одного домена в другой задают ориентированный граф доменов G(τ) ≡ {T → T′} τ , а N τ – общее количество доменов в орграфе G(τ). Домен слева от стрелки в связке (T → T′) будем называть доменом-предком (родителем), а справа от стрелки доменом-потомком. Соответственно любую связку (T → T′) можно именовать «предок – потомок». Совокупная смысловая область элементов домена–потомка полностью совпадает с совокупной смысловой областью элементов домена–предка. Примечание: домен – это не просто множество элементов, а множество элементов с обобщающими связями. Правила {T → T′} τ задают, по сути, эмпирическую аксиоматику, а также систему интерпретаций в рамках конкретной задачи (класса задач) предметной области. Действительно, значение теста «Возраст/В1 = 15» не содержит интерпретацию, а значение теста «Возраст/В3 = юный» уже

29 содержит. Система интерпретаций лежит в основе «понимания» – основного феномена, отличающего мышление человека от операций компьютера. Поскольку у любого теста может быть несколько орграфов доменов, то в некоторых случаях вместо нотации τ/T можно применять расширенную нотацию τ/G:T. Без ограничений общности положим, что домены орграфа G(τ) состоят из альтернативных элементов (точечных или атомарных элементов) и атомарный элемент любого домена однозначным образом преобразуется в атомарные элементы доменов-потомков (если они существуют). Будем также считать, что каждый домен по умолчанию может содержать неопределенный элемент (мерцающее значение теста), который при преобразовании также переходит в неопределенный элемент доменапотомка. Если не оговорено другое, то неопределенный элемент в любом домене будем обозначать u, следовательно, запись τ/T u обозначает неопределенное (мерцающее) значение теста. Неопределенные элементы играют важную роль при построении набросков ситуаций, образов, текстов. Для любого атомарного элемента a домена A автоматически определен элемент (и терм) «не a» ≡ «¬ a» = A \ a. То же справедливо и для любого подмножества A′ ⊂ A: автоматически определены элементы – термы «не A′» ≡ «¬ A′» = A \ A′. Таким образом, операция отрицания действует в рамках конкретного домена. Примем, что для любой связки (T → T′) выполняется соотношение: |T| > |T′|, где |*| – мощность множества. Орграф имеет одну базовую вершину – базовый домен со значениями (элементами) максимально высокого уровня точности. В базовую вершину не входит ни одна дуга орграфа. Любой домен орграфа проецируется на весь базовый домен. Орграф доменов не имеет циклов. Если имеются разные пути перехода к какой-либо вершине, то эти пути должны приводить к одному и тому же результату (не должно быть конфликтов). Терминальные вершины или вершины, из которых не выходит ни одна дуга, задают домены максимальных уровней общности. Орграф не может содержать двух одинаковых вершин, т.е. таких вершин, которые выдают одинаковые значения теста при одном и том же базовом значении. Базовый домен может быть объединением конечного числа непрерывных интервалов, но любой домен-потомок всегда является дискретным. Преобразование от домена-предка к домену-потомку назовем восходящим преобразованием (преобразованием от частного к общему, т.е. обобщением), возможно и обратное – нисходящее преобразование (от общего к частному), которое олицетворяет нисходящую детерминацию. Для реализации одного из вариантов нисходящей детерминации любой

28<br />

ГЛАВА 2.<br />

ЭЛЕМЕНТАРНЫЕ ТЕСТЫ. ОРГРАФЫ ДОМЕНОВ<br />

2.1 Базовые определения<br />

Пусть {τ} − множество элементарных тестов, с помощью которых<br />

описываются все факторы, обстоятельства и явления, имеющие отношение<br />

к изучаемой ситуации действительности. Элементарность теста означает,<br />

что его результат может быть представлен в виде: «тест = значение» или в<br />

эквивалентном виде «тест значение». Мощность множества всех<br />

элементарных тестов совпадает с мощностью всех односложных вопросов,<br />

так как любой такой вопрос представим в виде «вопрос ответ».<br />

Конкретный результат теста τ будем обозначать через τ. Результаты<br />

тестов могут выбираться (формироваться) из разных доменов (множеств<br />

значений). Для фиксации того, что в качестве множества результатов теста<br />

τ используется домен T, будем использовать нотацию: τ/T. Примеры<br />

нотаций: a/A, {b/B} – множество тестов, {c}/C – множество однотипных<br />

тестов, {a/A} – множество значений группы тестов. Примеры:<br />

{b/B} = {ФИО/C; Пол/C; Возраст/N; АДс/N; АДд/N; Жалобы/C},<br />

где С – текст; N – число; АДс и АДд – АД систолическое и диастолическое;<br />

{b/B} = {ФИО/C Петров И.И.; Пол/C М; Возраст/N 34; АДс/N 145;<br />

АДд/N 87; Жалобы На головную боль, на боли в суставах}.<br />

Используя разные домены, можно управлять общностью (масштабом)<br />

результата одного и того же теста. Во многих случаях между доменами<br />

разного уровня общности могут быть заданы однозначные правила<br />

пересчета значений. Правила пересчета значений теста из одного домена в<br />

другой задают ориентированный граф доменов G(τ) ≡ {T → T′} τ , а N τ –<br />

общее количество доменов в орграфе G(τ). Домен слева от стрелки в связке<br />

(T → T′) будем называть доменом-предком (родителем), а справа от<br />

стрелки доменом-потомком. Соответственно любую связку (T → T′) можно<br />

именовать «предок – потомок». Совокупная смысловая область элементов<br />

домена–потомка полностью совпадает с совокупной смысловой областью<br />

элементов домена–предка.<br />

Примечание: домен – это не просто множество элементов, а множество<br />

элементов с обобщающими связями.<br />

Правила {T → T′} τ задают, по сути, эмпирическую аксиоматику, а также<br />

систему интерпретаций в рамках конкретной задачи (класса задач)<br />

предметной области. Действительно, значение теста «Возраст/В1 = 15» не<br />

содержит интерпретацию, а значение теста «Возраст/В3 = юный» уже

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!