диссертация модальная логика

		- 181 -
5.2.1	С и м в о л и з а ц и я	п а р а д и г м а л ь н о й	м о д е л и	п р и н я т и я
р е ш е н и й

Рассмотрим символизацию когнитивной модели принятия решений (рис. 5.1).

Модель М1фа А1 (Х1)

Ценности А2(х2)

Средства Аз (хз)

I

Интересы А4(х4)

Возможности А5(>^)

Цели Аб(хб)

Поведенческие гештальты А7(х7)

Сценарии АзСхз)

Задача А9(х9)

Рисунок 5.1 - Структура парадигмальной модели

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

3x1... Зхп (А, (х,) & ... & А„ (х„) & л Ка,^ (Х1, Xj)),

которая в развернутом виде примет следующий вид:

- 182-

З х 1 . . . Х о ( А , ( х , ) & . . . & А п ( х о ) & л ( К а 1 4 ( Х | , Х 4 ) & К а 2 з ( х р Х 5 ) &

«и

&Яа24(х2,Х4) & КаздСхз, Х5) & Ка4^(х4,х^) & Ка5^(х5,х^) &

&Ка^у(х^,ху) & К а у з ( х у , х з ) & Ка|5(хрХз) & Казз(хз,Хз) &

&(Ка59(хз,Х9)))

где А1(х1) - описание блока модели с номером 1, отражающее те или иные логические конструкции;

Кац - имя отнощения связи между объектами 1 и 3, которых для одной пары может быть несколько.

Блок "Модели мира" А1(х1).

Представляет собой структуру "когнитивно-ориентированную иерархию семантических сетей", символизация которой будет осуществлена ниже.

Блок "Ценности" АгСхг).

А,{х,)^А1(х,)&...&АЦх,).

АЦх^) - некоторые идентификаторы качеств предмета рассмотрения. Блок "Средства" Аз(хз).

Л ( Х з ) о 4 ( ^ з ) & - & 4 " ( Х з ) .

А^ (хз) - значимые факторы, влияющие на решение задачи. Блок "Интересы" А4(х4).

Зх^Зх^Зх, ({А, (х,) & А ^ )) ^ Л (^4)) •

Существует такое сочетание состояний модельного мира и некоторых средств, что они в комплексе составляют интересы, важные для решения проблемы, и что они обеспечат возможность решения задачи.

Блок "Возможности" А5(Х5).

Зх,3х,3х,

((А, (X,) & А , (хз)) ^

А ,

{х,)).

Существует такое сочетание состояний модельного мира и некоторых ценностей, что они обеспечат возможность решения задачи.

Блок "Цели" Аб(Хб).

Зх,Зх,Зх,ЦА,(х,)&А,(х,))-^А,{х,)).

- 1 8 3 -

Существуют такие интересы и возможности, что если они совместимы, то существуют цели, направленные на рещение задачи.

Блок "Поведенческие гештальты" А7(х7).

Любая организация имеет набор свойственных ей стереотипов поведения. Цели проходят через них, как через фильтр, отсеивающий несвойственные организации цели. Па этом этапе решается задача выбора цели на основе некоторых критериев.

Блок "Сценарии" АзСхв).

Понятие сценария носит явно выраженный характер процессности, то есть оно характеризуется в рамках интервала последовательных различных состояний. Имеется состояние модели мира А1(х1), допускающее или инициирующее подобную деятельность. Имеются средства Аз(хз), позволяющие реализовать выбранную установку. Сценарий может быть представлен:

Зt,..Зt„{A,{x,)8c{t,<...<t„))^,

Зt,..Зt„{A,{x„t„c,)8cA,{x„t^,c^)&...

. . . & 4 (х„?„,с„ ) & а1 <...</„))

