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

- 1 0 1 -

Формирование бинарных высказываний:

При выходе из режима формирования унарных высказываний у

пользователя запрашивается, намерен ли он создавать бинарные высказывания. При выборе кнопки "Ок" пользователю предоставляется диалоговое окно для формирования бинарных высказываний. Одновременно с этим открывается окно, содержащее все сформированные ранее унарные высказывания, и предлагается выбрать 1-е унарное высказывание, которое будет входить в

бинарное высказывание. После выбора 1-го унарного высказывания

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

Если возникает необходимость заменить унарное высказывание бинарным, то необходимо указать курсором мыши на кнопку с надписью "1-е унарное

высказывание" или "2-е унарное высказывание".

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

формируемое бинарное высказывание, а также ранее сформированные.

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

сформированных бинарных высказываний (например: ¥/1,\¥2,А).

Теперь имеет смысл сохранить сформированные списки бинарных и унарных высказываний. Для этого необходимо выбрать подпункт "Сохранить"

и з меню "Высказывания". В диалоговом окне ввести имя	файла и нажать
<Еп1ег>. Списки будут сохранены.
Построение сорита:
Для построения сорита необходимо выбрать подпункт	меню	"Построить
сорит" из меню "Опции". Программа начнет анализировать	список	бинарных

- 102-

высказываний и строить на основе этого выводы по правилам формальной

логики. По окончании формирования очередного уровня пользователю будет предлагаться редактировать сформированные выводы (если разрешено

редактирование высказываний в "Настройках"). Редактирование подразумевает

уничтожение ненужных, по мнению пользователя, сформированных выводов,

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

последующих уровней.

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

расширением "txt" будет сохранен в текущем каталоге. Дополнительные функции системы:

Выводы на сорите можно проследить и просмотреть. Для просмотра

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

кнопки мыши окно уничтожается.

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

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

Для расширения картинки сорита по вертикали или горизонтали необходимо изменять масштаб по вертикали или горизонтали в диалоговом окне. Для вызова этого диалогового окна - пункт меню "Изменение масштаба" в меню "Опции". Необходимо учитывать, что чем меньше масштаб, тем больше картинка. Изменять масштаб можно и кнопками изменения масштаба.

- 103 -

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

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

3 .2 .4 П р и м е р и с п о л ь з о в а н и я с и с т е м ы Рассмотрим использование системы на примере [78].

Проблемная область - производство дизелей на заводе "Алтайдизель". Для

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

WO - дизель производственного объединения "Алтайдизель";

W1 - дизель, наиболее полно удовлетворяющий требованиям потребителя;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

- 104-

W16 - дизель, приспособленный к автоматическим системам управления. Запускаем файл sorit.exe. После прорисовки заставки нажимаем любую

клавишу на клавиатуре.

Ввод унарных высказываний.

Выбираем пункты меню (мышью) - "Высказывания" + "Создать". [Открывается диалоговое окно для ввода унарных высказываний].

0)Набираем на клавиатуре: "дизель производственного объединения "Алтайдизель"" <Enter><n>. (<Enter><n> - означает, что необходимо нажать на клавишу <Enter> и затем - на клавишу с буквой "п" на клавиатуре).

1)Набираем на клавиатуре: "дизель - наиболее полно удовлетворяющий требованиям потребителя"<ЕМег><п>.

2)Набираем на клавиатуре: "дизель, требующий доработки под потребителя" <Enter><n>.

3)Набираем на клавиатуре: "дизель, обеспечивающий наивысшую производительность трактора "<Enter><n>.

16)Набираем на клавиатуре: "дизель, приспособленный к автоматическим системам управления "<Enter>.

На этом мы заканчиваем ввод унарных высказываний. Нажимаем клавишу <Е8с>. На экран выдается запрос на формирование бинарных высказываний.

Нажимаем клавишу <Enter>. Формирование бинарных высказываний.

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

Т,\¥0,\	¥1;	A,WЗ,W1; A,W4,WЗ; A,W1,W14; A,W7,W1; 0,W5,W2;
A,W5,W9;	A,W10,W1;	О,\У^10,\¥2; 1,\¥15,\¥14; А,\ ¥ 6,\ ¥ 11; E,W13,W11;

А,\ ¥ 13,\ ¥ 1; А,\^12,\¥9; E,W14,W11.

На экране прорисовывается диалоговое окно и окно меню с унарными высказываниями. Выбираем необходимые нам унарные высказывания - W0 и

- 105-

\^1 . Указываем в меню переключателе модель высказывания - "1". Первое бинарное высказывание готово. Его пиктограмму мы можем увидеть под диалоговым окном.

(<п> - обозначает необходимость нажатия на клавишу клавиатуры с буквой - "п").

<п>, выбираем унарные высказывания \\^0 и W2. Указываем в меню переключателе модель высказывания - "Г. Второе бинарное высказывание готово.

<п>, выбираем унарные высказывания W14 и W11. Указываем в меню переключателе модель высказывания - "Е". Второе бинарное высказывание готово.

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

Для сохранения списков высказываний необходимо выбрать пункт меню "Высказывания" + "Сохранить". На запрос: "ввести имя файла", вводим - "sorit". В текущем каталоге будет создан файл "sorit.stt" с унарными высказываниями и файл "sorit.rit" с бинарными высказываниями.

Построение сорита.

Выберем пункт меню - "Опции" + "Построить сорит".

Через некоторое время на экране появится рисунок построенного сорита. Теперь для анализа выводов сорита необходимо сохранить текст сорита в

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

- 106-

родительских для данного высказывания. Высказывания первого уровня не имеют родительских, так как это введенные нами исходные высказывания.

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

Пример (А,W0,W1).

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

Анализ полученных выводов.

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

посылках.

3 . 2 . 5 У р о в н и в ы в о д а с о р и т а . ( С ф о р м и р о в а н н ы е б и н а р н ы е

в ы с к а з ы в а н и я )
/	1-й уровень	/

(1)Некоторый дизель производственного объединения "Алтайдизель" есть

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

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

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

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

- 107-

(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).

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

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

/

2-й уровень

/

	- 108 -
(17,8=5,р=1)Некоторый	многоцелевой	дизель	есть	дизель

производственного объединения "Алтайдизель" (1,\¥14,\¥0).

Здесь мы опустим выводы сорита с 18 по 85, их мы приведем позднее в главе 4, в разделе 4.3.4, выводы сорита будут подвергнуты анализу и из них будут сделаны необходимые выводы.

/ _ 8_й уровень /

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

трактора (0,\¥11,\¥3).

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

стоимостью, не есть дизель с наименьшими затратами на ТО {0,W\\,W7).

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

стоимостью, не есть дизель, обладающий достаточно высоким				ресурсом
(O,Wll,W10).
/	_	9_й уровень	/
(89,8= 12,р=83)Некоторый дизель, обладающий возможно низкой				начальной
стоимостью, не есть дизель с повышенным запасом крутящего				момента
(0,W11,W4).
Пример схемы вывода представлен на рис. 3.2, рис. 3.3.

- 109-

Рисунок 3.2

3 . 2 . 6 А н а л и з с о р и т а

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

- 110-

Рисунок 3.3

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

В проектировании давно известно, какую опасность таят в себе вовремя не замеченные "досадные мелочи". В проектной деятельности, если перед понятием стоит квантор "Всякий", то есть А или Е, то об этом знает большее