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

	-	151 -
/ —	6-й уровень	/

(82,8=12,р=45)Некоторый дизель, обладающий возможно низкой начальной

стоимостью,	не есть дизель, наиболее полно удовлетворяющий требованиям
потребителя (0,W11,\^1).
/	7_й уровень	/

(83,8=66,р=4)Всякий дизель, имеющий модификации без изменения базы,

не есть дизель с повыщенным запасом крутящего момента (E,W6,W4).

(84,8=67,р=12)Всякий дизель с повышенным запасом крутящего момента,

не есть дизель, имеющий модификации без изменения базы (Е,\У4,\¥6).

(85,8=80,р=12)Некоторый дизель с повышенным запасом крутящего

момента, не	есть дизель,	имеющий модификации без изменения базы
(0,W4,W6).
/	8_й уровень	/

(86,8=12,р=66)Некоторый дизель, обладающий возможно низкой начальной

стоимостью, не есть дизель, обеспечивающий наивысшую производительность трактора (0,\ ¥ 11 ,WЗ).

(87,8=12,р=69)Некоторый дизель, обладающий возможно низкой начальной

стоимостью, не есть дизель с наименьшими затратами на ТО (0,\ ¥ 11,\ ¥ 7) .

(88,8=12,р=70)Некоторый дизель, обладающий возможно низкой начальной

стоимостью, не	есть дизель,	обладающий достаточно высоким ресурсом
(O,Wll,W10).
/	9_й уровень	/

(89,8=12,р=83)Некоторый дизель, обладающий возможно низкой начальной

стоимостью, не есть дизель с повышенным запасом крутящего момента (0,\¥11,\¥4).

Подобная схема вывода, предложенная Л. Кэрроллом, обычно заостряет внимание на результирующих выводах, т. е. выводах верхних ярусов, которые довольно трудно предугадать заранее. Нам, по-видимому, не имеет смысла

- 152-

отступать от этой схемы, а следует обратить внимание на каких сущностях "сорит" заостряет наше внимание и попытаться понять почему. В рассматриваемом случае это сделать нетрудно, т. к. все выводы восьмого и девятого уровней № 89, 88, 87, 86 и на других уровнях № 82, 67, 65, 53, 47, 40, 26 в качестве субъекта рассматривают "дизель, обладающий возможно низкой начальной стоимостью" (\¥11). Сорит как бы обращает наше внимание на важность экономической стороны вопроса. Далее можно усмотреть, что в выводах № 85, 84, 79, 78, 77, 76, 75, 74, 73, 72, 71, 70, 69 чаще в качестве предиката (иногда субъекта) фигурирует сущность \ ¥ 6 "дизель, имеющий модификацию без изменения базы". Если расшифровать это понятие, то оно подчеркивает важность выпуска множества модификаций дизелей единого семейства. Это понятие предполагает факт единства базовых характеристик (размеров основных деталей) для всех машин семейства. Другими словами, речь идет о возможности выпуска родственных изделий на имеющемся технологическом оборудовании. Можно определенно сказать, что "сорит" опять обращает наше внимание на экономическую сторону вопроса. Интересен еще один момент. В выводах № 89, 85, 83, 81, 80 фигурирует сущность W4 "дизель с повыщенным запасом крутящего момента", причем по отношению к сущностям \¥11 и \^6 со связью через кванторы отрицания Е и О. Этим подчеркивается факт, что данного важного показателя будет трудно достигнуть при низкой минимальной стоимости дизеля и прежней производственной базе (т.е. имеющемся технологическом оборудовании). Полученные выводы, хотя и интересны, но не дают полного представления об общей картине видения профессионалами проектируемого объекта, к которому относится кортеж.

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

- 153 -

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

Рассмотрим изложенное на данном примере. Перед нами стоит задача

структуризации, т.е. нам нужно построить	некоторый	"модельный мир" из
сущностей Л¥0, W l .. \¥16. Естественно,	что эта	задача неоднозначна.

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

Вот одна из возможных трактовок.

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

-дизель ОАО "Алтайдизель" (\¥0);

-требования потребителя (W1);

-возможно низкая начальная стоимость (W11);

-соответствие нормативам экологии (\¥9);

-соответствие требованиям эргономики (\\''8). Эта структура представлена на рис. 4.1.

Между сущностями указаны наиболее важные, на наш взгляд, связи.

Наиболее важным звеном будет "требования потребителя". Будем считать его диссонирующим, т. е. именно по этому звену мы перейдем на второй уровень иерархии рис. 4.2. На этом уровне обращается внимание на те характеристики, которые, вероятнее всего, представляют интерес для потребителя:

-высокий ресурс (в моточасах) (Д¥10);

-возможность обеспечить наивысшую производительность трактора (\¥3);

-многоцелевая ориентация (W14);

-минимальный расход топлива (\^12);

-наименьшие затраты на техническое обслуживание (W7)•,

-154-

-доработка под потребителя С^2).