Сь С2 - некоторые фиксированные		значения переменной состояния
предиката АзСхв, % с).
Зх,ЭХзЭх,ЗГ, ...Зt„ {{А, ( х , , , с , ) & ^3 (Хз) &		(X,)) & . . .
8c{A,{x„t„,c„)8cA,{x,)8cA,{x,))8c{t,	<...</„))

Блок "Задача" А9(х9) представляется той же формулой, что АвСхв). Он носит символический характер и означает, что мы достигли цели, т.е. изменили "Модель мира" в свою пользу.

	-	184-
5 . 2 . 2	С и м в о л и з а ц и я	к о г н и т и в н о - о р и е н т и р о в а н н о й
и е р а р х и и	с е м а н т и ч е с к и х	с е т е й	( п р и м е н и т е л ь н о	к

п р о е к т и р о в а н и ю д и з е л я )

Раскроем содержательное наполнение одного из базовых блоков парадигмальной модели, а именно А1(х1) "Модель мира" и осуществим его символизацию.

Первый уровень иерархии:

УдоЕлетБ орение	Требования
требований	эргономики
потре бителя УУ^1^
Чопжен со отБе ТСТЕ ОВ ать	д олжен удовлетворять
должны быть учтены	влияют на спрос
догсжен сохрашггь	должен соответстБОвать
Дизель АО
«Аптайдиз ель» Wo^
определяет	осложняют
жизнеспособность	рав работку
Наименьшая	Нормы
начальная	экологии '№9^
стоимость У^^,/

Рисунок 5.2 - Первый уровень иерархии

ЭХ0ЗХ1ЗХ8ЗХ9ЗХ11 (Wo'Дизeль_AO_"Aлтaйдизeль" (хо) &

&\¥1' Удовлетворение_требований_потребителя (хО &

&\^8^ Требования_эргономики (хз) &

&	Н о р М Ы _ Э К О Л О Г И И (Х9) &

&W l l ' Наименьщая_начальная_стоимость (хп) &

&Кол' должен_соответствовать (хо, Х}) &

- 185-

&Кьо^ должны_быть_учтены ( х ь Хо) &

&Ко.8^ должен_удовлетворять ( х о , х^) &

&К8.о' влияют_на_спрос (Х8, Хо) 8с

&Ко-э' должен_соответствовать ( х о , Х9) &

&Кд^ осложняет_разработку (Х9, Хо) &

&	Ro.li' должен_сохранить (хо, Х п ) &
&	К Ц - О ' определяет_жизнеспособность ( х п , Хо))

Второй уровень иерархии:

ЗвЕисиг от

Высокий ресурс Ш

	снижает
	огоБфнвают	отвечай г
	необходимость
	Возможность обеспечиваю­	Доработка под
	щая наивысшую
	ЧпрошЕодительность трактора/	потре бителя W
	оговгршают	предусматривает
	необходимость
	отвечает	отвечает
	огоБ ^киБ ают	предполагает т ш
	необходимость	возможности
	Требования

\потре бителя W •

	отвечает		•'должен отвечать
Многоцелевая	У	зависит	влияет	МшраСХОД Щ
\ориентацня W;.i"				топлива и масла
		свести к	должны
		разумному пш!	составляться

зависит от

Наименьшие з атрасгы

н а Т О W

влияет на

Рисунок 5.3 - Второй уровень иерархии

	- 186-
З Х 1 З Х 2 З Х 3 З Х 7 З Х 1 2 З Х 1 4	2 Требования_потребителя (Х)) &

& ^2 Доработка_под_потребителя ( х г ) &

&Wз^Boзмoжнocть_oбecпeчeния_max_пpoизвoдитeльнocти_тpaктopa(xз) &

&W7 Наименьшие_затраты_на_ТО (ху) &

&\\^12^ Минимальный^асход_топлива_и_масла (х^) &

&\\/^14^ Многоцелевая_ориентация (хм) &

& К\.2 предусматривает ( х ь Х 2 ) &

