Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

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

.pdf
Скачиваний:
17
Добавлен:
25.03.2016
Размер:
8.07 Mб
Скачать

- 141 -

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

В разделе 2.6.3 настоящей работы мы показали, каким образом может быть представлен кортеж, сформированный профессионалами-конструкторами в виде когнитивно-ориентированной иерархии семантических сетей. Такая модель обладает важным достоинством. После ее построения становится ясно, как решить задачу, или почему в данный момент ее решить нельзя. Подобная структура была представлена на рис. 2.7 - рис. 2.9, однако механизмы ее использования не были раскрыты. В разделе 3.2 настоящей работы представлена система автоматизированного построения сорита и результаты функционирования разработанного программного обеспечения, реализующего данную схему логического вывода. Работа программного обеспечения продемонстрирована на примере кортежа ОАО "Алтайдизель", но конкретика применения схемы вывода на практике не проиллюстрирована.

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

Таким образом, ведущими конструкторами СКБ ОАО "Алтайдизель" нам представлен следующий кортеж.

^"0 - дизель производственного объединения "Алтайдизель"; \ ¥ 1 - дизель, наиболее полно удовлетворяющий требованиям потребителя;

- 142-

W2 - дизель, требующий доработки под потребителя;

W3 - дизель, обеспечивающий наивысщую производительность трактора;

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

W5 - дизель с регулировкой на два уровня мощности;

W6 - дизель, имеющий модификации без изменения базы;

W7 - дизель с наименьшими затратами на техническое обслуживание;

W8 - дизель, удовлетворяющий требованиям эргономики;

W9 - дизель, соответствующий современным нормативам экологии;

W10 - дизель, обладающий достаточно высоким ресурсом;

W11 - дизель, обладающий возможно низкой начальной стоимостью;

W12 - дизель с min расходом топлива и масла;

W13 - многотопливный дизель;

W14 - многоцелевой дизель;

W15 - дизель, имеющий min удельную металлоемкость;

W16 - дизель, приспособленный к автоматическим системам управления. На основе "унарных высказываний" сформированы бинарные

высказывания, в которых задействованы традиционные для формальной логики кванторы:

А - всякий S есть Р;

I - некоторый S есть Р;

Е- ни один S не есть Р;

О- некоторый S не есть Р.

Бинарные высказывания, предназначенные для ввода:

J,W0,W1; J,W0,W2; A,W3,W1; A,W4,W3; A,W1,W14; A,W7,W1; 0,W5,W2; A,W5,W9; A,W10,W1; O,W10,W2; J,W15,W14; A,W6,W11; E,W13,W11; A,W13,W1; A,W12,W9; E,W14,W11.

Бинарные высказывания с точки зрения силлогистики Аристотеля представляют собой одну из посылок силлогизма с соответствующим

- 143 -

 

квантором А, Е, I, О. Эти посылки могут сочетаться в различных

комбинациях

друг с другом, в результате чего будут получены новые

заключения.

Заключения также можно сочетать между собой до тех пор, пока

естественный

переход от сильных модусов к слабым не остановит процесс

порождения

новых выводов. Классическими схемами сорита в логике принято считать

"Сорит Аристотеля" и "Сорит Гокления", известен также "Сорит Милля" [96, с. 356]. Форма сорита, которую используем мы, Д. А. Поспелов [29] относит к логике Л. Кэрролла [37]. Однако нужно помнить, что логика Л. Кэрролла

отличается

от логики

Аристотеля тем,

что

Л. Кэрролл признает только

"частные

суждения"

и не делит их

на

"частноутвердительные" и

"частноотрицательные", поэтому выводы соритов, приводимые Л. Кэрроллом в [37] могут не совпадать, с выводами, полученными из тех же посылок на основе силлогистики Аристотеля.

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

представленный кортежем.

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

девять уровней.

Приводим эти выводы, т. к. они нам необходимы для анализа имеющей

место ситуации (выводы, полученные с помощью компьютера, не подвергались

корректорской

правке с целью

сохранения подлинности сгенерированного

программой текста).

 

Уровни вывода сорита.

 

/

1-й уровень

—/

(1)Некоторый дизель производственного объединения "Алтайдизель" есть дизель, наиболее полно удовлетворяющий требованиям потребителя (J,W0,W1).