УдовлетБорение	ТребоЕавпи
требований	эргономики У^^е^
потре бителя
Ч олжен со отБ е тств ОБ ать	д опжен удовлетворять
цопжныбыгь учтены	влияют на спрос
должен сохранить	должен соответстБовать
Диз ель АО
«Аптайдиз ель»
определяет	осложняют
жизнеспособность	рас работку
Наименьшая	Нормы
начальная	экологии W<j'^
стоимость W11^

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

Доработка под потребителя подразумевает приемлемую модификацию изделия, позволяющую адаптировать изделие под изменчивые требования потребителя. Они могут быть весьма разнообразны. Однако многие из них можно удовлетворить. Эту сущность, по-видимому, следует выбрать в качестве следующего "диссонирующего звена". На рис. 4.3 представлен третий уровень иерархии. Здесь центральной является указанная сущность, которая дугами отнощений связана с другими сущностями из числа названных профессионалами. С нащей точки зрения, эти характеристики дизеля могут оказаться в числе тех, которые потребитель может потребовать доработать.

			- 155	-
Зависит от			Высокий ресурс Ш,,
	снижает
		огов ^ЗНБ анзт		отвечает
		необходимость
Возможность обеспечиваю­					Доработка под
щая наивысшую
^^оизЕодительность трактора,^					потре бителя W
	огов фИЕ ают				ж-
				предусмагривает
	необходимость
	отвечает				отвечает
огов щт ают					предполагает тт
необходимость			Требования		возможности
			потре битепя W '
	отвечает			-одолжен отвечать
Многоцелевая		зависит		влияет	М ш расход Ш'Г
чориентация					топпиБ а и масла
	Г
		свести к		должны
		разумному т1п		составляться

зависит от

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

на ТО W

влияет на

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

Несомненно, могут быть и другие характеристики, но их пока в числе названных специалистами мы не усмотрели. Этим уровнем иерархии мы заканчиваем данную ветвь иерархической структуры. У нас имеется егце одна ветвь структуры, если мы будем считать субстанцию "возможно низкая начальная стоимость" в качестве "диссонирующего звена" на первом уровне иерархии рис. 4.4.

- 156-

Повышенный 3 шас	Возможность
крзггящего момента	регулировки на2
	VtDOEHЯ ГЛОШНОСТИ

Ж —

	г1р1Бодит Б соответствие		о бе спечиБ ается по
	требованиям			спец. заказу
	определяет			предполагается Б
	неоЬходимост			процес се доработки
реализует потре б.				может обеспечить
закбвчика		Доработка под
		потре бигеля У^^г			Многотопливность
	зеапизуется в процессе			обеспечивает!—ю
	Чоработкипо закесу			спец. заказу
Приспособленность к		явпя етсязпементомобеспе чвния			МНОГОТОППИБН
автома-скимСУ	W 16	СБЯЗ ана с			ЧОСТЪ	W	/
		обеспечивает
	Рисунок 4.3 - Третий уровень иерархии
зависит от		Н аимвнь шая началь­			зависит от возможности
		ная стоимость	-^^^^		должна снижать
влияет
М1п. удельная		не должна возрастать в проце ссе			Модификация без
металлоемкость					изменения базы
W 15		предполагает

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

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

- 157-

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

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

"дизель, обладающий возможно низкой начальной стоимостью", и рассмотрим все выводы сорита, которые содержат эту сущность в качестве субъекта (\¥11). Одновременно будем следить за кванторами, под которыми получены выводы, т.е. А, Е, I, О.