&К 2-1^ отвечает (х2, хО &

&К 1.3^ оговаривают_необходимость ( х ь Хз) &

&К 3-1^ отвечает (хз, х ^ &

&к 1-7 свести_к^азумному_минимуму (хь Х 7 ) &

& К 7-1 должны_составляться ( Х 7 , Х 1 ) &

&К1-10^ оговаривают_необходимость (хь Хю) &

&К10-1^ отвечает (хю, х ^ &

&к 1.12 предполагает_т1п_возможности (хь Х12) &

&К12.]^ должен_отвечать ( Х 1 2 , Х}) &

& К 1.14^ оговаривают_необходимость ( х ь Х 1 4 ) &

& К14-1^ отвечает (Х]4, хО &

&Кз.10	снижает (хз, Х ю ) &
& К 10.3	зависит_от ( х ю , Хз) &
& К 7-14^ ЗаВИСИТ_ОТ ( Х 7 ,		Х 1 4 ) &
& к 14-7 влияет_на ( х и ,		Х 7 ) &

&К 12 - 1 / зависит (х12, Х 1 4 ) &

&К 14.12 влияет (Х14, Х12))

- 187-

Дополнительная ветвь второго уровня иерархии:

зависит от	Наимень шая начоть-	зэЕисит от возможности
	н8я стоимость	д олжна сшЕбкагь
влияет
М1п. ^щельная	не должна Еозрастань в проце ссе	Модификация без
металлоемкость		изменения базы
W 15	ггредшпагает	W6^

Рисунок 5.4 - Дополнительная ветвь структуры. Второй уровень иерархии

Зх11ЭхбЗх15 (Wll Наименьшая_начальная_стоимость (хц) &

&Модификация_без_изменения_базы (Хб) &

&\¥15^ Минимальная_удельная_металлоемкость (Х15) &

&К 11.б^зависит_от_возможности (хц, Хб) &

&К 6-11^ должна_снижать (Хб, Х11) &

&К п-15^зависит_от (хц, х^) &

&К 15-11 влияет (Х15, Хп) &

&к 6-15^ предполагает (хб, Х15) &

&К15-6 не_должна_возрастать_в_процессе (Х15, хе))

Третий уровень иерархии:

ЗХ2ЗХ4ЗХ5ЗХ13ЗХ16 (\^2^ Доработка_под_потребителя (Х2) &

&Повышенный_запас_крутящего_момента (Х4) &

& \ ¥ 5 ^ Возможность__регулировки_на_2__уровня_мощности (Х5) &

&Wlз^ МНОГОТОПЛИВНОСТЬ (Х1з) &

&Wlв^ Приспособленность_к_автоматическим_СУ (х1б) &

&К 2-4^ приводит_в_соответствие_требованиям (хг, Х4) &

			-	188-
&	К 4-2^ о п р е д е л я е т _ н е о б х о д и м о с т ь			(Х4, Хг) &
&	К 2-5^ о б е с п е ч и в а е т с я _ п о _ с п е ц . з а к а з у (х2, Х5)				&
&	К 5-2^ п р е д п о л а г а е т с я _ в _ п р о ц е с с е _ д о р а б о т к и				(Х5, Х2)	&
&	К2-и м о ж е т _ о б е с п е ч и т ь (х2, Х13)			&
&	К13-2^ о б е с п е ч и в а е т с я _ п о _ с п е ц . з а к а з у (Х]з, Хг) &
&	К 2-16'^ р е а л и з у е т _ п о т р е б н о с т и _ з а к а з ч и к а (хг, Х1б) 8с
&	К16-2^ р е а л и з у е т с я _ в _ п р о ц е с с е _ д о р а б о т к и _ п о _ з а к а з у					(х1б, Х2) &
&	К 4-16^ зависит (Х4, Х1б) &
&	К16-4^ с п о с о б с т в у е т	(Х1б, Х4)	&
& К 5-16^ п р е д п о л а г а е т		(хз, хлб)	&
&	К16-5^ о б е с п е ч и в а е т	(Х16, Х5)	&