-144-

(2)Некоторый дизель производственного объединения "Алтайдизель" есть дизель, требующий доработки под потребителя (J,W0,W2).

(3)Всякий дизель, обеспечивающий наивысшую производительность трактора есть дизель, наиболее полно удовлетворяющий требованиям потребителя (A,W3,W1).

(4)Всякий дизель с повышенным запасом крутящего момента есть дизель, обеспечивающий наивысшую производительность трактора (A,W4,W3).

(5)Всякий дизель, наиболее полно удовлетворяющий требованиям потребителя, есть многоцелевой дизель (A,W1 ,W14).

(6)Всякий дизель с наименьшими затратами на ТО есть дизель, наиболее полно удовлетворяющий требованиям потребителя (A,W7,W1).

(7)Некоторый дизель с регулировкой на два уровня мощности, не есть дизель, требующий доработки под потребителя (0,W5,W2).

(8)Всякий дизель с регулировкой на два уровня мощности есть дизель, соответствующий современным нормативам экологии (A,W5,W9).

(9)Всякий дизель, обладающий достаточно высоким ресурсом есть дизель, наиболее полно удовлетворяющий требованиям потребителя (A,W10,W1).

(10)Некоторый дизель, обладающий достаточно высоким ресурсом, не есть дизель, требующий доработки под потребителя (O,W10,W2).

(11)Некоторый дизель, имеющий min удельную металлоемкость есть многоцелевой дизель (J,W15,W14).

(12)Всякий дизель, имеющий модификации без изменения базы есть дизель, обладающий возможно низкой начальной стоимостью (A,W6,W11).

(13)Всякий многотопливный дизель, не есть дизель, обладающий возможно низкой начальной стоимостью (E,W13,W11).

(14)Всякий многотопливный дизель есть дизель, наиболее полно удовлетворяющий требованиям потребителя (A,W13,W1).

- 145-

(15)Всякий дизель с min расходом топлива и масла, есть дизель,

соответствующий современным нормативам экологии (A,W12,W9).

 

(16)Всякий

многоцелевой

дизель, не есть дизель, обладающий

возможно

низкой начальной стоимостью

(E,W14,W11).

 

 

 

/

2-й уровень

/

 

 

 

(17,8=5 ,р=1)Некоторый

многоцелевой

дизель

есть

дизель

производственного объединения "Алтайдизель" (J,W14,W0).

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

дизель, наиболее полно удовлетворяющий требованиям потребителя (A,W4,W1).

(19,8=5,р=3)Некоторый многоцелевой дизель есть дизель обеспечивающий

наивысшую производительность трактора (J,W14,W3).

 

(20,8=3 ,р=4)Некоторый

дизель,

наиболее полно

удовлетворяющий

требованиям потребителя,

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

момента (J,W1,W4).

 

 

 

(21,8=1,р=5)Некоторый

дизель

производственного

объединения

"Алтайдизель" есть многоцелевой дизель (J,W0,W14).

 

(22,8=3,р=5)Всякий

дизель,

обеспечивающий

наивысшую

производительность трактора есть многоцелевой дизель (A,W3,W14).

(23,8= 6,р=5)Всякий дизель с наименьшими затратами на ТО есть многоцелевой дизель (A,W7,W14).

(24,8=9,р=5)Всякий дизель, обладающий достаточно высоким ресурсом есть многоцелевой дизель (А,W10,W14).

(25,8=14,р=5)Всякий многотопливный дизель есть многоцелевой дизель (A,W13,W14).

(26,8=16,р=5)Всякий дизель, обладающий возможно низкой начальной стоимостью, не есть дизель, наиболее полно удовлетворяющий требованиям потребителя (E,W11,W1).

- 146-

(27,8=5,р=6)Некоторый многоцелевой дизель, есть дизель с наименьшими

затратами на ТО (J,W14,W7).

 

 

 

(28,8=8,р=7)Некоторый

дизель,

соответствующий

современным

нормативам экологии, не есть дизель, требующий доработки под

потребителя

(0,W9,W2).

 

 

 

(29,8=5,р=9)Некоторый многоцелевой дизель есть дизель, обладающий достаточно высоким ресурсом (J,W14,W10).