Итак, мы имеем.
Дизель, обладающий возможно низкой начальной стоимостью:
89	-	не	есть	дизель	с повышенным запасом		крутящего	момента
88	-	не	есть	дизель,	обладающий	достаточно	высоким	ресурсом
(О,\^11,\^10);
87	- не есть дизель с наименьшими затратами на ТО (0,>;¥11,W7);
86	-	не	есть дизель обеспечивающий			наивысшую	производительность
трактора			iO,Wn,WЗ)^,
82	-	не есть дизель, наиболее полно				удовлетворяющий требованиям
потребителя (0,\\/'11,W1);
67 - не есть дизель с повышенным запасом крутящего момента (Е,\¥11,'\¥4);
65	- не есть многоцелевой дизель ( 0 , \ ¥ 1 1 ,					\¥14);
53	- не есть многотопливный дизель (Е, W l 1, W13);
47	-	не	есть	дизель,	обладающий	достаточно	высоким	ресурсом
(E,W11,W10);
40	-	не	есть дизель, обеспечивающий			наивысшую	производительность
трактора		(Е,\¥11,\¥3);

- 158-

26 - не есть дизель, наиболее полно удовлетворяющий требованиям потребителя (Е,\¥11,\^1).

Может возникнуть вопрос: "можно ли реализовать подобный подход в случае, если интересующая нас сущность в высказываниях фигурирует в качестве предиката, а комплексные представления необходимо составить именно о ней". Другими словами, нам необходим кортеж относительно рассматриваемой сущности. В этом случае необходимо осуществить логическую операцию, которая носит название "обращение" (сопуег81о лат.).

При этом нужно помнить, что:

-суждение А обращается в I (или чисто);

-суждение I обращается чисто;

-суждение Е обращается чисто;

-суждение О вообще необращаемо.

Поэтому из нашего рассмотрения выпадают суждения 81, 80, 61, 60, 59, 55,

54, 52, 34. Те же высказывания, которые допускают обращение, в сорите присутствуют в обращенном виде.

Например, 13 вывод (Е, "\¥13, W l l ) имеет обращенный вывод 53 (Е, W l 1,А¥13) или 70 (Е,\¥6,\У10) - 73 (Е,Ш10,\¥6).

Проделанная работа позволяет нам наложить на семантическую сеть выводы сорита. Сделать это можно следующим образом:

- штрихуем нижний правый угол сущности W l l на рис. 15, что означает, что субъект нашего рассмотрения есть \^11;

- на всех прямоугольниках, соответствующих сущностям, которые сорит связал с сущностью Ш11, в правом нижнем углу помещаем значки кванторов.

-О - некоторый 8 не есть Р,

-Е - всякий 8 не есть Р.

Такая символизация дает нам явную картину текущего положения дел. Прокомментируем эту картину.

			-	159-
На рис. 4.1:
Е,	\ ¥ 1 1 , W l -	означает, что	всякий		дизель,	имеющий	минимальную
начальную стоимость, не есть дизель,					удовлетворяющий		требованиям
потребителя.
На рис. 4.2 мы наблюдаем:
Е,	\^11, \^1; Е,	Wll, W3; Е,	Wll,	Wl4	- это	означает, что	экономия на

стоимости не позволяет обеспечить наивысшую производительность трактора (WЗ), а также не позволяет сделать дизель многоцелевым (W14).

На рис. 4.3 мы наблюдаем;

Е, W l l , W4; Е, \ ¥ 1 1 , \У^13 - это означает, что экономия на стоимости не

позволит создать дизель с повышенным запасом крутящего момента, а также

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

рассуждения, основываясь на индукции и аналогии (помимо дедукции), то категоричность выводов, по-видимому, следует несколько ослабить. Но то, что в достижении обозначенных сущностями \У1, W3, Ж4, W13, W14 качеств, которые вышли на финиш рассуждения с квантором "Е", то есть "всякий 8 не есть Р", возникнут осложнения, можно не сомневаться.

Проведем аналогичный анализ сущности ^6 - дизель, имеющий модификации без изменения базы, которая также вышла на верхние ярусы сорита и по своей смысловой значимости может играть одну из ключевых ролей. Эта сущность означает факт существования семейства дизелей, а также факт существования единой технологической базы для производства множества модификаций данного семейства. То, что эта сущность вышла на верхние уровни со слабым квантором "О", является естественным для сорита. Сорит как бы обращает наше внимание на нее. Мы же, зная особенности

- 160-

данной логической схемы вывода, можем не сомневаться, что на более ранних уровнях эта сущность обязательно встретится с сильными кванторами, т.е. "А" или "Е".

В связи с тем, что \ ¥ 6 в целом ряде выводов фигурирует с квантором "О", а этот квантор не допускает логического обращения, мы эти выводы просто опустим, выписав все остальные и осуществив в случае необходимости обращения некоторых выводов (таблица 4.1).

						Таблица 4.1
	Исходный		Результат	Обобщенный		Окончательный
	вывод		обращения	результат		результат
83	E W 6		-	E W б	W4	Е W6 W4
73	Е W10 \У6		E W 6 W10	E W 6 W 1 0		Е \ У 6 W10
72	В W7 W6		EW6 W7	Е \ У 6 \ ¥ 7		EW6 W7
71	Е W3	Ш	Е \ ¥ 6 W3	Е W6 W3		E W 6 W3
70	Е \ ^ 6	\^10	-	E W 6	W10	-
69	ЕШ	W7	-	Е W6	т	-
66	Е W6 \ ¥ 3		-	Е \ ¥ 6 W3		-
46	E W 1 W6		E W 6 W 1	Е \ ¥ 6 W l		E W 6 W 1
45	Е W6 Wl		-	Е W6 W l		-
38	Е Ж6 W14		-	Е	W14	Е W6 \^14
33	E W 6	W13	-	E W 6	W13	E W 6 W13
31	Е \ У 1 3	W6	Е \ У 6 \ ¥ 1 3	Е \\^6	^^13	-

Замечание: выводы 85, 79, 78, 76, 75, 73, 72, 71 опущены т. к. они фигурируют с квантором "О".

В результате проделанной работы значимыми оказались выводы:

Е, W6, W10 Зафиксируем эти результаты:

Е, W6, W7 на рис. 4.1, рис. 4.2, рис. 4.3, рис. 4.4 Е, ^¥6, \ ¥ 3 и подвергнем анализу

Е, W6, ^1 имеющую место ситуацию. Е, \ ¥ 6, \¥14

Е, \ ¥ 6, W13