& К 13.16^ связана _ с ( х ^ , Х1б) &

& К1б.1з^является _ элементом _ обеспечения (Х16, х ^ ) )

Повышенный 3 апас	Возмозжность
крутящего момента	peгJШиpoвкинa2
	тооБня мощности

Ж—			* "
приводит в соотеетстБие		обе спечив ается по
требованиям		спец. заказу
определяет		предполагается в
неоЬходимэст		процессе доработки
реализует потреб. ,		может обеспечить
закевчика	Доработка под
	потре бителя'УУг
эеализ}гется в процессе		обе спечивается по
цоработкипо закасу		спец. заказу
Приспособленность к	яЕпя ется элементом о 6 еспе чения		Многотошшвн
автома-скзшСУ 'W^^	СБЯЗ ана с		чОСТЬ	W 133
	обеспечивает

п

р

е

Д

п

о

л

а

г

а

е

т

Рисунок 5.5 - Третий уровень иерархии

- 189-

Символизация наиболее часто используемых в процессе концептуального проектирования сетевых структур позволила достаточно четко представить все смысловые отношения, содержаш;иеся в этих структурах, и устранить неоднозначность прочтения.

5.2.3 Б и н а р н ы е п р е д и к а т ы к а к с р е д с т в о	п р е д с т а в л е н и я
з н а н и й

Бинарные предикаты играют особую роль в представлении знаний. Это

связано с удобством их прочтения и понимания смыслов, которые они отражают. При символизации смыслов в рассуждениях технической

направленности нередко встречаются многоместные предикаты, что осложняет

процесс прочтения и понимания. В то же время в первопорядковой логике

имеются средства, позволяюш;ие преодолеть это затруднение. Таким средством является способ преобразования т - арных предикатов в бинарные. Следует заметить, что и унарный предикат можно преобразовать в бинарный. Рассмотрим эти преобразования.

Унарный предикат преобразуется в бинарный по следуюш;ей схеме [103]:

Унарный предикат Бинарный предикат

Имя совокупности(Имя индивидуума) = Конкр(имя индивидуума, имя совокупности)

Здесь вводится дополнительное предикатное имя Конкр, которое означает "является элементом некоторого типа" (Иногда его читают "Есть некий").

Достаточно проста схема преобразования и т - а р н ы х предикатов в бинарные. Предикат с т аргументами представляется схемой:

Предикатное имя (Значение -1, значение - 2, ... , значение - т ) .

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

- 190-

последовательностью аргументов, которые также можно рассматривать как функции. Здесь важно, что первоначально выбранный порядок соответствия "функция-аргумент" хотя и может быть произвольным, но в дальнейшем он должен сохраняться неизменным. Функциональная организация т - арного предиката выражается следующим образом:

Предикатное имя (функция -1, функция - 2, ... , функция - т ) .

Теперь несложно перейти к нужному нам представлению, при этом необходимо помнить об имеющем место соглашении. Смысл этого соглашения позволяет сохранить и явно указать соответствующие функциональные отношения. Каждая функция становится именем бинарного предиката, первый аргумент которого является именем исходного бинарного предиката, а второй - значением относящегося к этой функции аргумента. Функциональная организация исходного т-арного предиката и значения его аргументов представляются произведением бинарных предикатов:

Функция - 1 (предикатное имя, значение - 1) л

л Функция - т (предикатное имя, значение - т ) .

Общая схема преобразования выглядит следующим образом:

Предикатное имя (значение - 1 , . . . , значение - т ) преобразуется в

л Функция - ] (предикатное имя, значение -]).

Запись в терминах бинарных предикатов содержит в явном виде имена функциональных отношений, которые понятны конструктору. Представление их неявно порядком следования аргументов при записи в терминах т - а р н ы х предикатов воспринимается и понимается конструктором значительно хуже, поэтому рассмотренные преобразования оправданы.