(30,8=9,р=10)Некоторый дизель, наиболее полно удовлетворяющий требованиям потребителя, не есть дизель, требующий доработки под потребителя(0, W1, W2).

(31,8=13,р=12)Всякий многотопливный дизель, не есть дизель, имеющий модификации без изменения базы (E,W13,W6).

(32,8=16,р=12)Всякий многоцелевой дизель, не есть дизель, имеющий модификации без изменения базы (E,W14,W6).

(33,8=12,р=13)Всякий дизель, имеющий модификации без изменения базы, не есть многотопливный дизель (E,W6,W13).

(34,8=14,р=13)Некоторый дизель, наиболее полно удовлетворяющий требованиям потребителя не есть дизель, обладающий возможно низкой начальной стоимостью (0,W1,W11).

(35,8=5,р=14)Некоторый многоцелевой дизель есть многотопливный дизель (J,W14,W13).

(36,8=5,р=16)Всякий дизель, наиболее полно удовлетворяющий требованиям потребителя, не есть дизель, обладающий возможно низкой начальной стоимостью (E,W1,W11).

(37,8=11,р=16)Некоторый дизель, имеющий min удельную металлоемкость, не есть дизель, обладающий возможно низкой начальной стоимостью (0,W15,W11).

- 147-

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

не есть многоцелевой дизель (E,Wб,W14).

/ _—з_й уровень /

(39,8=19,р=3)Некоторый многоцелевой дизель, есть дизель, наиболее полно удовлетворяющий требованиям потребителя (J,W14,W1).

(40,8=26,р=3)Всякий дизель, обладающий возможно низкой начальной стоимостью, не есть дизель, обеспечивающий наивысщую производительность тpaктopa(E,Wll, \¥3).

(41,8=18,р=4)Некоторый дизель, наиболее полно удовлетворяющий требованиям потребителя есть дизель, обеспечивающий наивысщую производительность трактора (1,АЛА1 ,^^3).

(42,8=22,р=4)Некоторый многоцелевой дизель есть дизель с повышенным запасом крутящего момента (1, \¥14,W4).

(43,8=18,р=5)Всякий дизель с повышенным запасом крутящего момента есть многоцелевой дизель (A,W4,W14).

(44,8=20,р=5)Некоторый дизель с повышенным запасом крутящего момента есть многоцелевой дизель (J,W4,W14).

(45,8=32,р=5)Всякий дизель, имеющий модификации без изменения базы, не есть дизель, наиболее полно удовлетворяющий требованиям потребителя

(E,W6,W1).

(46,8=26,р=6)Всякий дизель, обладающий возможно низкой начальной стоимостью, не есть дизель с наименьшими затратами на ТО (Е,\¥11,W7).

(47,8=26,р=9)Всякий дизель, обладающий возможно низкой начальной стоимостью, не есть дизель, обладающий достаточно высоким ресурсом (E,W11,W10).

(48,8=24,р=10)Некоторый многоцелевой дизель, не есть дизель, требующий доработки под потребителя (0,\¥14,\¥2).

 

-

148-

 

 

(49,8=26,р=12)Всякий

дизель,

наиболее

полно

удовлетворяющий

требованиям потребителя, не есть дизель, имеющий модификации без изменения базы (E,W1,W6).

(50,8=34,р=12)Некоторый - дизель, наиболее полно удовлетворяющий

требованиям потребителя, не есть дизель, имеющий модификации без изменения базы (О,W1,W6).

(51,8=37,р=12)Некоторый дизель, имеющий min удельную металлоемкость,

не есть дизель, имеющий модификации без изменения базы (0,W15,W6).

(52,8=25,р=13)Некоторый многоцелевой дизель не есть дизель,

обладающий возможно низкой начальной стоимостью (0,W14, W11). (53,8=26,р=14)Всякий дизель, обладающий возможно низкой начальной

стоимостью не есть многотопливный дизель (Е, W11, W13) (54,8=17,р=16)Некоторый дизель производственного объединения

"Алтайдизель", не есть дизель, обладающий возможно низкой начальной стоимостью (О,WO,W11)

(55,8=19,р=16)Некоторый дизель, обеспечивающий наивысшую производительность трактора, не есть дизель, обладающий возможно низкой начальной стоимостью (О,W3,W11).

(56,8=22,р=16)Всякий дизель, обеспечивающий наивысшую производительность трактора, не есть дизель, обладающий возможно низкой начальной стоимостью (E,W3,W11).

(57,8=23,р=16)Всякий дизель с наименьшими затратами на ТО, не есть дизель, обладающий возможно низкой начальной стоимостью (E,W7,W11).

(58,8=24,р=16)Всякий дизель, обладающий достаточно высоким ресурсом, не есть дизель, обладающий возможно низкой начальной стоимостью (E,W10,W11).

(59,8=27,р=16)Некоторый дизель с наименьшими затратами на ТО, не есть дизель, обладающий возможно низкой начальной стоимостью (0,W7,W11).

- 149-

(60,8=29,р=16)Некоторый дизель, обладающий достаточно высоким

ресурсом, не есть дизель, обладающий возможно низкой начальной стоимостью (О,\¥10,"\¥11).

(61,8=35,р=16)Некоторый многотопливный дизель, не есть дизель,

обладающий возможно низкой начальной стоимостью (О, W13, \^11).

/

4.Й уровень

/

 

 

(62,8=4,р=18)Некоторый

дизель,

обеспечивающий

наивысщую

производительность трактора есть дизель, наиболее полно удовлетворяющий требованиям потребителя (J,WЗ,W1).

(63,8=3,р=19)Некоторый дизель, наиболее полно удовлетворяющий

требованиям потребителя, есть многоцелевой дизель (1,А^1, Wl4).

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

стоимостью, не есть многотопливный дизель ( 0 , \ ¥ 1 1 , \¥13).

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

стоимостью, не есть многоцелевой дизель (0,Д¥11, \¥14).

/ з-й уровень -— /

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

не есть дизель, обеспечивающий наивысшую производительность трактора

(67,8=40,р=4)Всякий дизель, обладающий возможно низкой начальной

стоимостью,

не есть дизель

с повышенным запасом крутящего момента

(Е,\¥11,\^4).

 

 

 

 

(68,8=41,р=5)Некоторый

дизель,

обеспечивающий

наивысшую

производительность трактора есть многоцелевой дизель (J,WЗ, W14).

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

не есть дизель с наименьшими затратами на ТО (Е,\¥6, W7).

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

не есть дизель, обладающий достаточно высоким ресурсом (E,W6,WЩ.

 

- 150-

 

 

(71,8=40,р=12)Всякий

дизель,

обеспечивающий

наивысшую

производительность трактора, не есть дизель, имеющий модификации без изменения базы (E,WЗ,W6).

(72,8=46,р=12)Всякий дизель с наименьшими затратами на ТО, не есть дизель, имеющий модификации без изменения базы (E,W7, Л^б).

(73,8=47,р=12)Всякий дизель, обладающий достаточно высоким ресурсом,

не есть дизель, имеющий модификации без изменения базы (E,W10,W6).

(74,8=52,р=12)Некоторый многоцелевой дизель, не есть дизель, имеющий

модификации без изменения базы (0,W14,W6).

 

(75,8=54,р=12)Некоторый

дизель

производственного

объединения

"Алтайдизель", не есть дизель,

имеющий

модификации без изменения базы

(O,W0,W6).

 

 

 

(76,8=5 5,р=12)Некоторый

дизель,

обеспечивающий

наивысшую

производительность трактора, не есть дизель, имеющий модификации без

изменения базы (0,WЗ,W6).

(77,8=59,р=12)Некоторый дизель с наименьшими затратами на ТО, не есть дизель, имеющий модификации без изменения базы {0,W7,W6).

(78,8=60,р=12)Некоторый дизель, обладающий достаточно высоким ресурсом, не есть дизель, имеющий модификации без изменения базы (O,W10,W6).

(79,8=61,р=12)Некоторый многотопливный дизель, не есть дизель, имеющий модификации без изменения базы (0,"\¥13,"\Л^6).

(80,8=42,р=16)Некоторый дизель с повышенным запасом крутящего момента, не есть дизель, обладающий возможно низкой начальной стоимостью (0,\¥4,\¥11).

(81,8=43,р=16)Всякий дизель с повышенным запасом крутящего момента, не есть дизель, обладающий возможно низкой начальной стоимостью (E,W4,W11).